На главную

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

Лекторы:

акад. РАН, проф. Лев Дмитриевич Беклемишев
(1-й поток, 201-206 группы, ауд. П11)

проф. Мати Рейнович Пентус
(2-й поток, 207-212 группы, ауд. П12)

(new)
Очередная лекция Л.Д. Беклемишева
в пятницу 23 октября, начало в 9:00
пройдет дистанционно через Zoom.
Ссылку для подключения можно
получить по электронной почте,
заполнив регистрационную форму.

Лекции

 YouTube: Видео лекций Беклемишева (осень 2020)


Разделы курса:
  1. Теория множеств (pdf)
  2. Логика высказываний
  3. Логика предикатов
  4. Теория алгоритмов
  5. Формальная арифметика, теоремы Гёделя о неполноте

 YouTube: Видео лекций Беклемишева (осень 2019)

Лекции других лет

Семинары

Расписание (старое! до 19 октября!)

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

 Верхняя неделяНижняя неделя
ПН 11:00 Красненкова 201 (ауд. 429)
11:00 Яворская 208 (ауд. 438)

17:45 Факультатив (ауд. 413)
11:00 Красненкова 202 (ауд. 406)
11:00 Яворская 207 (ауд. 436)

 
ВТ 11:00 Оноприенко 206 (ауд. 449)
 
16:00 Факультатив (ауд. 428)
11:00 Оноприенко 205 (ауд. 439)
15:45 Яворская 211 (ауд. 404)
 
СР  
13:45 Колмаков 204 (ауд. 448)
15:45 Золин 210 (ауд. 434)
13:45 Оноприенко 209 (ауд. 410)
13:45 Колмаков 203 (ауд. 447)
15:45 Золин 212 (ауд. 449)
ЧТ    
ПТ 9:00–12:35 Лекция (проф. Беклемишев) ауд. П11 (гр. 201–206)

11:00–10:35 Лекция (проф. Пентус) ауд. П12 (гр. 207–212)
Недели:
  01 сентября — 06 сентября
14 сентября — 20 сентября
28 сентября — 04 октября
12 октября — 18 октября
26 октября — 01 ноября
09 ноября — 15 ноября
23 ноября — 29 ноября
07 декабря — 13 декабря
07 сентября — 13 сентября
21 сентября — 27 сентября
05 октября — 11 октября
19 октября — 25 октября
02 ноября — 08 ноября
16 ноября — 22 ноября
30 ноября — 06 декабря
14 декабря — 20 декабря

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

Для равномерного распределения студентов группы разбиваются следующим образом:

•  ПН (верхняя неделя) 17:45–19:20: ауд. 413, 2-й поток.
•  ВТ (верхняя неделя) 15:45–17:20: ауд. 428, 1-й поток.

Занятия образуют пары: в ПН и ВТ одна и та же тема.
Разбиение нестрогое, можно переходить (но не массово).

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

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

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

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

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


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


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

(почти все книги доступны в Сети в электронном виде)
  1. Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. М.: Академия, 2013. 416 с.
  2. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.
    1. Часть 1. Начала теории множеств, издание 5-е, исправленное. М.: МЦНМО, 2017. 112 с. [PDF]
    2. Часть 2. Языки и исчисления, издание 5-е, исправленное. М.: МЦНМО, 2017. 240 с. [PDF]
    3. Часть 3. Вычислимые функции, издание 5-е, исправленное. М.: МЦНМО, 2017. 160 с. [PDF]
  3. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. 320 с.
  4. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. М.: Физматлит, 2002. 128 с.
  5. Колмогоров А. Н., Драгалин А. Г. Математическая логика. М.: УРСС, 2004. 240 с.
  6. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов, 3-е изд. М.: Физматлит, 1995. 256 с.
  7. Клини С. К. Математическая логика. М.: Мир, 1973. 480 с.
  8. Лавров И. А. Математическая логика. М.: Академия, 2006. 240 с.
  9. Крупский В. Н., Плиско В. Е. Теория алгоритмов. М.: Академия, 2009. 208 с.