Дискретная математика 1 2016/2017 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Материалы курса)
Строка 71: Строка 71:
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw19_plus.pdf Занятие 19, пилотный поток]
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw19_plus.pdf Занятие 19, пилотный поток]
 
|-
 
|-
  ||  || [https://cloud.mail.ru/public/JhCR/ustS6z2BN Занятие 20, основной поток]
+
  ||  || [http://www.mi.ras.ru/~podolskii/files/20162017/cw20.pdf Занятие 20, основной поток]
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw20_plus.pdf Занятие 20, пилотный поток]
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw20_plus.pdf Занятие 20, пилотный поток]
 
|-
 
|-
  ||  || [https://cloud.mail.ru/public/4h3z/J98fPEc98 Занятие 21, основной поток]
+
  ||  || [http://www.mi.ras.ru/~podolskii/files/20162017/cw21.pdf Занятие 21, основной поток]
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw21_plus.pdf Занятие 21, пилотный поток]
 
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw21_plus.pdf Занятие 21, пилотный поток]
 
|-
 
|-
  ||  || [https://cloud.mail.ru/public/EaKs/xpuS8kYV2 Занятие 22, основной поток]
+
  || [http://www.mi.ras.ru/~podolskii/files/20162017/chapter16.pdf Машины Тьюринга]
||   
+
  || [http://www.mi.ras.ru/~podolskii/files/20162017/cw22.pdf Занятие 22, основной поток]
 +
||  [http://www.mi.ras.ru/~podolskii/files/20162017/cw22_plus.pdf Занятие 22, пилотный поток]
 
|}
 
|}
  

Версия 15:13, 2 марта 2017

Общая информация

Правила выставления оценок

Примерная программа курса пилотного потока

Материалы прошлых лет

Материалы 2014/2015 года

Материалы 2015/2016 года

Программы коллоквиумов

Программа коллоквиума 1, основной поток

Программа коллоквиума 1, пилотный поток

Материалы курса

Оглавление и предисловие черновика учебника

Черновик учебника Листок основного потока Листок пилотного потока
Индукция Занятие 1, основной поток Занятие 1, пилотный поток
Комбинаторика Занятие 2, основной поток Занятие 2, пилотный поток
Графы, числа, множества, логика Занятие 3, основной поток Занятие 3, пилотный поток
Занятие 4, основной поток Занятие 4, пилотный поток
Функции и отношения Занятие 5, основной поток Занятие 5, пилотный поток
Мощность множеств Занятие 6, основной поток Занятие 6, пилотный поток
Занятие 7, основной поток Занятие 7, пилотный поток
Отношения порядка Занятие 8, основной поток Занятие 8, пилотный поток
Занятие 9, основной поток Занятие 9, пилотный поток
Занятие 10, основной поток Занятие 10, пилотный поток
Вероятность Занятие 11, основной поток Занятие 11, пилотный поток
27.11.16: Уточнение в задаче 8 дз
Занятие 12, основной поток Занятие 12, пилотный поток
Занятие 13, основной поток Занятие 13, пилотный поток
Занятие 14, основной поток Занятие 14, пилотный поток
Занятие 15, основной поток Занятие 15, пилотный поток
Комбинаторные игры

Занятие 16, основной поток

Занятие 16, пилотный поток
Разрешающие деревья

Занятие 17, основной поток

Занятие 17, пилотный поток
Булевы схемы и формулы

Занятие 18, основной поток

Занятие 18, пилотный поток
Вычислимость

Занятие 19, основной поток

Занятие 19, пилотный поток
Занятие 20, основной поток Занятие 20, пилотный поток
Занятие 21, основной поток Занятие 21, пилотный поток
Машины Тьюринга Занятие 22, основной поток Занятие 22, пилотный поток

Преподаватели и учебные ассистенты

Группа БПМИ161 БПМИ162 БПМИ163 БПМИ164 БПМИ165 БПМИ166 БПМИ167 БПМИ168
Лектор Владимир Владимирович Подольский Дмитрий Александрович Шварц
Семинарист Александр Александрович Рубцов Владимир Владимирович Подольский Дмитрий Александрович Шварц Дмитрий Александрович Шварц Александр Александрович Рубцов Евгений Владимирович Дашков Евгений Владимирович Дашков Евгений Владимирович Дашков
Ассистент Данила Кутенин Андрей Стороженко Алексей Калинов Анастасия Иовлева Екатерина Минеева Ксения Закирова Алина Жукова Евгений Гончаров

Расписание консультаций и присутственных часов

Преподаватель/ассистент понедельник вторник среда четверг пятница
1
Владимир Владимирович Подольский 16:40–18:00, каб. 511
2
Дмитрий Александрович Шварц 16:40–18:00, каб. 219
3
Александр Александрович Рубцов 16:50–18:00, каб. 617
4
Евгений Владимирович Дашков 16:40–18:00, каб. 618
5
Данила Кутенин
6
Андрей Стороженко 16:40–18:00, каб. 310
7
Алексей Калинов
8
Анастасия Иовлева 16:40–18:00, каб. 302
9
Екатерина Минеева 13:40–15:00, каб. 313
10 Ксения Закирова
11 Илья Думанский
12 Евгений Гончаров
13 Bruno Bauwens, защита д/з in English 11:00–18:00, каб. 620