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

Лектор: чл.-корр. РАН Алексей Львович Семёнов
2010/2011
Кафедра математической логики и теории алгоритмов

• Материалы (pdf)

  • Лекция 1: слайды, конспект

  • Лекция 2: слайды, конспект

  • Лекция 3: слайды, конспект

  • Лекция 4: слайды, конспект

  • Лекция 5: слайды, конспект

  • Лекция 6: слайды, конспект

  • Лекция 7: слайды, конспект

  • Лекция 8: слайды

  • Лекция 9: слайды

  • Лекция 10: слайды, конспект

  • Лекция 11: слайды, конспект

  • Лекция 12: слайды, конспект

  • Лекция 13: слайды

  • Лекция 14: слайды

  • Программа курса

  • Список вопросов

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

1. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1971. — 320 с.

2. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. — М.: Физматлит, 2002. — 128 с.

3. Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.: УРСС, 2004. — 240 с.

4. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — 3-е изд. — М.: Физматлит, 1995. — 256 с.

5. Клини С. К. Математическая логика. — М.: Мир, 1973. — 480 с.

6. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. — М.: МЦНМО, 2000. — 288 с. ftp://ftp.mccme.ru/users/shen/logic/firstord/

7. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — М.: МЦНМО, 1999. — 176 с. ftp://ftp.mccme.ru/users/shen/logic/comput/

8. Лавров И. А. Математическая логика. — М.: Академия, 2006. — 240 с.

9. Крупский В. Н., Плиско В. Е. Теория алгоритмов. — М.: Академия, 2009. — 208 с.

Адрес: http://lpcs.math.msu.su/vml2011/
Изменения внесены 18.06.2011.