На главную

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

Лектор: чл.-корр. РАН, профессор
Лев Дмитриевич Беклемишев
(осень 2019 года)

Расписание

(лекция каждую неделю; семинары — 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 Плиско    207 (ауд. 447)

16:45 Факультатив (ауд. 429)
10:45 Яворская 209 (ауд. 406)
15:00 Яворская 203 (ауд. 405)
16:45 Крупский 211 (ауд. 445)
16:45 Плиско    208 (ауд. 447)
 
 
СР 10:45 Золин 206 (ауд. 434) 
ЧТ 15:00 Плиско 201 (ауд. 406)
 
 
15:00 Плиско 202 (ауд. 406)
 
16:45 Факультатив (ауд. 429)
Недели:
  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 декабря

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

Первое занятие:
12 сентября (четверг) (для одних групп) и
17 сентября (вторник) (для других), см. ниже распределение групп.
Первое занятие ведёт акад. Алексей Львович Семёнов (заведующий кафедрой).
Тема первого занятия: «Выразимость одних свойств через другие».

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

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

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

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

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


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


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

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