О  Б  Ъ  Я   В  Л  Е  Н  И  Е

     

Механико-математический факультет Московского Государственного Университета им. М.В.Ломоносова

открывает в 2000/2001 учебном году прием лиц с высшим образованием на

Двухгодичное дополнительное к высшему образование 

по специальности "Теоретические основы информатики"

(обучение платное)
 

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

  

Выпускники смогут участвовать в современных высокотехнологичных компьютерных проектах, работать над проблемами создания суперкомпиляторов различных языков программирования, эффективных реализаций нестандартных семантик, искусственного интеллекта и кластерных технологий.
 
Лекции и семинарские занятия проводят сотрудники мех-мата, Центра новых информационных технологий, Центра телекоммуникаций и технологий Интернет и других подразделений МГУ, а также Института прикладной математики им. М.В. Келдыша РАН и Института программных систем РАН, в том числе профессора механико-математического факультета МГУ:
академик РАН Н.С. Бахвалов;
чл.-корр. РАН О.Б.Лупанов;
В.А. Артамонов,
В.Б. Кудрявцев,
В.Н. Латышев,
А.В. Михалев,
В.А. Успенский,
директор Исследовательского центра мультипроцессорных систем ИПС РАН   С.М.Абрамов,
начальник отдела ИПМ им. М.В. Келдыша РАН    В.С. Штаркман.
 
По ряду специальных разделов программы предусмотрено международное сотрудничество с ведущими научными коллективами, работающими в этой области, в частности, тематика курсовых и дипломных работ будет связана с крупными международными проектами, в том числе:
 
  • проект "Суперкомпиляция", - профессор В.Ф.Турчин (Нью-Йорк) и
  • проект "Разработка и освоение в серийном производстве семейства высокопроизводительных вычислительных систем с параллельной архитектурой (суперкомпьютеров) и создание прикладных программно-аппаратных комплексов на их основе", - С.М.Абрамов (ИПС РАН), В.А. Васенин (ЦТиТИ МГУ).
Предполагаются стипендии для слушателей, проявивших склонности к работе в данных направлениях.
 
Принимаются лица, имеющие диплом о высшем образовании и студенты старших курсов МГУ.
Предусмотрено сочетание дневной и вечерней формы обучения с использованием технологий дистанционного образования.
Начало занятий 15 октября 2000 г.
Проведение собеседований с 1.10.2000 г.
Собеседования проводятся по математике, программированию и иностранному языку.
Иногородним предоставляется общежитие МГУ, как на время проведения собеседования, так и на срок обучения.
Заявления принимаются в ауд. 1305 или 1218 ГЗ МГУ.
Справки по тел. (7+095)-939-39-57 (Панкратьев Евгений Васильевич, Чеповский Андрей Михайлович).
Адрес электронной почты для справок и предварительной подачи заявлений: bfchep@supercompilers.com
Почтовый адрес: 119899, Москва, Воробьевы горы, МГУ, механико-математический факультет, лаборатория вычислительных методов (ауд. 12-18)
 

Программа обучения
Циклы:

  • ОБЩИЕ ГУМАНИТАРНЫЕ И СОЦИАЛЬНО ЭКОНОМИЧЕСКИЕ ДИСЦИПЛИНЫ.
  • ОБЩИЕ МАТЕМАТИЧЕСКИЕ НАУКИ.
  • ПРОГРАММИРОВАНИЕ.
  • КОМПЬЮТЕРНЫЕ НАУКИ.
 

ОБЩИЕ ГУМАНИТАРНЫЕ И СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЕ ДИСЦИПЛИНЫ:
1. Кибернетические методы в науке (Кибернетические основы естествознания).
2. Иностранный язык.

  ОБЩИЕ МАТЕМАТИЧЕСКИЕ ДИСЦИПЛИНЫ:
1. Математическая логика.
2. Алгебра.
3. Дискретная математика.
4. Теория формальных языков.
5. Теории алгоритмов и сложности вычислений.
6. Теория информации и смежные вопросы.
7. Численные методы.

ПРОГРАММИРОВАНИЕ:
1. Низкоуровневое программирование.
2. Объектно-ориентированные программирование и проектирование.
3. Основы операционных систем.
4. Теория компиляции.
5. Сетевые технологии.
6. Обработка текстовой информации

КОМПЬЮТЕРНЫЕ НАУКИ:
1. Теория метавычислений.
2. Применения метавычислений.
3. Суперкомпиляция.
4. Алгоритмы компьютерной алгебры.
5. Теория информационных систем.
6. Логическое программирование.
7. Функциональное программирование..
8. Параллельные вычисления и кластерные технологии
 

ДОПОЛНИТЕЛЬНЫЕ ЦИКЛЫ ДЛЯ СПЕЦИАЛИЗАЦИИ "МЕНЕДЖЕРЫ ПРОЕКТОВ ПО РАЗРАБОТКЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ"
 

ОСНОВЫ КОМПЬЮТЕРНЫХ НАУК
1. Введение в теорию метавычислений.
2. Теория информационных систем.
3. Логическое и функциональное программирование.
4. Параллельные вычисления и кластерные технологии.
УПРАВЛЕНИЕ ПРОЕКТАМИ ПО РАЗРАБОТКЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

1.Основы экономических знаний.
2. Общий менеджмент.
3. Методология управления разработками.
4. Анализ и проектирование программных комплексов.
5. Инструментальные средства для анализа и проектирования информационных систем.
6. Офисные технологии.
7. Тестирование программных систем.