WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

УТВЕРЖДАЮ

Директор ИДСТУ СО РАН

член-корреспондент РАН

_ И.В. Бычков

г.

«» _ 20

ПОЛОЖЕНИЕ ОБ АСПИРАНТУРЕ

Учреждения Российской академии наук Института динамики систем и теории управления Сибирского отделения РАН (ИДСТУ СО РАН) 1. Общие положения 1.1. Настоящее Положение разработано в соответствии с Положением о подготовке научнопедагогических и научных кадров в системе послевузовского профессионального образования в Российской Федерации (пр. Минобразования РФ от 27 марта 1998 г. № 814) и является регламентирующим документом для работы аспирантуры в соответствии со спецификой Института.

1.2. С учетом норм ст.19 Федерального закона «О высшем и послевузовском профессиональном образовании» (№ 125-ФЗ от 22.08.1996 г.), а также в соответствии с лицензией на право ведения образовательной деятельности в сфере послевузовского профессионального образования (выдана Федеральной службой по надзору в сфере образования и науки 15 апреля 2010 г.) аспирантура является основной формой подготовки научных кадров в Институте динамики систем и теории управления (далее по тексту – Институт), предоставляющей гражданам Российской Федерации возможность повышения уровня образования, научной и педагогической квалификации.

1.3. В соответствии с лицензией на право ведения образовательной деятельности в сфере послевузовского профессионального образования Институт проводит подготовку аспирантов и докторантов по специальностям:

• 01.01.02 – Дифференциальные уравнения, динамические системы и оптимальное управление;

• 05.13.01 – Системный анализ, управление и обработка информации;

• 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей;

• 05.13.18 – Математическое моделирование, численные методы и комплексы программ;

• 05.25.05 – Информационные системы и процессы.

2. Правила приема в аспирантуру 2.1. В аспирантуру на конкурсной основе принимаются граждане РФ, имеющие высшее профессиональное образование. Обучение в аспирантуре осуществляется по очной и заочной формам. Лица, ранее прошедшие полный курс обучения в аспирантуре, не имеют права вторичного обучения в аспирантуре за счет средств бюджета.

2.2. Заявление о приеме в аспирантуру подается на имя директора Института с приложением следующих документов:

• копии диплома о высшем профессиональном образовании и приложения к нему;

• личного листка по учету кадров;

• автобиографии;

• 2-х фотографий размером 3х4 см;

• списка опубликованных научных работ, изобретений и отчетов по научноисследовательской работе при наличии у поступающего научных работ и изобретений;

• удостоверения о сдаче кандидатских экзаменов при наличии у поступающего сданных кандидатских экзаменов (для лиц, сдавших кандидатские экзамены за рубежом, - справки о наличии законной силы предъявленного документа о сдаче кандидатских экзаменов, выданной Министерством общего и профессионального образования Российской Федерации);

• выписки из протокола заседания Государственной экзаменационной комиссии ВУЗа с рекомендацией дальнейшего обучения в аспирантуре.

Документ, удостоверяющий личность, и диплом об окончании высшего учебного заведения, поступающие в аспирантуру представляют лично.

2.3. Прием в аспирантуру проводится два раза в год: в июне-июле и в октябре-ноябре. Для проведения приема в аспирантуру ежегодно организуется приемная комиссия под председательством директора или заместителя директора по научной работе Института. Члены приемной комиссии назначаются ее председателем из числа высококвалифицированных научных кадров. В состав приемной комиссии включаются специалисты по всем специальностям, подготовка по которым проводится в Институте.

2.4. Поступающие в аспирантуру проходят собеседование с предполагаемым научным руководителем, который сообщает в приемную комиссию о своем согласии осуществлять руководство.

2.5. Решение о допуске к вступительным экзаменам в аспирантуру приемная комиссия выносит после рассмотрения всех поданных поступающим в аспирантуру документов с учетом письменного согласия предполагаемого научного руководителя. Решение комиссии доводится до сведения поступающего в недельный срок.

2.6. Прием вступительных экзаменов в аспирантуру проводится комиссиями, назначаемыми приказом директора Института. В состав комиссии входят квалифицированные специалисты, кандидаты или доктора наук по той специальности, по которой проводится экзамен. Председателем приемной комиссии является доктор наук.

Поступающие в аспирантуру сдают следующие конкурсные вступительные экзамены в соответствии с государственными образовательными стандартами высшего профессионального образования:

• специальную дисциплину;

• историю и философию науки;

• иностранный язык.

2.7. Прием вступительных экзаменов по истории и философии науки и иностранному языку осуществляется на кафедре философии (история и философия науки) и на кафедре иностранных языков (иностранный язык) Иркутского научного центра СО РАН.

Программы вступительных экзаменов по специальным дисциплинам разрабатываются в Институте для каждой специальности и являются обязательным приложением к данному Положению (Приложение № 3).



2.8. На каждого аспиранта заполняется протокол приёма вступительного экзамена, в который заносятся вопросы экзамена, оценка за каждый вопрос, итоговая оценка экзамена, состав членов Экзаменационной комиссии, принимавших экзамен, с указанием их учёной степени, учёного звания, занимаемой должности и специальности (согласно номенклатуре специальностей научных работников), личные подписи членов комиссии. Протоколы заседаний Экзаменационной комиссии утверждаются директором Института. Пересдача вступительных экзаменов не допускается. Сданные вступительные экзамены в аспирантуру действительны в течение одного календарного года.

2.9. Лица, сдавшие кандидатские экзамены, при поступлении в аспирантуру освобождаются от соответствующих вступительных экзаменов.

2.10. Результаты выпускных магистерских экзаменов по философии и иностранному языку засчитываются в качестве вступительных экзаменов в аспирантуру, если в индивидуальном плане магистра были предусмотрены магистерские экзамены по этим предметам.

2.11. По результатам вступительных экзаменов приемная комиссия принимает решение по каждому кандидату, обеспечивая зачисление на конкурсной основе наиболее подготовленных к научной деятельности.

При зачислении на плановые места предпочтение отдается лицам, получившим наибольшую сумму баллов по трем вступительным испытаниям. Также предпочтение отдается кандидатам, написавшим во время обучения в ВУЗе дипломную и/или курсовые работы под руководством предполагаемого научного руководителя. Решение о приеме в аспирантуру или отказе в приеме сообщается поступающему в пятидневный срок после решения приемной комиссии, но не позже чем за две недели до начала занятий.

2.13. Граждане иностранных государств, включая граждан государств-участников СНГ, принимаются в аспирантуру, либо прикрепляются как соискатели на основе международных договоров и межправительственных соглашений Российской Федерации, а также по договорам о сотрудничестве, заключенным Институтом с высшими учебными заведениями и научными учреждениями иностранных государств и государств-участников СНГ, предусматривающих оплату стоимости подготовки юридическими и физическими лицами.

2.14. Зачисление в аспирантуру производится приказом директора Института. В приказе указываются точные сроки начала и окончания аспирантуры, научный руководитель, к которому прикрепляется аспирант.

2.15. Аспирант, отчисленный из аспирантуры до окончания срока обучения по уважительной причине, может быть восстановлен на оставшийся срок обучения приказом директора Института, при наличии свободных бюджетных мест.

3. Научное руководство аспирантом 3.1. Научный руководитель аспиранта из числа докторов наук, работающих в института, утверждается директором Института одновременно с его зачислением в аспирантуру.

Научный руководитель имеет право руководить аспирантами по специальностям, входящим в утвержденную директором «Номенклатуру специальностей научных руководителей ИДСТУ СО РАН» (Приложение № 1). В отдельных случаях к научному руководству могут привлекаться кандидаты наук соответствующей специальности, как правило, имеющие ученое звание доцента или старшего научного сотрудника. Кандидаты наук соответствующих специальностей утверждаются в качестве научных руководителей решением ученого совета Института.

Аспирантам, выполняющим научные исследования на стыке специальностей, разрешается иметь руководителя и консультанта. Консультант может быть сотрудником другого учреждения.

3.2. Оплата труда научных руководителей аспирантов, являющихся сотрудниками Института производится из расчёта 50 часов на одного аспиранта в год, в том числе и при утверждении аспиранту двух руководителей или руководителя и консультанта. Количество аспирантов, прикрепляемых к одному научному руководителю, определяется с его согласия директором Института, но, как правило, не более 5 человек.

3.3. Научным руководителем и аспирантом совместно составляется индивидуальный план аспиранта. Индивидуальный план аспиранта утверждается заместителем директора по научной работе. В индивидуальный план аспиранта заносятся обоснование выбора и название темы будущей диссертации, вся текущая информация по подготовке и обучению аспиранта: рабочий план на каждый год обучения, отметки о сдаче кандидатских экзаменов, этапы работы над диссертацией, отметки о поощрении или наложении взыскания, список опубликованных или направленных в печать статей, итоги аттестации и т.д. Здесь же перед каждой аттестацией научный руководитель проводит анализ деятельности аспиранта и выставляет свою оценку.

3.4. Выполнение аспирантом утвержденного индивидуального плана контролирует научный руководитель.

3.5. Научный руководитель информирует аспиранта о семинарах, конференциях и совещаниях по теме исследования, курирует подготовку публикаций и докладов на научных мероприятиях. Научный руководитель консультирует аспиранта и утверждает текст при подготовке научных публикаций в изданиях, рекомендованных ВАК для представления основных результатов научных исследований.

3.7. Дирекция Института организует для аспирантов учебные занятия по специальным дисциплинам в соответствии с учебными планами. Учебные планы утверждаются Ученым советом Института. Оплата труда преподавателей производится за счет средств Института.

3.8. Научный руководитель обязан своевременно сообщить в отдел аспирантуры о непосещении аспирантом занятий и семинаров, невыполнении или серьезном отставании в выполнении индивидуального плана.

4.1. Срок обучения в очной аспирантуре не должен превышать трех лет, в заочной аспирантуре – четырех лет. Срок обучения в очной аспирантуре за счет средств бюджета продляется приказом директора Института на время отпуска по беременности и родам, а также на период болезни продолжительностью свыше месяца при наличии соответствующего медицинского заключения в пределах средств стипендиального фонда.

4.2. Стипендия аспирантам очной формы начисляется со дня зачисления.

4.3. Аспирант за время обучения в аспирантуре обязан:

• полностью выполнить индивидуальный учебный план;

• посещать учебные занятия по обязательным дисциплинам согласно расписанию;

• сдать кандидатские экзамены по истории и философии науки, иностранному языку и специальной дисциплине;

• ежегодно отчитываться о проделанной работе на семинаре Отделения, в котором работает его научный руководитель, и предоставлять выписку из протокола семинара в аттестационную • ежегодно отчитываться на заседании аттестационной комиссии о проделанной за год работе;

• посещать заседания объединенного семинара ИДСТУ СО РАН и семинаров по научным направлениям;

• не менее одного раза в год выступить с докладом на конференциях, проводимых Институтом;

• участвовать в научно-организационной деятельности Института;

• не позднее, чем за месяц до окончания срока обучения завершить работу над диссертацией и представить ее на Семинар Института по соответствующему научному направлению и ученый совет Института для получения соответствующего заключения. Аспиранты, не представившие диссертацию, своевременно отчисляются из аспирантуры без представления.

4.4. Тема диссертации утверждается Ученым советом Института в течение трех месяцев со дня зачисления в аспирантуру. В процессе работы над диссертацией допускается изменение темы и научной специальности. Внесенные изменения должны быть утверждены Ученым советом.

4.5. Аспиранты проходят ежегодную аттестацию, которой предшествует обязательное выступление на семинаре отделения. Аттестационная комиссия, назначенная приказом директора Института, выносит решение на основании всестороннего исследования деятельности аспиранта за прошедший год, учитывая число и характер публикаций, выполнение индивидуального плана, участие в конференциях, решение семинара отделения, полученные результаты и другие показатели. На основании полученных данных аттестационная комиссия выносит решение о продолжении учебы в аспирантуре или об отчислении из аспирантуры.

Аспирант, утративший связь с научным руководителем, не выполняющий или неудовлетворительно выполняющий индивидуальный план, по докладной научного руководителя может быть отчислен из аспирантуры приказом директора Института.

4.6. Аспирант имеет право:

• пользоваться бесплатно оборудованием, лабораториями, библиотечным фондом и услугами других вспомогательных служб института;

• участвовать в научных конкурсах на получение грантов или присуждение именных стипендий, премий, наград;

• участвовать в конкурсах по приему на временную работу в ИДСТУ СО РАН на 0.5 ставки по совместительству (Приложение № 2) при условии выполнения индивидуального плана;

• участвовать в работе Совета молодых ученых института;

• иметь ежегодные каникулы продолжительностью два календарных месяца (для аспирантов очной формы обучения);

• сдать кандидатские экзамены и выполнить индивидуальный план обучения досрочно.

4.7. Аспиранты, обучающиеся в очной аспирантуре за счет средств бюджета, обеспечиваются стипендией в установленном размере. Для приобретения научной литературы каждому аспиранту, обучающемуся за счет средств бюджета, выдается ежегодное пособие.

4.8. Аспирантура считается оконченной с представлением если:

• успешно сданы кандидатские экзамены;

• полностью выполнен индивидуальный план обучения;

• представлен рабочий вариант подготовленной диссертации;

• получен положительный отзыв Семинара по научному направлению Института на представленную работу.

4.9. Окончившим очную аспирантуру (в том числе досрочно) и полностью выполнившим требования, изложенные в Положении № 814 и данном Положении, предоставляется месячный отпуск.

4.10. Аспирантам, обучающимся за счет средств бюджета, стипендия за время отпуска выплачивается Институтом.

5.1. Кандидатские экзамены по истории и философии науки и иностранному языку сдаются аспирантом в течение первого или второго года обучения. Подготовка к экзаменам по истории и философии науки и иностранному языку осуществляется по типовым программам Министерства образования и науки Российской Федерации на кафедре философии и на кафедре иностранных языков Иркутского научного центра СО РАН.

5.2. Кандидатский экзамен по специальной дисциплине сдается в течение второго года обучения по программе, состоящей из двух частей: типовой программы- минимум по специальности и дополнительной программы, соответствующей тематике проводимых аспирантом исследований, и утверждаемой Ученым советом Института. Подготовка к экзаменам по специальности осуществляется согласно типовым программам по соответствующим специальностям (Приложение № 4).

Комиссия по приему кандидатских экзаменов организуется под председательством директора Института или заместителя директора Института. Члены приемной комиссии назначаются ее председателем из числа высококвалифицированных научных кадров, включая научных руководителей аспирантов. В комиссию включаются не менее двух докторов наук по соответствующей специальности. Комиссия правомочна принимать кандидатские экзамены, если в ее заседании участвует не менее двух специалистов по профилю принимаемого экзамена, в том числе один доктор наук.

При приеме кандидатских экзаменов могут присутствовать члены диссертационного совета Института.

5.3. Уровень знаний экзаменуемого оценивается комиссией на «отлично», «хорошо», «удовлетворительно», «неудовлетворительно». На каждого соискателя ученой степени заполняется протокол приема кандидатского экзамена, в который вносятся вопросы билетов и вопросы, заданные соискателю членами комиссии.

В экзаменационный протокол вносятся три обязательных вопроса из основной программы, на которые отвечал экзаменуемый, дополнительные вопросы по основной программе, заданные членами экзаменационной комиссии, три обязательных вопроса из дополнительной программы и дополнительные вопросы по дополнительной программе. Общая оценка экзаменуемого за экзамен вычисляется как арифметическое среднее из вышеуказанных оценок. При возможности равнозначного округления оценки в большую или меньшую сторону решение об оценке принимается экзаменационной комиссией на условиях консенсуса. Повторная сдача кандидатского экзамена в течение одной сессии не допускается.

5.4. В случае неявки экзаменуемого на кандидатский экзамен по уважительной причине он может быть допущен к повторной сдаче приказом директора.

5.5. Протокол приема кандидатского экзамена подписывается теми членами комиссии, которые присутствовали на экзамене, с указанием их ученой степени, ученого звания, занимаемой должности и специальности согласно номенклатуре специальностей научных работников. По результатам кандидатских экзаменов при условии их успешной сдачи аспиранту выдается единое удостоверение установленного образца.

5.6. Аспирант (соискатель) имеет право сдать кандидатский экзамен по специальности в другом учреждении, имеющем диссертационный совет по соответствующей специальности.

6. Подготовка кандидатских диссертаций в форме соискательства.

6.1. Прикрепление соискателей для подготовки кандидатских диссертаций или сдачи кандидатских экзаменов к Институту производится круглогодично.

6.2. Прикрепление соискателей осуществляется для сдачи кандидатских экзаменов и защиты кандидатской диссертации на срок не более трех лет.

6.3. Для прикрепления к Институту соискатель подает заявление на имя директора с указанием срока прикрепления, научного руководителя (консультанта) с приложением необходимых документов (см. п. 2.2.).

6.4. Научные руководители (консультанты) соискателей назначаются приказом директора, как правило, из числа докторов наук.

6.5. Соискатели представляют на утверждение директора согласованный с научным руководителем (консультантом) индивидуальный план в срок не позднее одного месяца со дня прикрепления для подготовки диссертации.

6.6. Соискатели аттестуются ежегодно аттестационной комиссией на основании устных и письменных отчетов о ходе выполнения ими индивидуальных планов учебной и научно-исследовательской работы с учетом мнений научных руководителей. Соискатели, не выполняющие индивидуальный учебный план работы, подлежат отчислению.

6.7. Соискатели должны сдать кандидатские экзамены и завершить работу над диссертацией, включая получение заключения Семинара по научному направлению.

7.1. Кадровая аспирантура является формой очной аспирантуры ИДСТУ СО РАН, направленной на подготовку специалистов для работы в Институте по наиболее актуальным научным направлениям.

7.2. Количество мест и тематика исследований в кадровой аспирантуре определяется дирекцией и утверждается Ученым советом ИДСТУ СО РАН.

7.3. Претенденты на обучение в кадровой аспирантуре сдают вступительный экзамен по специальности в соответствии с программой, рассчитанной на углубленные знания дисциплин, примыкающих к выбранной научной тематике. Программа разрабатывается предполагаемым руководителем аспиранта и утверждается заместителем директора Института по научной работе, курирующим соответствующее научное направление.

7.4. При приеме в кадровую аспирантуру предпочтение отдается претендентам, начавшим заниматься научными исследованиями во время обучения в ВУЗе.

7.5. Аспиранты, успешно обучающиеся в кадровой аспирантуре, могут обеспечиваться повышенной стипендией в установленном дирекцией ИДСТУ СО РАН размере.

7.6. Кадровые аспиранты отчитываются по своей работе два раза в год на семинаре отделения.

7.7. При наличии мест и в соответствии с результатами ежегодной аттестации решением дирекции Института аспирант может быть переведен из обычной аспирантуры в кадровую.

7.8. При завершении обучения с защитой диссертации аспиранту гарантируется вакансия младшего научного сотрудника Института. Аспирантам, закончившим обучение с представлением диссертации, гарантируется ставка младшего научного сотрудника на срок до одного года для оформления и защиты диссертации и по истечении этого года при условии успешной защиты – вакансия младшего научного сотрудника Института.

8.1. Настоящее Положение может изменяться и дополняться в соответствии с законодательством РФ и другими нормативно-правовыми актами.

8.2. Положение об аспирантуре ИДСТУ СО РАН принимается решением Ученого совета ИДСТУ СО РАН. Приложения к настоящему положению являются его неотъемлемой частью.

8.3. Положение вводится в действие приказом директора ИДСТУ СО РАН. Изменения и дополнения в положение вводятся приказом директора ИДСТУ СО РАН.

8.4. Решение об отмене действия Положения принимается Ученым советом ИДСТУ СО РАН.

Утверждено на заседании ученого совета ИДСТУ СО РАН Протокол № от _ Ученый секретарь ИДСТУ СО РАН Номенклатура специальностей научных руководителей аспирантуры Института динамики систем и теории управления СО РАН В соответствии с «Номенклатурой специальностей научных работников», утвержденной приказом Министерства образования и науки РФ от 25.02.2009 № 59 (в редакции Приказов Минобрнауки РФ от 11.08.2009 № 294, от 16.11.2009 № 603) и имеющейся научной квалификацией сотрудники ИДСТУ СО РАН имеют право руководить аспирантурой по следующим специальностям:

1. Батурин В.А., д.ф.м.н. – 05.13.01, 05.13.18;

2. Берман А.Ф., д.т.н. – 05.13.18, 05.25.05;

3. Булатов М.В., д.ф.-м.н. – 01.01.02, 05.13.18;

4. Бычков И.В., чл.-к. РАН – 05.13.11, 05.13.18, 05.25.05;

5. Васильев И.Л., к.ф.-м.н. – 01.01.09, 05.13.01 (при одобрении Ученого совета);

6. Гончарова Е.В., к.ф.-м.н. – 01.01.09, 05.13.01 (при одобрении Ученого совета);

7. Горнов А.Ю., д.т.н. – 05.13.01, 05.13.18;

8. Дружинин Э.И., д.т.н. – 05.13.01, 05.13.18;

9. Дыхта В.А., д.ф.м.н. – 01.01.02, 05.13.01;

10. Казаков А.Л., д.ф.-м.н. – 01.01.02;

11. Косов А.А., к.ф.-м.н. – 05.13.01 (при одобрении Ученого совета);

12. Лакеев А.В., д.ф.-м.н. – 01.01.02; 05.13. 13. Максимкин Н.Н., к.т.н. – 05.13.01, 05.13.18 (при одобрении Ученого совета);

14. Марков Ю.А., д.ф.-м.н. – 05.13.18;

15. Николайчук О.А., к.т.н. – 05.13.18, 05.25.05 (при одобрении Ученого совета);

16. Новопашин А.П., к.т.н. – 05.13.11 (при одобрении Ученого совета);

17. Опарин Г.А., д.т.н. – 05.13.11;

18. Потапов А.А., д.х.н. – 05.13.18;

19. Раджабов А.Е., к.ф.-м.н. – 05.13.18 (при одобрении Ученого совета);

20. Русанов В.А., д.ф.-м.н. – 05.13.18;

21. Семенов А.А., к.т.н. – 05.13.18 (при одобрении Ученого совета);

22. Стрекаловский А.С., д.ф.-м.н. – 05.13.01;

23. Толстоногов А.А., чл.-к. РАН – 01.01.02, 05.13.01;

24. Тятюшкин А.И., д.т.н. – 05.13.18;

25. Феоктистов А.Г., к.т.н. – 05.13.11(при одобрении Ученого совета);

26. Финогенко И.А., д.ф.-м.н. – 01.01.02;

27. Хмельнов А.Е., к.т.н. – 05.13.18, 05.25.05(при одобрении Ученого совета);

28. Черкашин Е.А., к.т.н. – 05.13.11, 05.25.05 (при одобрении Ученого совета);

29. Щеглова А.А., д.ф.-м.н. – 01.01.02.

Института динамики систем и теории управления СО РАН 1. Прием на работу по совместительству является формой поощрения аспирантов ИДСТУ СО РАН, активно ведущих научные исследования и успешно справляющихся с программой обучения в аспирантуре.

2. На прием на работу по совместительству в ИДСТУ СО РАН могут претендовать аспиранты ИДСТУ СО РАН очного обучения, как правило, второго и третьего годов обучения в аспирантуре, при условии успешного прохождения аттестации по окончании предыдущего года обучения.

3. Комиссия по приему аспирантов ИДСТУ СО РАН на работу по совместительству (далее – Комиссия) является специальным органом, созданным при дирекции Института, для выработки рекомендаций, касающихся трудоустройства аспирантов ИДСТУ СО РАН на работу в Институт. Окончательное решение принимается дирекцией ИДСТУ СО РАН.

4. В состав Комиссии входят заместитель директора по научной работе ИДСТУ СО РАН чл.-к.

РАН А.А.Толстоногов (председатель), заместитель директора ИДСТУ СО РАН, курирующий работу с молодежью, заведующие отделениями ИДСТУ СО РАН, председатель профсоюзного комитета ИДСТУ СО РАН, председатель совета научной молодежи ИДСТУ СО РАН.

5. Прием на работу по совместительству по рекомендации Комиссии осуществляется на условиях срочного трудового договора сроком до окончания очередного года обучения в аспирантуре.

6. Аспирант может претендовать на замещение должности инженера или программиста на 0. ставки при условии оплаты 0.25 ставки за счет средств государственного бюджета и 0. ставки за счет дополнительных зарплатных фондов, находящихся в распоряжении научного руководителя аспиранта (например, грантов РФФИ, СО РАН, Роснауки), либо сотрудников подразделения, в котором обучается аспирант, с письменного согласия всех заинтересованных лиц. В исключительных случаях при отсутствии возможности дополнительного финансирования из указанных источников, размер ставки (от 0.25 до 0.5) определяется дирекцией института.

7. Заявление о рассмотрении вопроса по приему аспиранта на работу по совместительству подается в Комиссию научным руководителем аспиранта. К заявлению прикладываются: полный список научных трудов аспиранта по форме 33; полный список конференций, на которых аспирант выступал с устным докладом; характеристика научной работы аспиранта, включающая описание его достижений и степени выполнения плана обучения в аспирантуре, подписанная научным руководителем аспиранта. По желанию аспиранта или его научного руководителя в комиссию могут быть представлены другие документы, которые характеризуют результаты и достижения аспиранта.

8. Рассмотрение вопроса о рекомендации по приему аспиранта на работу по совместительству в ИДСТУ СО РАН производится в Комиссии с учетом всех представленных в комиссию документов тайным голосованием простым большинством голосов.

1. Обыкновенные дифференциальные уравнения первого порядка. Теорема существования и единственности решения задачи Коши.

2. Линейные дифференциальные уравнения n-го порядка с постоянными коэффициентами.

3. Линейные дифференциальные уравнения в частных производных второго порядка, их классификация. Постановка основных начально-краевых задач для волнового уравнения, теплопроводности и уравнения Лапласа.

4. Теорема существования и единственности решения задачи Коши для системы обыкновенных дифференциальных уравнений. Теорема о продолжимости решения.

5. Теорема о непрерывной зависимости и дифференцируемости решений по начальным условиям и по параметру. Уравнения в вариациях.

6. Линейные системы. Определитель Вронского. Теорема Лиувилля. Метод вариации постоянных.

7. Системы линейных уравнений с постоянными коэффициентами. Краевые задачи для линейных обыкновенных дифференциальных уравнений.

8. Устойчивость по Ляпунову. Асимптотическая устойчивость. Теорема об устойчивости по первому приближению.

9. Особые точки линейных систем на плоскости.

10. Первые интегралы. Теорема о существовании полной системы первых интегралов.

11. Квазилинейные уравнения с частными производными 1-го порядка. Задача Коши.

12. Смешанная задача для волнового уравнения, единственность решения задачи, решение ее методом Фурье.

13. Преобразование Фурье и его свойства. Прямое и обратное преобразование Фурье по одной переменной. Многомерное преобразование Фурье, его связь с одномерным преобразованием.

14. Формула обращения многомерного преобразования Фурье.

15. Фундаментальное решение оператора Лапласа. Функция Грина для задачи Дирихле и ее свойства. Функция Грина для шара. Решение задачи Дирихле для шара.

16. Свойства гармонических функций: теорема о среднем, принцип максимума, теорема Лиувилля, теорема об устранимой особенности.

17. Задача Дирихле и Неймана для уравнения Лапласа. Единственность решения. Условие разрешимости задачи Неймана. Внешние задачи. Сведение их к внутренним задачам.

18. Уравнение теплопроводности. Первая краевая задача. Принцип максимума. Единственность.

Метод Фурье. Задача Коши. Интеграл Пуассона.

19. Характеристики уравнений второго порядка. Приведение уравнений к каноническому виду.

20. Задача Коши для волнового уравнения. Единственность решения задачи Коши. Формула Даламбера.

21. Пространства Соболева, их свойства. Обобщенные производные. След функции из Н1.

22. Краевые задачи для эллиптического уравнения. Принцип максимума. Однозначная разрешимость в пространстве Н1. Методы решения.

23. Вариационный метод решения краевых задач для эллиптического уравнения.

24. Уравнение теплопроводности. Обобщенные решения краевых задач. Применение метода Галеркина к решению краевых задач.

25. Волновое уравнение. Обобщенные решения. Применение метода Галеркина к решению краевых задач.

26. Постановка задачи оптимального управления со свободным правым концом. Принцип максимума Понтрягина. Достаточность принципа максимума для линейно-выпуклых задач оптимального управления.

27. Простейшая задача вариационного исчисления. Уравнение Эйлера. Связь с задачей оптимального управления; необходимые условия оптимальности, вытекающие из принципа максимума Понтрягина.

Список литературы:

1. Арнольд В.И. Обыкновенные дифференциальные уравнения. – Ижевск: РХД, 2000.

2. Владимиров B.C., Жаринов В.В. Уравнения математической физики. – М: Физматлит, 2003.

3. Михлин С.Г. Курс математической физики. – СПб.: Лань, 2002.

4. Петровский И.Г. Лекции по обыкновенным дифференциальным уравнениям. – М.: Наука, 1984.

5. Петровский И.Г. Лекции об уравнениях с частными производными. – М.: Наука, 1970.

6. Понтрягин Л.С. Обыкновенные дифференциальные уравнения. – М.: Наука, 1974.

7. Гаевский X., Грегер К., Захариас К. Нелинейные операторные уравнения и операторные дифференциальные уравнения. – М.: Мир, 1978.

8. Годунов С.К. Уравнения математической физики. – М.: Наука, 1971.

9. Ладыженская О.А. Краевые задачи математической физики. – М.: Наука, 1973.

10. Михайлов В.П. Дифференциальные уравнения в частных производных. – М.: Наука, 1983.

11. Соболев С.Л. Уравнения математической физики. – М.: Наука, 1992.

12. Тихонов А.Н., Самарский А.А. Уравнения математической физики. – М: Наука, 1999.

13. Эванс Л.К. Уравнения с частными производными. – Новосибирск: Тамара Рожковская, 2003.

14. Федорюк М.В. Обыкновенные дифференциальные уравнения. – М.: Наука, 2003.

15. Алексеев В.М., Тихомиров В.М., Фомин С.В. Оптимальное управление. – М.: Наука, 1979.

16. Ащепков Л.Т. Лекции по оптимальному управлению: Учеб. пособие. – Владивосток: Изд-во Дальневосточного ун-та, 1996.

05.13.01 – «Системный анализ, управление и обработка информации»

В основе настоящей программы лежат следующие дисциплины: а) линейная алгебра; б) функциональный анализ; б) выпуклый анализ; в) системный анализ; г) теория и методы непрерывной оптимизации; д) теория игр и исследование операций; е) вариационное исчисление и оптимальное управление; ж) теория управления и методы принятия решений; з) дискретная оптимизация.

А (линейная алгебра) Векторы и матрицы, согласованные нормы, подпространства и многообразия, базисы, основная теорема линейной алгебры, собственные значения и векторы, спектральная декомпозиция симметричной матрицы, определитель и след квадратной матрицы, факторизация матриц (разложения Холецкого, LU, QR и т.д.), методы решения систем линейных уравнений и их устойчивость.

B (функциональный анализ) Метрические и нормированные пространства, теорема Хана-Банаха, принцип открытости отображения и теорема о замкнутом графике, принцип равномерной ограниченности, линейные функционалы и линейные операторы, топологии в сопряженном пространстве, общее понятие меры, Лебегова мера, измеримые функции, интеграл Лебега, дифференциалы Гато и Фреше в линейных пространствах, формула Тейлора, Теорема о неявной функции, касательные многообразия, теорема Люстерника, метод Ньютона-Канторовича решения уравнений в банаховых пространствах, теорема Куна-Таккера в банаховых пространствах.

C (выпуклый анализ) Теорема Хана-Банаха и теоремы отделимости, топологические свойства выпуклых множеств, выпуклые функции, сопряженные функции (поляры), теоремы Минковского и Фенхеля-Моро, сублинейные функции, производная по направлению и субдифференциал.

Список литературы:

1. Ильин В.А., Поздняк Э.Г. Линейная алгебра. – М.: Физматлит, 2004.

2. Гантмахер Ф.Р. Теория матриц. – М.: Физматлит, 2004.

3. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. – М.:

Наука, 1976.

4. Канторович Л.В., Акилов Г.П. Функциональный анализ. – М.: Наука, 1976.

5. Данфорд Н., Шварц Дж.Т. Линейные операторы. Общая теория. – М.: УРСС, 2004.

6. Заманский М. Введение в современную алгебру и анализ. – М.: Наука, 1974.

7. Бахвалов Н.С. Численные методы. – М.: Наука, 1975.

8. Бахвалов Н.С., Жидков Н.П., Кобельков Г.М. Численные методы. – М.: Бином. Лаборатория знаний, 2006.

9. Самарский А.А., Гулин А.В. Численные методы. – М.: Наука, 1989.

10. Самарский А.А., Михайлов А.П. Математическое моделирование. – М.: Физматлит, 2005.

11. Иоффе А.Д., Тихомиров В.М. Теория экстремальных задач. – М.: Наука, 1975.

Оптимизационный (вариационный) подход к проблемам принятия решений и управления. Классификация задач непрерывной оптимизации 2.1. Стандартная и каноническая задачи линейной оптимизации (программирования) (ЗЛП), теоремы о представлении допустимых точек ЗЛП, двойственные ЗЛП, лемма Фаркаша как следствие теорем отделимости, локальный и глобальный экстремум, выпуклая экстремальная задача, теорема Куна-Таккера.

2.2. Безусловная оптимизация и условие Ферма, градиентные методы и метод Ньютона, квазиньютоновские методы, метод сопряженных градиентов, метод доверительной области, сходимость и скорость сходимости методов.

2.3. Классификация задач нелинейной оптимизации, теорема Каруша-Куна-Таккера, условия оптимальности 2-го порядка, условия регулярности (Слейтера, Мангасаряна-Фромовица и др.), лагранжевая двойственность экстремальных задач, выпуклые задачи нелинейного программирования, методы квадратичного программирования, методы штрафов и модифицированного Лагранжиана, методы последовательного квадратичного программирования, методы внутренних точек для ЗЛП и нелинейных задач оптимизации.

2.4. Методы дискретной оптимизации, задачи целочисленного линейного программирования, методы отсечения Гомори, методы ветвей и границ, задача о назначениях, задача о клике, задачи оптимизации на сетях и графах.

2.5. Конфликты и их математические модели, игры, классификация игр, матричные и биматричные игры, бескоалиционные и кооперативные игры, чистые и смешанные стратегии, теорема фон Неймана для равновесий в матричной игре, основные свойства оптимальных стратегий в матричных играх, сведение матричной игры к ЗЛП, метод Шепли-Сноу.

2.6. Принцип максимума Понтрягина (ПМП) в задачах оптимального управления обыкновенными системами дифференциальных уравнений, достаточность ПМП в выпуклой задаче оптимального управления (ЗОУ), линейная система управления и ее свойства, принцип Беллмана и условия Кротова для ЗОУ.

2.7. Линейная ЗОУ и метод ее решения на основе ПМП, квадратичная выпуклая ЗОУ линейной системой и методы ее решения, методы фазовой линераризации и игольчатого варьирования для общих ЗОУ.

Список литературы:

1. Цыпкин Я.З. Основы теории автоматических систем. – М.: Наука, 1977.

2. Емельянов С.В., Коровин С.К. Новые типы обратной связи. Управление при неопределенности.

– М.: Наука, 1997.

3. Васильев Ф.П. Методы оптимизации. – М.: Факториал Пресс, 2002.

4. Моисеев Н.Н. Математические задачи системного анализа. – М.: Наука, 1981.

5. Сухарев А.Г., Тимохов А.В., Федоров В.В. Курс методов оптимизации. – М.: Физматлит, 2005.

6. Nocedal J., Wright St.J. Numerical optimization. – Springer, 2006.

7. Гермейер Ю.Б. Введение в теорию исследования операций. – М.: Наука, 1971.

8. Гермейер Ю.Б. Игры с непротивоположными интересами. – М.: Наука, 1976.

9. Воробьев Н.Н. Теория игр для экономистов и кибернетиков. – М.: Наука, 1985.

10. Понтрягин Л.С. Математическая теория оптимальных процессов. – М.: Наука, 1976.

11. Габасов Р.Ф., Кириллова Ф.М. Оптимизация линейных систем. – Минск: Изд-во БГУ, 1973.

12. Габасов Р.Ф., Кириллова Ф.М. Принцип максимума в теории оптимального управления. – Минск: Наука и техника, 1974.

13. Федоренко Р.П. Приближенное решение задач оптимального управления. – М.: Наука, 1978.

14. Срочко В.А. Итерационные методы решения задач оптимального управления. – М.: Физматлит, 15. Тятюшкин А.И. Многометодная технология оптимизации управляемых систем. – Новосибирск:

Наука, 2006.

05.13.11 – «Математическое и программное обеспечение вычислительных машин, Интуитивное понятие алгоритма. Свойства алгоритмов. Понятие об исполнителе алгоритма.

Уточнение понятия алгоритма. Алгоритм как преобразование слов из заданного алфавита. Машина Тьюринга. Тезис Тьюринга и его обоснование. Нормальные алгоритмы Маркова. Принцип нормализации и его обоснование. Понятие об алгоритмической неразрешимости.

Понятие и применение рекурсивных алгоритмов при решении задач. Связь с математической индукцией; сравнение рекурсивных и итеративных алгоритмов. Анализ сложности алгоритмов. Понятие вычислительной сложности (по времени и памяти) и его применение для анализа алгоритмов.

Асимптотические верхние и средние оценки для итеративных и рекурсивных алгоритмов, сравнение алгоритмов по времени и памяти.

Обзор классов сложности (Р и NP), верхние, средние и нижние оценки. Р и NP классы сложности; разрешимые и неразрешимые задачи, NP-полнота.

0(n2) алгоритмы сортировки (например, выбором и вставкой); оценки сложности, лучшие и худшие случаи;

0(n*log n) алгоритмы сортировки (например, быстрая сортировка, метод слияния); оценки сложности; другие методы сортировки (метод Шелла и т.д.); сравнение алгоритмов сортировки.

Последовательный и бинарный поиск, поиск в двоичном дереве; оценки сложности, лучшие и худшие случаи; хэширование, устранение коллизий.

Понятие о формальных языках. Способы строгого описания формальных языков, понятие о метаязыках. Алфавит, синтаксис и семантика алгоритмического языка. Описание синтаксиса языка с помощью металингвистических формул и синтаксических диаграмм.

Типовая схема ЭВМ, принципы Фон-Неймана. Оперативная память: ячейка, адрес, бит, слово.

Характеристики и единицы измерения памяти. Команды и данные. Центральный процессор ЭВМ:

устройство управления и арифметико-логическое устройство. Регистры. Устройство ввода/вывода.

Адресность ЭВМ, схема выполнения команд. Понятие такта работы. Понятие о структурных особенностях современных ЭВМ: прерывания, защита памяти, привилегированные команды, параллельная обработка данных.

Основы программирования на вычислителях с параллельной и распределенной архитектурой;

иллюстрация того, как параллелизм значительно ускоряет вычисления по сравнению с последовательными алгоритмами, простые параллельные алгоритмы.

Методы автоматизации распараллеливания программ и векторизации циклов. Яруснопараллельные формы. Методы гиперплоскостей, параллелепипедов и т.д.

Список литературы:

1. Любимский Э.З., Мартынюк В.В., Трифонов Н.П. Программирование. – Наука, 1980.

2. Вирт Н. Алгоритмы + структура данных = программа. – Мир, 1985.

3. Ларионов A.M., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы, сети. – Л.:

Энергоатомиздат, 1987.

4. Королев Л.Н. Структуры ЭВМ и их математическое обеспечение. – М.: Наука, 1980.

Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1979.

Воеводин В.В. Математические модели и методы в параллельных процессах. – М.: Наука, 1986.

Хоггер К. Введение в логическое программирование. – М.: Мир, 1988.

Алексеев В.Б., Ложкин С.А. (составители). Элементы теории графов и схем: Методическое пособие. – М.: МГУ, 1991.

Мендельсон Э. Введение в математическую логику. – М.: Мир, 1985.

Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ. – М.: Наука, 10.

Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982.

11.

Голдблатт Р. Логика времени и вычислимость. – М.: Мир, 1993.

12.

Котов В.Е., Сабельфельд В.К. Теория схем программ. – М.: Наука, 1991.

13.

Исторический очерк развития языков программирования (ЯП). Основные конструкции языков программирования и их реализация. Методы разработки алгоритмов и программ. Технология программирования.

Классификация данных. Динамические и статические ЯП. Атрибуты данных и средства их описания. Характеристики, связанные с типом (класс значений, множество операций). Именная и структурная эквивалентность типов.

Базисные типы данных в традиционных ЯП. Операторный базис традиционных ЯП. Средства определения подпрограмм. Правила передачи параметров. Процедурные абстракции и надежность.

Понятие модуля. Примеры в конкретных языках. Инкапсуляция. Абстрактные типы данных.

Имя в ЯП. Описания и области действия. Правила видимости.

Перекрытие имен и видимость. Раздельная трансляция. Недостатки независимой трансляции.

Проблемы, связанные с параметризацией типов.

Понятие исключительной ситуации (ИС). Принципы надежной обработки ИС.

Управление представлением и учет машинно-зависимых особенностей.

Понятие объектно-ориентированного анализа. Классы и объекты. Основные отношения между классами и объектами. Связь объектного подхода с основными понятиями языков программирования. Недостатки традиционных ЯП с точки зрения объектного подхода.

Наследование в ЯП. Понятия и примеры наследования. Наследование и полиморфизм. Надежность и повторное использование программных компонент.

Объявление классов и объектов. Конструкторы и деструкторы. Производные классы. Виртуальные функции-члены. Абстрактные классы и методы. Множественное наследование. Управление доступом. Инкапсуляция. Исключения и классы.

Статическое, квазистатическое и динамическое связывание методов. Примеры объектноориентированных языков. Другие парадигмы программирования: функциональное и логическое программирование.

ВВЕДЕНИЕ. Место компилятора в программном обеспечении. Структура компилятора.

ЛЕКСИЧЕСКИЙ АНАЛИЗ. Регулярные множества и регулярные выражения. Конечные автоматы. Построение детерминированного конечного автомата по регулярному выражению. Построение детерминированного конечного автомата с минимальным числом состояний. Программирование лексических анализаторов.

СИНТАКСИЧЕСКИЙ АНАЛИЗ. Основные понятия и определения. Таблично-управляемый предсказывающий разбор. Алгоритм разбора сверху-вниз, LL(1)-грамматики, рекурсивный спуск, восстановление после синтаксических ошибок. Синтаксически управляемая трансляция.

ПРОМЕЖУТОЧНОЕ ПРЕДСТАВЛЕНИЕ ПРОГРАММЫ. Представление в виде ориентированного графа. Организация информации в генераторе кода. Уровень промежуточного представления.

КОНТЕКСТНЫЕ УСЛОВИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ. Описание областей видимости и блочной структуры. Управление данными и контроль типов.

ОРГАНИЗАЦИЯ ТАБЛИЦ КОМПИЛЯТОРА. Таблицы идентификаторов и таблицы символов.

Применение таблиц расстановки. Функции расстановки. Реализация блочной структуры.

ГЕНЕРАЦИЯ КОДА. Модель машины. Динамическая организация памяти. Назначение адресов. Трансляция переменных. Трансляция арифметических выражений. Распределение регистров при вычислении арифметических выражений. Особенности трансляции логических выражений. Выделение общих подвыражений. Оптимизация кода.

Список литературы:

1. Грис Д. Построение компиляторов для цифровых вычислительных машин. – М.: Мир, 1975.

2. Ахо А., Ульман Д. Теория синтаксического анализа, перевода и компиляции. – М.: Мир, 1978.

3. Кнут Д. Искусство программирования для ЭВМ. T. I: Основные алгоритмы. – М.: Мир, 1976.

4. Кауфман В.Ш. Языки программирования. Концепции и принципы. – М.: Радио и связь, 1993.

5. Буч Г. Объектно-ориентированное проектирование с примерами применения. – М.: Конкорд, 6. Джехани Н. Язык Ада. – М.: Мир, 1988.

7. Вирт Н. Программирование на языке Модула-2. – М.: Мир, 1987.

8. Керниган Б., Ричи Д. Язык Си. – М.: Финансы и статистика, 1990.

9. Страуструп Б., Эллис М. Справочное руководство по языку программирования C++ с комментариями. – М.: Мир, 1992.

10. Aho A., Sethi R., Ullman J. Compilers: principles, techniques and tools. – N.Y.: Addison Wesley, Прикладные программные системы и области их применения Текстовые и табличные процессоры. Деловая и иллюстративная графика. Издательские системы. Интегрированные системы. Автоматизированные рабочие места.

Библиотеки программ и пакеты прикладных программ (ППП) для научных и инженерных расчетов. Системное, функциональное и информационное наполнение ППП. Примеры ППП.

Понятие базы данных. Язык определения (описания) и язык манипулирования данными. Иерархические, сетевые и реляционные базы данных. Уровни представления данных. Понятие о системе управления базой данных (СУБД). Примеры СУБД.

Информационно-поисковые системы (ИПС). Информационный образ документа, ключевые слова, тезаурус. Поиск нужных документов, релевантность.

Проблемы искусственного интеллекта (ИИ), исторические и философские аспекты. Классификация систем ИИ. Экспертные системы. Роботы и решатели задач. Системы общения с ЭВМ на естественном языке. Методы представления знаний в системах ИИ, базы знаний. Взаимодействие пользователя с системами ИИ. Гипертекстовые и мультимедиа системы.

Понятие о прикладном и системном программном обеспечении. Структура системного программного обеспечения: операционные системы и системы программирования.

Система программирования, ее состав и схема работы. Редакторы текстов.

Программное, языковое и информационное обеспечение системы программирования.

Компиляторы и интерпретаторы. Редактор внешних связей, его назначение и схема работы. Загрузчик и схема его работы.

Схема решения задач на ЭВМ. Отладчики. Понятие об инструментальных программных средствах.

Исторический обзор. Назначение и основные функции операционной системы (ОС): управление устройствами, управление задачами и процессами, управление данными. ОС для ЭВМ различных классов.

Управляющая программа операционной системы. Язык директив. Командные файлы.

Иерархическая организация памяти ЭВМ: регистры, память типа кэш, оперативная и внешняя память. Расслоение оперативной памяти. Типы и характеристики устройств внешней памяти.

Организация работы с внешними устройствами на ЭВМ разных классов. Порты ввода вывода.

Общая шина. Совмещение работы центрального процессора и периферийных устройств ЭВМ. Мультипрограммный режим работы. Понятие канала.

Файловая система. Файлы, их структура, типы и способы организации. Логические и физические записи файлов, блокирование. Текстовые, исходные, объектные, загрузочные и абсолютные модули. Каталоги. Секретность и защита данных.

Работа ЭВМ в режиме мультипрограммирования, разделения времени и реального времени.

Пакетный и диалоговый режимы работы.

Необходимые требования к аппаратуре ЭВМ для организации мультипрограммной работы.

Система прерываний, классы прерываний, маскирование прерываний. Защита памяти, привилегированные команды. Команды прерывания (вызов супервизора).

Статическое и динамическое распределение оперативной памяти между задачами. Фрагментация памяти, тупики. Оверлейная структура программ. Релокация программ.

Виртуальная память, механизм подкачки. Страничная организация виртуальной памяти.

Понятие процесса. Служебные процессы ОС.

Параллельные процессы, их синхронизация. Понятие критической секции. Семафоры, примитивы управления параллельными процессами. Задача о поставщике и потребителе. Понятие программы-фильтра. Взаимодействие параллельных процессов.

Список литературы (основной):

1. Донован Дж. Системное программирование. – М.: Мир, 1975.

2. Дейтел Г. Введение в операционные системы. T. 1, 2. – М.: Мир, 1987.

3. Бек Л. Введение в системное программирование. – М.: Мир, 1988.

4. Баурн С. Операционная система UNIX. – М.: Мир, 1986.

Список литературы (дополнительный):

1. Брябрин В.М. Программное обеспечение персональных ЭВМ. – М.: Наука, 1988.

2. Фигурнов В.Э. IBM PC для пользователя. – М.: Финансы и статистика. Юнити, 1995.

3. Горбунов-Посадов М.М., Корлгин Д.А., Мартынюк В.В. Системное обеспечение пакетов прикладных программ. – М.: Наука, 1990.

4. Соколов А.В. Информационно-поисковые системы. – М.: Радио и связь, 1981.

Области приложений СУБД. Интерфейсы СУБД для обеспечения интерактивного доступа к данным и создания прикладных программ. Языки запросов, запросы через формы, генераторы отчетов, языки быстрого прототипирования приложений. Типичные функции СУБД. Управление данными во внешней памяти, управление буферами оперативной памяти, управление транзакциями, журнализация изменений базы данных, восстановление после сбоев.

Проектирование баз данных. Концептуальные модели данных. Семантические модели данных.

Диаграммы «сущность-связи».

СУБД и информационно-поисковые системы. Понятие гипертекста. Применение стабильной оперативной памяти, оптических дисков и других видов современной аппаратуры в информационных системах.

Реляционные базы данных. Реляционная модель данных. Реляционная алгебра и реляционное исчисление. Нормальные формы отношений.

Структуры данных реляционной базы данных. Способы хранения отношений, индексов, журнальной информации.

Понятие транзакции. Связь с понятиями целостности базы данных и изолированности пользователей. Методы управления транзакциями.

Журнализация. Связь с управлением буферами оперативной памяти. Методы восстановления баз данных после сбоев.

Язык баз данных SOL. Основные средства манипулирования данными. Средства управления и изменения схемы базы данных, определения ограничений целостности, представлений базы данных, привилегий доступа к данным.

Возможности встраивания языка SQL в прикладную программу. Динамический SOL.

Экспертные системы как часть искусственного интеллекта Традиционные средства программного обеспечения ЭВМ и системы ИИ. Основные задачи исследований по ИИ. Интеллектуальная деятельность человека и ИИ. Моделирование – важнейший метод исследований в области ИИ, специфика ИИ моделей.

Решение задач и искусственный интеллект. Представление задач в пространстве состояний.

Стратегии поиска решения: слепой и эвристический; прямой, обратный и двунаправленный;

иерархический поиск. Редукция задач. Программа GPS. Поиск на игровых деревьях: дерево игры, минимаксная процедура, альфа-бета процедура. Планирование действий: неиерархическое, иерархическое, с взаимодействующими подцелями. Роботы и искусственный интеллект.

Представление знаний - центральная проблема ИИ.

Методы представления знаний: процедурные представления, логические представления, семантические сети, фреймы, системы продукций. Интегрированные методы представления знаний. Метазнания в системах ИИ: способы представления, возможности использования. Языки представления знаний. Базы знаний.

Программное обеспечение работ по ИИ.

Экспериментальный и эволюционный характер разработок систем ИИ, требования к программному обеспечению. Языки программирования для задач ИИ: основные концепции, примеры языков (ЛИСП, ПЛЭНЕР, ПРОЛОГ). Инструментальные средства для создания систем ИИ.

Экспертные системы (ЭС).

Области применения ЭС. Архитектура ЭС. База знаний, механизмы вывода, подсистемы объяснения, общения, приобретения знаний ЭС. Жизненный цикл экспертной системы. Примеры конкретных ЭС.

Обучение в системах ИИ.

Проблема «родителей» и «учителей». Открытость знаний системы ИИ. Приобретение (извлечение) знаний. Обучение на основе запоминания результатов собственной работы; обучение по примерам; обучение с использованием советов человека. Интегрированные обучающиеся системы ИИ.

Общение человека с системой ИИ.

Модель общения человека с системой ИИ. Искусственный интеллект и естественный язык. Понимание выражений естественного языка. Представление лингвистических знаний. Методы анализа и синтеза текста.

Список литературы:

1. Дейт К. Введение в системы баз данных. – М.: Наука, 1980.

2. Дейт К. Руководство по реляционной СУБД DB2. – М.: Финансы и статистика, 1988.

3. Ульман Дж. Основы систем баз данных. – М.: Финансы и статистика, 1983.

4. Цикритзис Д., Лоховски К. Модели и базы данных. – М.: Финансы и статистика, 1984.

5. Мейер Д. Теория реляционных баз данных. – М.: Мир, 1987.

6. Нильсон Н. Принципы искусственного интеллекта. – М.: Радио и связь, 1985.

7. Лорьер Ж.-Л. Системы искусственного интеллекта. – М.: Мир, 1991.

8. Тихомиров O.K. Психология мышления. – М.: МГУ, 1984.

9. Уэно X. и др. Представление и использование знаний. – М.: Мир, 1989.

10. Приобретение знаний: Пер. с япон. / Под ред. С. Осуги, Ю. Саэки. – М.: Мир, 1990.

Часть I. Математическое моделирование I.1 Общие сведения о математических моделях 1. Понятие математической модели. Различные подходы к определению этого понятия.

2. Математическое моделирование как метод описания и исследования сложных систем.

3. Классификация моделей (гипотезы, феноменологические модели, эвристические модели, аналогии, и т.п.).

4. Модели динамических систем. Способы описания и построения.

5. Модели с непрерывной и дискретной динамикой.

6. Примеры моделей поведения систем в реальном мире (модель Мальтуса, система «ХищникЖертва» и т. п.).

7. Информативность математических моделей.

8. Информационная энтропия (энтропия Шеннона) и ее использование в математическом моделировании.

9. Игровые модели (примеры из биологии и экономики).

10. Математическое моделирование хаотического поведения (кривые Пеано, фракталы, аттракторы).

11. Понятие об имитационном моделировании. Простейшие имитационные модели.

12. Модели безопасности компьютерных систем.

I.2 Методы и средства математического моделирования 1. Методы описания непрерывных динамических моделей (примеры моделей, описываемых обыкновенными дифференциальными уравнениями).

2. Использование теории игр для построения и исследования моделей поведения экономических и биологических систем.

3. Модели и методы математического программирования.

4. Модель Шеннона канала связи и проблемы возникновения и исправления ошибок при передаче информации.

5. Модель Шеннона секретного канала связи. Стойкость систем симметричного шифрования в рамках этой модели.

6. Модели несимметричных систем шифрования. Примеры простейших криптографических протоколов.

7. Модель Симмонса канала аутентификации. Сходства и различия с шенноновской моделью.

8. Модели дискретных динамических систем, способы их описания и исследования (дискретноавтоматные модели).

9. Средства имитационного моделирования. Пакеты имитационного моделировании и их возможности.

10. Проблемы верификации моделей. Верификация моделей дискретных систем. Системы автоматической верификации.

Список литературы:

1. Моисеев Н.Н. Математические задачи системного анализа. – М.: Наука, 1981. – 488 с.

2. Николис Дж. Динамика иерархических систем. – М.: Мир, 1989. – 486 с.

3. Фон Нейман Дж., Моргенштерн О. Теория игр и экономическое поведение. – М.: Мир, 1970. – 4. Шеннон К.Э. Работы по теории информации и кибернетике. – М.: Иностранная литература, 1963.

5. Мак-Вильямс Ф.Дж., Слоэн Н.Дж. Теория кодов, исправляющих ошибки. – М.: Связь, 1979. – 6. Алферов А.П., Зубов А.Ю., Кузьмин А.С., Черемушкин А.В. Основы криптографии. – М.: «Гелиос АРВ», 2002. – 480 с.

7. Кузнецов А.В., Сакович В.А., Холод Н.И. Математическое программирование. – Минск: Высш.

шк., 1994. – 286 с.

8. Таха Х.А. Введение в исследование операций. – М.: Вильямс, 2005. – 719 с.

9. Карпов Ю.Г. Model Checking: Верификация параллельных и распределенных программных систем. – СПб.: «БХВ-Петербург», 2010. – 551 с.

10. Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ. – М.: МЦНМО, 2002. – 11. Девянин П.Н. Модели безопасности компьютерных систем. – М.: Академия, 2005. – 144 с.

Часть II. Численные методы II.1 Основы численных методов 1. Приближенные числа (абсолютная и относительная погрешности, округление, погрешности основных арифметических операций, оценивание погрешностей).

2. Цепные дроби и их применение в вычислительной математике (представление рациональных и иррациональных чисел, алгоритм Евклида, диофантовы уравнения первой степени).

3. Вычисление значений функций (схема Горнера, числовые ряды, значения аналитических функций, значения специальных функций (показательная, корень и др.)).

4. Приближенные методы решения алгебраических уравнений (графическое решение, дихотомия, метод хорд, метод касательных, метод итерации).

5. Базовые методы решения линейных уравнений (метод Гаусса, теорема Кронекера-Капелли, правило Крамера).

6. Алгебраические действия с матрицами (транспонированная матрица, обратная матрица, рациональные функции от матриц, абсолютная величина и норма матрицы, приведение к треугольным формам, клеточные формы матриц, элементарные преобразования, вычисление определителей, вычисление обратных матриц).

7. Итерационные методы решения систем линейных (метод простых итераций, метод Зейделя, сходимость метода Зейделя).

8. Задачи численного интегрирования (формулы прямоугольников, формулы трапеций, формулы парабол).

9. Интерполяционные методы (полиномы Лагранжа, конечные разности, различные виды конечноразностных интерполяционных формул).

10. Численные методы решения задачи Коши для обыкновенных дифференциальных уравнений (метод последовательных приближений (метод Пикара), методы Эйлера, методы Рунге-Кутты).

II.2 Некоторые специальные численные методы 1. Симплекс-метод для задач линейного программирования над полем рациональных чисел (алгоритм, основные свойства, примеры применения).

2. Задачи целочисленного линейного программирования и некоторые методы их решения (метод Гомори, метод ветвей и границ).

3. Схема динамического программирования и ее применение к решению различных оптимизационных задач (принцип оптимальности и уравнение Беллмана, алгоритм решения задачи о ранце, алгоритм поиска кратчайшего пути во взвешенном графе).

4. Методы решения оптимизационных задач на графах (алгоритм Дийкстры, алгоритм ФордаФалкерсона, алгоритм Крускала).

5. Булевы уравнения и методы их решения (булевы функции и булевы уравнения, нормальные формы и полиномиальные представления, метод линеаризации, сведение к проблеме выполнимости КНФ).

6. Минимизация булевых функций в классе ДНФ (КНФ) (карты Карно, алгоритм КвайнаМаккласки, локальные алгоритмы).

7. Локальный поиск и его применение к решению комбинаторных задач (общая схема, различные подходы к определению окрестностей, поиск с запретами, метаэвристики).

8. Специальные алгоритмы элементарной теории чисел (возведение в степень по модулю, решение сравнений, вычисление обратных элементов в группах и кольцах вычетов, вычисление квадратных корней в группах и кольцах вычетов).

9. Метод Монте-Карло (базовая идея, теоретико-вероятностная основа, применение к вычислению интегралов).

10. Эффективные вероятностные вычисления (задача проверки простоты больших чисел, алгоритмы Соловея-Штрассена и Миллера-Рабина).

Список литературы:

1. Демидович Б.П., Марон И.А. Основы вычислительной математики. – М.: Наука, 1966. – 664 с.

2. Самарский А.А., Гулин А.В. Численные методы. – М.: Наука, 1989. – 432 с.

3. Вержбицкий В.М. Основы численных методов. – М.: Высш. шк., 2002. – 848 с.

4. Васильев Ф.П. Численные методы решения экстремальных задач. – М.: Наука, 1988. – 549 с.

5. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. – М.:

Мир, 1985. – 510 с.

6. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. – Вильямс, 2007. – 1290 с.

7. Романовский И.В. Дискретный анализ. – СПб.: «BHV», 2003. – 320 с.

8. Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1986. – 384 с.

9. Андерсон Дж. Дискретная математика и комбинаторика. – Вильямс, 2004. – 960 с.

10. Биркгоф Г., Барти Т. Современная прикладная алгебра. – М.: Лань, 2005. – 400 с.

11. Кострикин А.И. Введение в алгебру. – М.: Наука, 1977. – 495 с.

12. Коблиц Н. Курс теории чисел и криптографии. – М.: «ТВП», 2001. – 254 с.

13. Ермаков С.М. Метод Монте-Карло и смежные вопросы. – М.: Наука, 1971. – 327 с.

Часть III. Комплексы программ III.1 Основы теории алгоритмов Понятие вычислимых функций (различные способы задания функций, функции, задаваемые программами для формальных вычислительных моделей, тезис Черча).

Алгоритмически вычислимые функции (кодирование программ, характеристические функции конечных автоматов, универсальная функция для класса всех вычислимых функций).

Алгоритмически невычислимые функции (неразрешимость проблемы остановки, сведение проблемы остановки к другим проблемам, теорема Райса).

Алгоритмическая неразрешимость в математической логике и теории чисел (теорема Черча об алгоритмической неразрешимости исчисления предикатов 1-го порядка, неразрешимость общей задачи о корнях диофантова полинома).

«Наивные» представления об алгоритмической сложности (задача о Ханойской башне, вычисление определителя булевой матрицы, алгоритм Евклида).

Строгое понятия сложности по времени (понятие индивидуальных и массовых задач, функции сложности и порядки их роста).

Классы P и NP (задачи распознавания, разрешимые за полиномиальное время на детерминированной и недетерминированной машинах Тьюринга, основная гипотеза теории вычислительной сложности).

Понятие NP-полноты (задача о булевой выполнимости (SAT), ее NP-полнота, теорема Кука, примеры редукции SAT к другим комбинаторным задачам).

NP-полные задачи на графах (NP-полнота задач: о клике, о вершинном покрытии, о независимом множестве, о коммивояжера).

Приближенные алгоритмы решения комбинаторных задач (определение приближенного алгоритма для решения задачи дискретной оптимизации, приближенные алгоритмы для задачи об упаковки контейнеров и задачи о вершинном покрытии).

Вероятностные алгоритмы (понятие о вероятностной машине Тьюринга, основные классы вероятностного времени – RP, co-RP, BPP, ZPP).

III.2 Основные конструкции в программировании 1. Основные этапы построения программ (собственно алгоритм, оценка его сложности, подбор абстрактных типов данных, разработка собственных типов данных при необходимости).

2. Абстрактный тип данных (АТД) «Список» (реализации списков, стеки, очереди, преобразование рекурсивных выражений).

3. Деревья (основная терминология, узлы, различные виды обхода, вычисление наследственных данных).

4. Абстрактный тип данных TREE и реализация деревьев (представление с помощью массивов и списков).

5. Двоичные деревья (представление двоичных деревьев, коды Хаффмана, реализация двоичных деревьев с помощью указателей).

6. Структуры данных для представления множеств (реализация двоичными векторами, реализация списками, реализация теоретико-множественных операций).

7. Хеш-функции и хеш-таблицы (основные конструкции, используемые при хешировании, разрешение коллизий, реструктуризация хеш-таблиц).

8. Деревья двоичного поиска (структуры данных для представления, анализ эффективности).

9. Реализация множеств посредством сбалансированных деревьев (основные операторы: вставка и удаление элементов в/из дерева).

10. Структуры данных и алгоритмы работы с графами (обход в ширину, обход в глубину, кратчайшие пути, остовы).

11. Простые схемы сортировки («пузырьковая» сортировка, сортировка вставками, сортировка посредством выбора).

12. Быстрая сортировка (временная сложность, особенности реализации).

13. Пирамидальная сортировка (структуры данных, временная сложность).

14. Карманная сортировка (применение связанных списков при реализации, оценка сложности).

III.3 Практическое программирование 1. Файлы (файловые потоки в C++, открытие/закрытие файла, функции чтения/записи).

2. Указатели и массивы (Статические и динамические массивы в C++. Выделение и освобождение памяти. Указатели и ссылки. Арифметика указателей. Особенности передачи указателей как аргументы функции. Многомерные массивы. Семейство типов vector как альтернатива работы с динамическими массивами через указатели).

3. Строки (низкоуровневая строка как одномерный массив символов, функции для работы с низкоуровневыми строками, считывание строк из входного потока, разбор предложения в массив слов, тип string как альтернатива, основные функции работы с строками типа string).

4. Тестирование программ (основы тестирования программ, методы черного и белого ящиков, особенности тестирования программ на языке C++, оператор try, коды ошибок).

5. Основы объектно-ориентированного программирования (основные свойства ООП – наследование, инкапсуляция, полиморфизм, класс, объект; классы и объекты в C++, использование пользовательского заголовочного файла для описания класса, данные вида private и public, указатель на объект, динамическое выделение памяти под объект).

Список литературы:

1. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. – М.: Мир, 1983. – 256 с.

2. Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1965. – 391 с.

3. Мендельсон Э. Введение в математическую логику. – М: Наука, 1976. – 320 с.

4. Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М.: УРСС, 2005. – 238 с.

5. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. – Вильямс, 2002. – 528 с.

6. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. – Вильямс, 2007. – 1290 с.

7. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982. – 8. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. – М.:

Мир, 1985. – 510 с.

9. Крупский В.Н. Введение в сложность вычислений. – М.: Факториал, 2006. – 128 с.

10. Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы. – М.: Вильямс, 2000. – 11. Левитин А. Алгоритмы. Введение в разработку и анализ. – М.: Вильямс, 2006. – 574 с.

12. Страуструп Б. Язык программирования С++. – СПб.: Бином. Невский диалект, 2008. – 1104 с.

13. Шилдт Г. С++: Базовый курс. – М.: Вильямс, 2008. – 625 с.

14. Шилдт Г. Самоучитель С++. – СПб.: «BHV», 2006. – 688 с.

Список литературы (дополнительный):

1. Лавров И.А. Математическая логика. – М.: Издат. центр «Академия», 2006. – 240 с.

2. Мальцев И.А. Дискретная математика. – СПб.: Лань, 2011. – 304 с.

3. Goldreich O. Computational Complexity: A Conceptual Perspective. – Cambridge University Press, 4. Wegener I. Complexity Theory. Exploring the Limits of Efficient Algorithms. – Springer, 2003. – 5. Агибалов Г.П. Избранные теоремы начального курса криптографии. – Томск: Изд-во ТГУ, 2005.

6. Stinson D. Cryptography. Theory and Practice. – Chapman&Hall/CRC, 2006.

7. Шнайер Б. Прикладная криптография. – Диалектика, 2003.

8. Чмора А.Л. Современная прикладная криптография. – М.: «Гелиос АРВ», 2002.

9. Papadimitriou C.H. Computational complexity. – Addison Wesley, 1994. – 523 p.

10. Menezes A., Van Oorschot P., Vanstone S. Handbook of Applied Cryptography. – CRC Press, 1996. – 1. Роль информации в жизни личности, общества и государства. Информационные революции.

Стадии становления информационного общества. Характерные черты информационного общества. Опасные тенденции информатизации.

2. Информатика как наука. Подходы к определению понятия и предмета информатики. Информатика как «интегральная» наука об информации, информационных процессах и информационных системах. Задачи информатики как науки.

3. Различные подходы к определению информации. Антропоцентрический и недетерминированный подходы к определению понятия информации.

4. Основные свойства информации. Идеальность информации. Свойство рассеяния информации.

Качество информации.

Автоматизация процессов сбора и обработки информации 1. Понятие информационных процессов. Виды информационных процессов. Сбор и восприятие информации. Объективные законы в области сбора информации. Факторы, влияющие на процесс восприятия информации.

2. Каталогизация и классификация как основные инструменты в области сбора информации. Процессы передачи и распространения информации. Общая схема передачи информации.

3. Понятие электронного обмена данными и электронного документооборота. Понятие электронного документа и его особенности. Понятие электронной цифровой подписи. Отличие электронной цифровой подписи от рукописной.

1. Системный подход как методологическая основа любого научного исследования. Основные направления системного подхода.

2. Метод социально-правового моделирования. Понятие и виды моделей. Этапы процесса моделирования. Кибернетический метод. Метод формализации.

3. Метод алгоритмизации и программирования. Понятие и требования к алгоритмам. Семантический и синтаксический анализ. Математические методы. Методы теории информации.

1. Служба WWW. Распределенные объектно-ориентированные технологии. Стандарт CORBA.

Функции брокера запросов к объектам (ORB). Политики жизненного цикла серверных объектов.

Принципы и средства разработки CORBA-приложений.

2. Web-технологии. Повышение презентационных возможностей WWW: язык JavaScript. Интеграция WWW с технологиями Java. Преодоление ограничений на пассивность WWW-сервера: языки PHP и ASP. Концепция информационного портала.

3. Web-сервисы. Распределенная объектная среда.Net. Модели исполнения.Net-приложений. Язык C#. Служба UDDI. Протокол SOAP. Описание метаданных web-сервисов на языке WSDL. Интеграция компонентов на основе.Net.

4. Распределенные системы управления рабочими процессами. Электронная коммерция (ecommerce) и электронное делопроизводство (e-business). Архитектура автоматизированной системы управления предприятием.

5. Протокол HTTP, технология CGI. Язык HTML. Технологии PHP, ASP и JSP. Порталы. Технологическая платформа J2EE.

6. Язык XML как универсальное средство структурирования электронных документов. Язык XSL/XSLT Структурная модель документа (DTD). Сопутствующие спецификации: namespaces, Xlink/Xpointer., проект Semantic Web. Онтологии предметных областей.

1. Основные понятия логического программирования. Методы составления программ и их исполнения в парадигме логического программирования. Теорема Эрбрана. Метод резолюций. Теорема о полноте метода резолюций. Денотационная и операционная семантика.

2. Основные концепции функционального программирования. Методы функционального программирования и их реализация. Примеры систем функционального программирования.

3. Основные концепции обьектно-ориентированного программирования. Организация выполнения объектно-ориентированных программ. Примеры объектно-ориентированных систем программирования.

4. Алфавитное кодирование. Алгоритмы распознавания алфавитного кодирования. Коды с исправлением ошибок. Методы сжатия кодированной информации. Системы программирования, типовые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы.

Понятие иерархии абстрактных машин.

5. Языки программирования. Синтаксис, семантика. Подходы к классификации языков (по уровню абстракции, по классам применения, по классам пользователей).

6. Основные концепции процедурно-ориентированных языков программирования. Методы процедурного программирования. Примеры.

7. Понятие о методах трансляции. Лексический, синтаксический, семантический анализ, основные алгоритмы генерации объектного кода. Типы модулей (исходный, загрузочный, объектный).

Связывание модулей по управлению и данным.

8. Классификация формальных грамматик. Их использование в лексическом и синтаксическом анализе. Атрибутные грамматики. Теорема о неразрешимости проблемы распознавания совпадения контекстно-свободных языков.

9. Машинно-ориентированные языки типа ассемблера, области применения, способы записи машинных команд и констант. Команды транслятора, их типы, принципы реализации.

10. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.

1. Основные принципы функционирования сетей ЭВМ. Классификация сетей по масштабу и топологии.

2. Понятие сетевого протокола. Семиуровневая модель OSI/ISO. Понятие стандарта. Сетевая архитектура TCP/IР основные принципы организации и функционирования.

3. Способы маршрутизации сообщений в сетях ЭВМ.

4. Основные функции сервера в сети ЭВМ. Состав и структура его программного обеспечения.

5. Основные принцип и средства управления сетью.

6. Проблемы создания глобальных и интегрированных информационно-телекоммуникационных систем и сетей на основе технологий grid.

7. Проблемы защиты информации от несанкционированного доступа.

1. Концепция типа данных. Абстрактные типы данных. Объекты (основные свойства и отличительные черты). Основные структуры данных, алгоритмы обработки и поиска. Модели данных.

Иерархическая, сетевая, реляционная, алгебра отношений. Примеры соответствующих СУБД.

2. Информационно-поисковые системы. Классификация. Методы реализации и методы ускорения поиска.

3. Базы данных. Основные понятия языков управления и манипулирования данными. Распределенные базы данных, активные базы данных, интегрированные базы данных.

4. Понятие о базе знаний, их использование в экспертных системах и системах логического вывода. Способы представления знаний.

5. Организация физического уровня баз данных. Методы индексирования и сжатия данных.

6. Использование баз данных в распределенном окружении. Многоопорная архитектура доступа к базе данных. Распределенные транзакции. Взаимодействие между SQL-серверами. Принципы репликации данных. Язык баз данных SQL. Средства управления и изменения схемы базы данных, определения ограничений целостности. Контроль доступа.

Список литературы (основной):

1. Кнут Д. Искусство программирования для ЭВМ. Основные алгоритмы. – М.: Мир, 1976.

2. Самарский А.А., Михайлов А.П. Математическое моделирование. – М.: Физматлит, 1997.

3. Дейт К.Дж. Введение в системы баз данных. – 8-е изд. – М.: Вильямс, 2005.

4. Янг М.Дж. Visual C++ 6. Полное руководство. – Издательская группа BHV, 2000.

5. Николас К. Разработка бизнес-приложений с помощью Java 2. – М.: Лори, 2002.

6. Непейвода Н.Н. Прикладная логика: Учеб. пособие. – 2-е изд. – Новосибирск: Изд-во Новосиб.

ун-та, 2000.

7. Непейвода Н.Н., Скопин И.Н. Основания программирования. – Москва–Ижевск: Ин-т компьютерных исследований, 2003.

8. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. – М.: Физматлит, 2004.

9. Тей А., Грибомон П., Луи Ж. Логический подход к искусственному интеллекту. – М.: Мир, 1990.

10. Буч Г. Объектно-ориентированный анализ и программирование. – М.: Бином, 2000.

11. Браун М., Ханникат Д. HTML 3.2 в подлиннике. – СПб.: Bhv-Санкт-Петербург, 1998.

12. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. – М.: МЦМНО, 2000.

Список литературы (дополнительный):

1. Штокингер Х. Определение понятия грид: фиксируем точку зрения экспертов. – URL:

http://www.gridclub.ru/library/publication.2006-10-06.2791255951/view.

2. Фостер Я., Кессельман К., Тьюке С. Анатомия грид: создание масштабируемых виртуальных организаций. – URL: http://www.gridclub.ru/library/publication.2004-11-29.7104738919/view.

3. Фостер Я., Кессельман К., Ник Д.М., Тьюке С. Физиология грид: открытая архитектура гридслужб для интеграции распределенных систем. – URL: http://www.gridclub.ru/library/ publication.2004-11-29.8307957187/view.

4. Барский А.Б. Параллельные информационные технологии в основе Grid-системы // Информационные технологии. – 2006. – № 12. – С. 54–60.





Похожие работы:

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ Ректор Член-корреспондент РАО Л.В. Федякина ПРОГРАММА ВСТУПИТЕЛЬНОГО ИСПЫТАНИЯ ПО НАПРАВЛЕНИЮ ПОДГОТОВКИ: 39.06.01 СОЦИОЛОГИЧЕСКИЕ НАУКИ ПРОФИЛЬ: ТЕОРИЯ, МЕТОДОЛОГИЯ И ИСТОРИЯ СОЦИОЛОГИИ Москва 2014 1. СОДЕРЖАНИЕ ПРОГРАММЫ Тема 1. Институализация социологии как науки Возникновение и становление социальных знаний: истоки социальных знаний (политической науки, науки о праве,...»

«ДЕПАРТАМЕНТ ОБРАЗОВАНИЯ И НАУКИ БРЯНСКОЙ ОБЛАСТИ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ КОМАРИЧСКИЙ МЕХАНИКО – ТЕХНОЛОГИЧЕСКИЙ ТЕХНИКУМ Утверждаю зам. директора по УПР _Ю.А. Юшкова _ _ 2013 г. РАБОЧАЯ ПРОГРАММА ПРОИЗВОДСТВЕННОЙ ПРАКТИКИ ОРГАНИЗАЦИЯ ПРОЦЕССА ПРИГОТОВЛЕНИЯ И ПРИГОТОВЛЕНИЕ ПОЛУФАБРИКАТОВ ДЛЯ СЛОЖНОЙ КУЛИНАРНОЙ ПРОДУКЦИИ Рассмотрена и одобрена на заседании методического объединения спецдисциплин протокол № от 2013г Председатель...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования ПЕРМСКИЙ ГОСУДАРСТВЕННЫЙ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ Утверждаю: Принято: Декан историко-политологического факультета Ученым Советом _ Кирьянов И.К. историко-политологического (подпись) факультета _ _ 2012 г. Протокол № 6 от 20.06.2012 г. Кафедра политических наук ПРОГРАММА вступительного экзамена по специальности 23.00.02...»

«Вестник Томского государственного университета. Биология. 2012. № 4 (20). С. 171–184 УДК 630*18:583.47(235.222) Е.Е. Тимошок, С.Н. Скороходов, Е.Н. Тимошок Институт мониторинга климатических и экологических систем СО РАН (г. Томск) ЭКОЛОГО-ЦЕНОТИЧЕСКАя хАРАКТЕРИСТИКА КЕДРА СИБИРСКОГО (Pinus sibirica Du Tour) НА ВЕРхНЕЙ ГРАНИЦЕ ЕГО РАСПРОСТРАНЕНИя В ЦЕНТРАЛЬНОМ АЛТАЕ Работа выполнена при поддержке СО РАН (программа YII.63.1.) и проекта Президиума РАН № 4. Показаны эколого-ценотические...»

«УТВЕРЖДЕНО ФФиСН, профессор факультета А. В.РУБАНОВ 25 апреля 2013 г. Регистрационный № УД-708/р. ФЕНОМЕН ГЛОБАЛИЗАЦИИ В РАКУРСЕ СОЦИАЛЬНОЙ ФИЛОСОФИИ Учебная программа для специальности 1-21 02 01 философия Факультет философии и социальных наук Кафедра философии и методологии науки Курс: 3 Семестр: 6 Экзамен: 6 семестр Лекции: 16 часов Семинарские занятия: 14 часов Самостоятельная работа: 40 часов Всего аудиторных часов по дисциплине: Форма получения высшего Всего часов по дисциплине: 74...»

«ПРОФИЛАКТИКА ВИЧ ИНФЕКЦИИ СРЕДИ ПОТРЕБИТЕЛЕЙ ИНЪЕКЦИОННЫХ НАРКОТИКОВ Практическое руководство Москва 2006 В работе над данным документом принимали участие: – Васильева Н. В. – директор Открытого Института Здоровья, г. Москва – Бобрик А. В. – заместитель директора Открытого Института Здоровья, г. Москва – Летягина В. А. – программный менеджер Открытого Института Здоровья, г. Москва – Бадриева Л. И. – зав. отделом психо социального консультирования ВИЧ инфицированных и групп риска...»

«История развития предметноориентированных языков программирования Власовских А. С. Кафедра автоматики и вычислительной техники Санкт-Петербургский государственный политехнический университет vlasovskikh@aivt.ftk.spbstu.ru Эта статья была зачтена как реферат по истории науки в рамках кандидатского экзамена по истории философии науки и техники на кафедре философии Санкт-Петербургского государственного политехнического университета. Cтатья доступна на условиях лицензии Creative Commons...»

«МУНИЦИПАЛЬНОЕ БЮДЖЕТНОЕ ОБЩЕОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ СРЕДНЯЯ ОБЩЕОБРАЗОВАТЕЛЬНАЯ ШКОЛА №121 ГОРОДСКОГО ОКРУГА САМАРА УТВЕРЖДАЮ Директор муниципального бюджетного общеобразовательного учреждения средней общеобразовательной школы № 121 городского округа Самара _ Т. В. Моргунова Приказ № / ОД от 2013 г УЧЕБНЫЙ ПЛАН муниципального бюджетного общеобразовательного учреждения средней общеобразовательной школы № 121 городского округа Самара на 2013-2014 учебный год г. Самара - Пояснительная записка...»

«Государственное образовательное учреждение высшего профессионального образования Липецкий государственный технический университет Экономический факультет УТВЕРЖДАЮ Декан ЭФ Московцев В.В.. _2011 г. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ ЭКОНОМИКА ТРУДА Направление подготовки: 080100.62 Экономика Профиль подготовки: Экономика предприятий и организаций; Квалификация (степень) выпускника: бакалавр Форма обучения: очная Составитель: к.э.н., доцент кафедры экономической теории Титова О.В.) Рабочая программа...»

«Белорусский государственный университет УТВЕРЖДАЮ Проректор по учебной работе Белорусского государственного университета А.Л. Толстик 01 _февраля 2012 г. Регистрационный № УД - 5083/уч. Биохимия растений Учебная программа для специальности: 1-31 01 01 Биология специализаций 1-31 01 01-01 03 Физиология растений и 1-31 01 01-02 03 Физиология растений 2012 г. 2 СОСТАВИТЕЛЬ: Галина Григорьевна Филипцова, доцент кафедры физиологии и биохимии растений Белорусского государственного университета,...»

«Белорусский государственный университет УТВЕРЖДАЮ Ректор Белорусского государственного университета С.В. Абламейко (подпись) (дата утверждения) Регистрационный № УД- Учебная программа по дополнительному экзамену для поступающих в магистратуру (дополнительный экзамен) по специальности 1-23 80 03 Психология 2013 г. СОСТАВИТЕЛИ: Фролова Ю.Г. доцент кафедры психологии Белорусского государственного университета, кандидат психологических наук, доцент. Фурманов И.А. – профессор кафедры психологии...»

«приказом Минобразования РФ от 25 марта 2003 г. № 1154; Устав АОНО ВПО Институт менеджмента, маркетинга и финансов. • 3. Виды практик 3.1. Практика студентов является составной частью основной образовательной программы высшего профессионального образования. 3.2. Основными видами практик студентов, обучающихся по основным образовательным программам высшего профессионального образования, являются: • учебная; • производственная, включая преддипломную практику. 3.3. Учебная практика может включать в...»

«1 Раздел I. Пояснительная записка. Настоящая рабочая программа составлена на основе следующих нормативных документов: Стандарт основного общего образования по истории 2004 г. 1. Авторская программа А.А.Данилова История. Россия в XIX веке 2. (Программы общеобразовательных учреждений. История. 6 - 9 классы. М.: Просвещение, 2010), программа общеобразовательных учреждений. История. Обществознание 5-11 классы. Изд. Просвещение, 2008- Новейшая история зарубежных стран. XX – начала XXI в., 9 класс...»

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ Проректор по учебной работе А.В. Данильченко (подпись) _ 2013 г. Регистрационный № УД-_/ УЧЕБНАЯ ПРОГРАММА экзамена для поступающих в магистратуру по дисциплине Политология (основной экзамен) для специальности: 1-23 80 07 “Политология” Минск 2013 СОСТАВИТЕЛИ: С.В. Решетников - заведующий кафедрой политологии юридического факультета БГУ, доктор политических наук, профессор РЕКОМЕНДОВАНА К УТВЕРЖДЕНИЮ: Кафедрой политологии юридического факультета...»

«УДК 376.2 + 37.037 НАУЧНОЕ ОБОСНОВАНИЕ АВТОРСКОЙ ФИЗКУЛЬТУРНООЗДОРОВИТЕЛЬНОЙ ПРОГРАММЫ ДЛЯ ПОДРОСТКОВ, ИМЕЮЩИХ ОТКЛОНЕНИЯ В СОСТОЯНИИ ЗДОРОВЬЯ Е.А. Киселёва – кандидат педагогических наук, доцент П.Ю. Матвеева – студентка Камская государственная академия физической культуры спорта и туризма Набережные Челны AUTHOR’S PHYSICAL SANITARY PROGRAM SCIENCE BASIS FOR DEVIATED HEALTH PEOPLE E.A. Kiseleva – Ph.D., associate professor P.U. Matveeva – student Kama State Academy of Physical Culture, Sport...»

«ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Томский государственный университет систем управления и радиоэлектроники (ТУСУР) УТВЕРЖДАЮ Проректор по учебной работе Л.А. Боков “_“_ 2009 г. Рабочая программа по курсу “Волоконная оптика (по выбору)” Направление подготовки бакалавров 200600 ФОТОНИКА И ОПТОИНФОРМАТИКА Факультет – Электронной техники Кафедра - ЭП Курс - четвертый Семестр – 8 (зачет) Распределение учебного времени Лекции - 39 часов Лабораторные занятия - 13 часов Самостоятельная работа - 28...»

«РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ НЕФТИ и ГАЗА имени И.М. Губкина Утверждена проректором по научной работе проф. А.В. Мурадовым 31 марта 2014 года ПРОГРАММА вступительного испытания по направлению 27.06.01 - Управление в технических системах для поступающих в аспирантуру РГУ нефти и газа имени И.М. Губкина в 2014/2015 уч. году Москва 2014 Программа вступительного испытания по направлению 27.06.01 - Управление в технических системах разработана на основании требований, установленных...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего профессионального образования МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГЕОДЕЗИИ И КАРТОГРАФИИ (МИИГАиК) УТВЕРЖДАЮ Ректор МИИГАиК А.А. Майоров _ _2014 г. ПРОГРАММА вступительного испытания в аспирантуру по специальности 25.00.32 – Геодезия МОСКВА 2014 Программа вступительного экзамена в аспирантуру по специальности Геодезия рассчитана на выпускника высшего учебного...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Сыктывкарский лесной институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования Санкт-Петербургский государственный лесотехнический университет имени С. М. Кирова Кафедра автоматизации технологических процессов и производств Системы автоматического управления Учебно-методический комплекс по дисциплине для студентов специальностей 220301 Автоматизация технологических процессов...»

«ПРОГРАММА вступительного экзамена в магистратуру по направлению 46.04.02 Документоведение и архивоведение (заочная форма обучения) Пояснительная записка Данная программа предназначена для подготовки к вступительному экзамену в магистратуру по направлению 46.04.02 Документоведение и архивоведение. Программа вступительных экзаменов в магистратуру сформирована на основе действующего стандарта подготовки бакалавров по направлению 46.04.02 Документоведение и архивоведение и включает ключевые вопросы...»






 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.