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

Механико-математического факультета МГУ


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

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

Встреча

(new) Встреча кафедры
со студентами 2 курса:16 марта (понедельник)
в 16:45 в ауд. 13-06 (ГЗ)

Пересдачи

(new) Даты пересдач по курсу логики для 2 курса:
четверг 13 и 20 января, 05 февраля, в 16:45, в ауд. 13-11.

Консультации

Л.Д. Беклемишев проведет ряд консультаций по курсу
«Введение в математическую логику и теорию алгоритмов»
онлайн через систему Zoom.
Даты консультаций: 12, 15, 19, 23 января.
Начало в 11:00 утра.Ближайшая онлайн-консультация в режиме конференции Zoom:
Тема: Консультация
Время: 23 янв 2020 11:00 AM Москва
Подключиться к конференции Zoom:
https://zoom.us/j/538495567
Идентификатор конференции: 538 495 567

Экзамен

 

 

    • Расписание экзаменов зимней сессии по данному курсу (начало экзамена в 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-м этаже в лифтовом холле, а также на этой и этой страницах.

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

 

 

 

 

 

 

  • 12.09 (ЧТ) и 17.09 (ВТ): акад. Алексей Львович Семёнов (заведующий кафедрой).
    Тема: «Выразимость одних свойств через другие». [ слайды (pdf) | материалы (pdf)]

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


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

(почти все книги доступны в Сети в электронном виде)

  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 с.