СППМ

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
 
(8 промежуточных версий не показаны.)
Строка 18: Строка 18:
| 4. || 6 апреля, 12:50, 14:35 || П-14 || Математическое моделирование в научных исследованиях
| 4. || 6 апреля, 12:50, 14:35 || П-14 || Математическое моделирование в научных исследованиях
|-
|-
-
| 5. || 13, 20 апреля, 16:20 || П-14 || Математическое моделирование в гуманитарных науках
+
| 5. || 13, 20 апреля, 16:20 || П-14 || [[СППМ/ММ@гум|Математическое моделирование в гуманитарных науках]]
|-
|-
| 6. || 14 апреля, 16:20, 18:00 || П-14 || Современные проблемы теории игр и исследования операций
| 6. || 14 апреля, 16:20, 18:00 || П-14 || Современные проблемы теории игр и исследования операций
Строка 27: Строка 27:
|-
|-
| 9. || 13 апреля, 12:50, 14:35 || П-14 || Математические проблемах криптологии (защиты информации)
| 9. || 13 апреля, 12:50, 14:35 || П-14 || Математические проблемах криптологии (защиты информации)
 +
|-
 +
| 10. || 30 марта, 8, 10 апреля; 16:20 || П-5 || Мини-курс кафедры вычислительных технологий и моделирования
|}
|}
Строка 33: Строка 35:
{|
{|
!rowspan="2" style="background-color:#D0D0D0"|пн
!rowspan="2" style="background-color:#D0D0D0"|пн
-
!colspan="3" style="background-color:#D0D0D0"|март
+
!colspan="4" style="background-color:#D0D0D0"|март
!colspan="4" style="background-color:#D0D0D0"|апрель
!colspan="4" style="background-color:#D0D0D0"|апрель
|-
|-
 +
!style="background-color:#E0E0E0; width:3em"|9
!style="background-color:#E0E0E0; width:3em"|16
!style="background-color:#E0E0E0; width:3em"|16
-
!style="background-color:#F0F0F0; width:3em"|23
+
!style="background-color:#E0E0E0; width:3em"|23
-
!style="background-color:#F0F0F0; width:3em"|30
+
!style="background-color:#E0E0E0; width:3em"|30
-
!style="background-color:#F0F0F0; width:3em"|6
+
!style="background-color:#E0E0E0; width:3em"|6
-
!style="background-color:#F0F0F0; width:3em"|13
+
!style="background-color:#E0E0E0; width:3em"|13
!style="background-color:#F0F0F0; width:3em"|20
!style="background-color:#F0F0F0; width:3em"|20
!style="background-color:#F0F0F0; width:3em"|27
!style="background-color:#F0F0F0; width:3em"|27
Строка 46: Строка 49:
!3 пара (12:50—14:25)
!3 пара (12:50—14:25)
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|style="background-color:#FFFFD0"|4
|style="background-color:#FFFFD0"|4
|style="background-color:#D0D0FF"|9
|style="background-color:#D0D0FF"|9
Строка 54: Строка 58:
|-
|-
!4 пара (14:35—16:10)
!4 пара (14:35—16:10)
 +
|style="background-color:#F0F0F0"|
|style="background-color:#E0FFFF"|[[СППМ/ЧУМ, 01 лекция (от 16 марта)|2]]
|style="background-color:#E0FFFF"|[[СППМ/ЧУМ, 01 лекция (от 16 марта)|2]]
|style="background-color:#E0FFFF"|[[СППМ/ЧУМ, 02 лекция (от 23 марта)|2]]
|style="background-color:#E0FFFF"|[[СППМ/ЧУМ, 02 лекция (от 23 марта)|2]]
Строка 63: Строка 68:
|-
|-
!5 пара (16:20—17:55)
!5 пара (16:20—17:55)
 +
|style="background-color:#F0F0F0"|
|style="background-color:#E0E0FF"|[[СППМ/ММРБЗ, 01 лекция (от 16 марта)|1]]
|style="background-color:#E0E0FF"|[[СППМ/ММРБЗ, 01 лекция (от 16 марта)|1]]
|style="background-color:#E0E0FF"|[[СППМ/ММРБЗ, 02 лекция (от 23 марта)|1]]
|style="background-color:#E0E0FF"|[[СППМ/ММРБЗ, 02 лекция (от 23 марта)|1]]
 +
|style="background-color:#FFE0D0"|10
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#E0FFD0"|[[СППМ/ММ@гум, 01 лекция (от 13 апреля)|5]]
 +
|style="background-color:#E0FFD0"|5
|
|
 +
|-
 +
!6 пара (18:00—19:35)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
-
|style="background-color:#E0FFD0"|5
+
|
-
|style="background-color:#E0FFD0"|5
+
|-
 +
!rowspan="2" style="background-color:#D0D0D0"|вт
 +
!colspan="4" style="background-color:#D0D0D0"|март
 +
!colspan="4" style="background-color:#D0D0D0"|апрель
 +
|-
 +
!style="background-color:#E0E0E0"|10
 +
!style="background-color:#E0E0E0"|17
 +
!style="background-color:#E0E0E0"|24
 +
!style="background-color:#E0E0E0"|31
 +
!style="background-color:#E0E0E0"|7
 +
!style="background-color:#E0E0E0"|14
 +
!style="background-color:#F0F0F0"|21
 +
!style="background-color:#F0F0F0"|28
 +
|-
 +
!3 пара (12:50—14:25)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|
 +
|
 +
|-
 +
!4 пара (14:35—16:10)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|
 +
|
 +
|-
 +
!5 пара (16:20—17:55)
 +
|style="background-color:#FFE0FF"|3
 +
|style="background-color:#FFE0FF"|3
 +
|style="background-color:#FFE0FF"|3
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0E0FF"|6
 +
|style="background-color:#FFD0E0"|8
|
|
|-
|-
!6 пара (18:00—19:35)
!6 пара (18:00—19:35)
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0E0FF"|6
 +
|style="background-color:#FFD0E0"|8
|
|
 +
|-
 +
!rowspan="2" style="background-color:#D0D0D0"|ср
 +
!colspan="3" style="background-color:#D0D0D0"|март
 +
!colspan="5" style="background-color:#D0D0D0"|апрель
 +
|-
 +
!style="background-color:#E0E0E0"|11
 +
!style="background-color:#E0E0E0"|18
 +
!style="background-color:#E0E0E0"|25
 +
!style="background-color:#E0E0E0"|1
 +
!style="background-color:#E0E0E0"|8
 +
!style="background-color:#E0E0E0"|15
 +
!style="background-color:#F0F0F0"|22
 +
!style="background-color:#F0F0F0"|29
 +
|-
 +
!3 пара (12:50—14:25)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
 +
|-
 +
!4 пара (14:35—16:10)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
 +
|
 +
|-
 +
!5 пара (16:20—17:55)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#FFE0D0"|10
 +
|style="background-color:#F0F0F0"|
|
|
|
|
|-
|-
-
!rowspan="2" style="background-color:#D0D0D0"|вт
+
!6 пара (18:00—19:35)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|
 +
|
 +
|-
 +
!rowspan="2" style="background-color:#D0D0D0"|пт
!colspan="3" style="background-color:#D0D0D0"|март
!colspan="3" style="background-color:#D0D0D0"|март
!colspan="4" style="background-color:#D0D0D0"|апрель
!colspan="4" style="background-color:#D0D0D0"|апрель
 +
!colspan="1" style="background-color:#D0D0D0"|май
|-
|-
 +
!style="background-color:#E0E0E0"|13
 +
!style="background-color:#E0E0E0"|20
 +
!style="background-color:#E0E0E0"|27
 +
!style="background-color:#E0E0E0"|3
!style="background-color:#E0E0E0"|10
!style="background-color:#E0E0E0"|10
-
!style="background-color:#E0E0E0"|17
+
!style="background-color:#F0F0F0"|17
!style="background-color:#F0F0F0"|24
!style="background-color:#F0F0F0"|24
!style="background-color:#F0F0F0"|1
!style="background-color:#F0F0F0"|1
-
!style="background-color:#F0F0F0"|7
 
-
!style="background-color:#F0F0F0"|14
 
-
!style="background-color:#F0F0F0"|21
 
|-
|-
!3 пара (12:50—14:25)
!3 пара (12:50—14:25)
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 104: Строка 220:
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 111: Строка 228:
|-
|-
!5 пара (16:20—17:55)
!5 пара (16:20—17:55)
-
|style="background-color:#FFE0FF"|3
+
|style="background-color:#F0F0F0"|
-
|style="background-color:#FFE0FF"|3
+
|style="background-color:#F0F0F0"|
-
|style="background-color:#FFE0FF"|3
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#FFE0D0"|10
 +
|
|
|
|
|
-
|style="background-color:#F0E0FF"|6
 
-
|style="background-color:#FFD0E0"|8
 
|-
|-
!6 пара (18:00—19:35)
!6 пара (18:00—19:35)
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
Строка 125: Строка 246:
|
|
|
|
-
|style="background-color:#F0E0FF"|6
 
-
|style="background-color:#FFD0E0"|8
 
|-
|-
!rowspan="2" style="background-color:#D0D0D0"|сб
!rowspan="2" style="background-color:#D0D0D0"|сб
!colspan="3" style="background-color:#D0D0D0"|март
!colspan="3" style="background-color:#D0D0D0"|март
!colspan="4" style="background-color:#D0D0D0"|апрель
!colspan="4" style="background-color:#D0D0D0"|апрель
 +
!colspan="1" style="background-color:#D0D0D0"|май
|-
|-
!style="background-color:#E0E0E0"|14
!style="background-color:#E0E0E0"|14
!style="background-color:#E0E0E0"|21
!style="background-color:#E0E0E0"|21
-
!style="background-color:#F0F0F0"|28
+
!style="background-color:#E0E0E0"|28
-
!style="background-color:#F0F0F0"|4
+
!style="background-color:#E0E0E0"|4
-
!style="background-color:#F0F0F0"|11
+
!style="background-color:#E0E0E0"|11
!style="background-color:#F0F0F0"|18
!style="background-color:#F0F0F0"|18
!style="background-color:#F0F0F0"|25
!style="background-color:#F0F0F0"|25
 +
!style="background-color:#F0F0F0"|2
|-
|-
!3 пара (12:15—13:50)
!3 пара (12:15—13:50)
Строка 144: Строка 265:
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 01 лекция (от 21 марта)|7]]
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 01 лекция (от 21 марта)|7]]
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 02 лекция (от 28 марта)|7]]
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 02 лекция (от 28 марта)|7]]
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 152: Строка 274:
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 161: Строка 284:
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 170: Строка 294:
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
 +
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 200: Строка 325:
** ''Лекция 2. «Вычислительные нанотехнологии».'' Лекция посвящена вычислительным аспектам, возникающим при создании устройств нано-размеров. Основной акцент ставится на описании многомасштабных моделей для описания систем частиц от квантового уровня до моделирования молекулярной динамики и сплошной среды. Приводятся основные методы, положенные в основу современных пакетов параллельных программ, реализованных в мире на суперкомпьютерах в мире для изучения и проектирования нано-систем.
** ''Лекция 2. «Вычислительные нанотехнологии».'' Лекция посвящена вычислительным аспектам, возникающим при создании устройств нано-размеров. Основной акцент ставится на описании многомасштабных моделей для описания систем частиц от квантового уровня до моделирования молекулярной динамики и сплошной среды. Приводятся основные методы, положенные в основу современных пакетов параллельных программ, реализованных в мире на суперкомпьютерах в мире для изучения и проектирования нано-систем.
-
=== Математическое моделирование в гуманитарных науках ===
+
=== [[СППМ/ММ@гум|Математическое моделирование в гуманитарных науках]] ===
* '''Объём''': 4 часа
* '''Объём''': 4 часа
* '''Кафедра''': вычислительных методов
* '''Кафедра''': вычислительных методов

Текущая версия

Содержание

[править] Современные проблемы прикладной математики

Сводный курс.

[править] Расписание мини-курсов

Дата, время Место Название курса
1. 16, 23 марта, 16:20 П-14 Математические методы решения биометрических задач
2. 16, 23, 30 марта, 14:35 П-14 Некоторые проблемы теории ЧУМ
3. 10, 17, 24 марта, 16:20 П-14 Динамические системы и модели биологии
4. 6 апреля, 12:50, 14:35 П-14 Математическое моделирование в научных исследованиях
5. 13, 20 апреля, 16:20 П-14 Математическое моделирование в гуманитарных науках
6. 14 апреля, 16:20, 18:00 П-14 Современные проблемы теории игр и исследования операций
7. 21, 28 марта, 12:15 П-8а Систематизация терминологии
8. 21 апреля, 16:20, 18:00 П-14 Прикладная алгебраическая динамика
9. 13 апреля, 12:50, 14:35 П-14 Математические проблемах криптологии (защиты информации)
10. 30 марта, 8, 10 апреля; 16:20 П-5 Мини-курс кафедры вычислительных технологий и моделирования

Расписание:

пн март апрель
9 16 23 30 6 13 20 27
3 пара (12:50—14:25) 4 9
4 пара (14:35—16:10) 2 2 2 4 9
5 пара (16:20—17:55) 1 1 10 5 5
6 пара (18:00—19:35)
вт март апрель
10 17 24 31 7 14 21 28
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 3 3 3 6 8
6 пара (18:00—19:35) 6 8
ср март апрель
11 18 25 1 8 15 22 29
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 10
6 пара (18:00—19:35)
пт март апрель май
13 20 27 3 10 17 24 1
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 10
6 пара (18:00—19:35)
сб март апрель май
14 21 28 4 11 18 25 2
3 пара (12:15—13:50) 7 7
4 пара (14:35—16:10)
5 пара (16:20—17:55)
6 пара (18:00—19:35)

[править] Математические методы решения биометрических задач

  • Объём: 4 часа
  • Кафедра: кафедра математической физики
  • Лектор: к. ф.-м. н., доцент А. С. Крылов
  • Программа курса:
    • Лекция 1. Линейные методы и регуляризующий метод нелинейного адаптивного повышения разрешения изображений. Метод суперразрешения получения изображения высокого разрешения по набору изображений низкого разрешения. Применения для повышения разрешения изображения лица на видео
    • Лекция 2. Задача распознавания человека по изображению радужной оболочки глаза. Этапы предобработки изображений глаз. параметризация на основе проекционного методы обращения преобразования Фурье. Проблемы реальной практической реализации метода
  • Материалы курса будут выложены на сайте лаборатории математических методов обработки изображений кафедры математической физики: http://imaging.cs.msu.su


[править] Некоторые проблемы теории ЧУМ

  • Объём: 6 часов
  • Кафедра: методов математического прогнозирования
  • Лектор: к. ф.-м. н., доцент С. И. Гуров
  • Программа курса: излагается материал по частично упорядоченным (ч. у.) множествам, мало освещённый в отечественной математической литературе и, как правило, отсутствующий в традиционных курсах математических дисциплин (кроме очень узкоспециальных). Вводятся операции, которые могут производиться над ч. у. множествами и рассматриваются важные понятия полуидеала, размера и замыкания Дедекинда-Макнилла ч. у. множеств. Изучается практически важное понятие размерности, основанное на теоремах Шпильрайна-Дашника-Миллера и Оре. Представлены результаты по данной тематике, полученные в последнее время (как правило, зарубежными исследователями и не опубликованные на русском языке). Отмечаются нерешённые проблемы теории. Обсуждаются вопросы несводимости ч. у. множеств в связи с т. н. «проблемой В. Д. Ногина»


[править] Динамические системы и модели биологии

  • Объём: 6 часов
  • Кафедра: системного анализа
  • Лектор: профессор Александр Сергеевич Братусь
  • Отчетность: посещения + реферат
  • Программа курса:
    1. Модели численности популяций (логистический рост, закон Гомперца, эффект Олли, гиперболический рост популяции населения Земли). Линейная скорость роста, как марковская цепь с непрерывным временем и дискретными состояниями. Дискретные модели. Теорема Шарковского. Модель взаимодействия загрязнения и окружающей среды. Модель вспышки численности
    2. Математические модели взаимодейстивя популяций. Модель «хищник-жертва». Модель конкуренции. Биологические осцилляторы. Модели распределения эпидемии и терапии.
    3. Модель предбиологической эволюции. Теория квазивидов М. Эйгена. Эволюция гиперциклов.

[править] Математическое моделирование в научных исследованиях

  • Объём: 4 часа
  • Кафедра: автоматизации научных исследований
  • Лектор: зав. каф. АНИ, чл.-корр. РАН Д. П. Костомаров (Лекция 1), проф. А. М. Попов (Лекция 2)
  • Программа курса:
    • Лекция 1. Математическое моделирование в задачах управляемого синтеза. Будет представлена история развития идей в проблеме управляемого термоядерного синтеза. Показана роль разработки вычислительных моделей в теоретическом анализе и предсказании удержания и нагрева плазмы в установках управляемого термоядерного синтеза.
    • Лекция 2. «Вычислительные нанотехнологии». Лекция посвящена вычислительным аспектам, возникающим при создании устройств нано-размеров. Основной акцент ставится на описании многомасштабных моделей для описания систем частиц от квантового уровня до моделирования молекулярной динамики и сплошной среды. Приводятся основные методы, положенные в основу современных пакетов параллельных программ, реализованных в мире на суперкомпьютерах в мире для изучения и проектирования нано-систем.

[править] Математическое моделирование в гуманитарных науках

  • Объём: 4 часа
  • Кафедра: вычислительных методов
  • Лектор: д. ф.-м. н., проф. А. П. Михайлов
  • Программа курса:
    • Лекция 1. Особенности математического моделирования процессов с участием «человеческого фактора». Простейшие модели социологии
    • Лекция 2. Некоторые сложные модели социологии и политологии — модель выбора позиции социальной общностью, модель системы «Власть—Общество»

[править] Современные проблемы теории игр и исследования операций

  • Объём: 4 часа
  • Кафедра: исследования операций
  • Лектор: д. ф.-м. н., проф. А. А. Васин
  • Отчетность: реферат
  • Программа курса:
    • Лекция 1. Модели организации государственных инспекций и борьбы с коррупцией. Рассматривается ряд задач оптимальной организации бюджетопополняющих и правоохранительных инспекций: выбор проверяемых для первичного и повторного аудита, зарплаты и премии инспекторов на различных уровнях, общее число уровней и иерархии. В каждом случае поределяется оптимальная стратегия организации инспекции в зависимости от параметров.
    • Лекция 2. Эволюционная теория игр и экономика. Рассматриваются основные понятия и наиболее важные приложения эволюционной теории игр в области моделирования экономического поведения. Обсуждаются модели формирования целевых функций, или эволюции предпочтений, а также модели распространения кооперации и альтруизма. Выясняются особенности эволюции социального поведения в сравнении с поведением в биологических популяциях. В этом контексте обсуждаются современные демографические проблемы и взаимодействие крупных корпораций с национальными государствами.

[править] Систематизация терминологии

  • Объём: 4 часа
  • Кафедра: кафедра алгоритмических языков
  • Лектор: д. ф.-м. н., профессор Словьёв Сергей Юрьевич (mailto:soloviev@jscc.ru)
  • Форма отчётности: [www.park.glossary.ru/reports.htm реферат]
  • Программа курса:
    • Лекция 1. Систематизация терминологии
      • Наука «Терминоведение»
      • Словари, глоссарии, энциклопедии
      • Служба тематических толковых словарей
      • Универсальное терминологическое пространство
      • Технология формирования технологического пространства
      • Свойства терминологического пространства
      • Интернет-проект универсальной системы терминологии
      • «Интеллектуальные» преобразования терминологических структур
    • Лекция 2. Системы поддержки творческой деятельности
      • Личные картотеки
      • Психологические механизмы ведения картотек
      • Архитектура систем поддержки творческой деятельности
      • Структуры данных для представления электронных картотек
      • Функциональное наполнение систем поддержки творческой деятельности



Современные проблемы прикладной математики
Математические методы решения биометрических задач 1 2
Некоторые проблемы теории ЧУМ 1 2 3
Систематизация терминологии 1 2


Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы