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

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


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

 

 

    • 09.11 (ПН) и 10.11 (ВТ): аспиранты Илья Мещерин и Валерия Кирова
      и проф. Василий Александрович Любецкий
      Темы: «Случайные числа и абсолютно неразрешимые проблемы»
      и «Теория графов в биоинформатике»

 

 

 

 

Описание: В дополнение к семинарам будут проводиться дополнительные (факультативные) занятия в жанре просеминара 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 с.