Кафедра математической логики и теории алгоритмов

Введение в математическую логику и теорию алгоритмов 2019-2020 (Беклемишев)

Лектор: академик РАН, профессор
Лев Дмитриевич Беклемишев

Встреча

Л.Д. Беклемишев проведет ряд консультаций по курсу
«Введение в математическую логику и теорию алгоритмов»
онлайн через систему Zoom.
Даты консультаций: 12, 15, 19, 23 января.
Начало в 11:00 утра.
Ближайшая онлайн-консультация в режиме конференции Zoom:
Тема: Консультация
Время: 23 янв 2020 11:00

Экзамен

 

 

    • Расписание экзаменов зимней сессии по данному курсу (начало экзамена в 10:00):
      Дата Аудитория Группы (преп.)
      ПН 13 января 438 206 (Золин)
      439 210 (Крупский)
      ВТ 14 января 407 208 (Плиско)
      ЧТ 16 января 428 203 (Яворская)
      211 (Крупский)
      212 (Золин)
      ПТ 17 января 406 209 (Яворская)
      СБ 18 января 406 201 (Плиско)
      ПН 20 января 407 204 (Яворская)
      ПТ 24 января 14-08 (ГЗ) 202 (Плиско)
      205 (Крупский)
      207 (Плиско)

Лекции

 

Семинары

Расписание

(лекция каждую неделю; семинары — 1 раз в две недели)

 

Верхняя неделя Нижняя неделя
ПН 13:15 Золин 212 (ауд. 406)
ВТ 9:00–10:35 Лекция (проф. Беклемишев) ауд. П11 (гр. 201–212)
15:00 Яворская 204 (ауд. 405)
15:00 Крупский 205 (ауд. 406)
16:45 Крупский 210 (ауд. 454)16:45 Факультатив (ауд. 429)		 10:45 Яворская 209 (ауд. 406)
15:00 Яворская 203 (ауд. 405)
16:45 Крупский 211 (ауд. 445)
СР 10:45 Золин 206 (ауд. 467)
ЧТ   9:00 Плиско 207 (ауд. 439)
10:45 Плиско 201 (ауд. 433)		   9:00 Плиско 208 (ауд. 439)

16:45 Факультатив (ауд. 429)
ПТ 09:00 Плиско 202 (ауд. 404)
Недели:
02 сентября — 08 сентября
16 сентября — 22 сентября
30 сентября — 06 октября
14 октября — 20 октября
28 октября — 03 ноября
11 ноября — 17 ноября
25 ноября — 01 декабря
09 декабря — 15 декабря		 09 сентября — 15 сентября
23 сентября — 29 сентября
07 октября — 13 октября
21 октября — 27 октября
04 ноября — 10 ноября
18 ноября — 24 ноября
02 декабря — 08 декабря
16 декабря — 22 декабря

Факультатив (просеминар)

Для равномерного распределения студентов группы разбиваются следующим образом:
• факультатив ВТ 16:45 (верхняя неделя): группы 202, 203, 208, 209, 211, 212.
• факультатив ЧТ 16:45 (нижняя  неделя): группы 201, 204, 205, 206, 207, 210.
Занятия образуют пары: в четверг (нижняя неделя) и следующий за ним вторник (верхняя) — одна и та же тема.

Описание: В дополнение к семинарам будут проводиться дополнительные (факультативные) занятия в жанре просеминара 1 раз в две недели (как и семинары). На них сотрудники кафедры будут рассказывать о темах, не затронутых в курсе, о направлениях исследований, которыми занимаются они и которыми могут заниматься студенты, выбрав нашу кафедру (в конце 2-го курса).

Вторая половина занятия обычно будет отведена решению задач. В конце занятия будет даваться короткий тест-пятиминутка. Накопленные результаты этих тестов будут учитываться и приведут к бонусам при сдаче экзамена (повышению оценки вплоть до 1 балла).

Цель — познакомить студентов с различными гранями «Математической логики и теории алгоритмов», которые не освещаются (или мало освещены) в базовом курсе лекций, дать представление о том, чем занимается тот или иной сотрудник кафедры, с тем чтобы студенты имели больше возможностей для выбора направления исследований и научного руководителя.

Информацию о направлениях исследований, ведущихся на кафедре, и возможных научных руководителях вы можете также найти на доске кафедры, которая размещена на 16-м этаже в лифтовом холле, а также на этой и этой страницах.

Темы факультатива:

 

 

 

 

 

 

Видеоматериалы по темам курса

Рекомендуемая литература