Введение в математическую логику и теорию алгоритмов (семинары)
мех-мат ф-т, 2-й курс, осень 2017 года, с.н.с. Е.Е.Золин



Внимание! Конспекты лекций В.Б.Шехтмана прошлого (2016) года выложены тут.

Семинары, осенний семестр 2017 года:
  1. 2017.09.06: Семинар № 1: [ pdf (screen) | pdf (paper A4) ]
  2. 2017.09.20: Семинар № 2: [ pdf (screen) | pdf (paper A4) ]
  3. 2017.10.04: Семинар № 3: [ pdf (screen) | pdf (paper A4) ]
  4. 2017.10.18: Семинар № 4: [ pdf (screen) | pdf (paper A4) ]
  5. 2017.11.01: Семинар № 5: [ pdf (screen) | pdf (paper A4) ]
  6. 2017.11.15: Семинар № 6: [ pdf (screen) | pdf (paper A4) ]
  7. 2017.12.05: Семинар № 7: [ pdf (screen) | pdf (paper A4) ]
  8. 2017.12.13: Семинар № 8: [ pdf (screen) | pdf (paper A4) ]

Литература

  1. Крупский В.Н., Плиско В.Е . Математическая логика и теория алгоритмов, Москва, Изд. центр «Академия», 2013. (наиболее близко к семинарам)
  2. Верещагин Н.К., Шень А.Х. Языки и исчисления, 4-е издание, Москва, МЦНМО, 2012. [доступно в сети: pdf ]
  3. Верещагин Н.К., Шень А.Х. Вычислимые функции, 4-е издание, Москва, МЦНМО, 2012. [доступно в сети: pdf ]
  4. Успенский В.А. Лекции о вычислимых функциях, Москва, Физматгиз, 1960. [доступно в сети]
  5. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов, 5-е издание, Москва, Физматлит, 2004. [доступно в сети] (можно пользоваться и более ранними изданиями)
  6. Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики, 2-е издание. Москва, Физматлит, 2004 г. [доступно в сети]
  7. Подольский В.В. «Вычислимые функции. Перечислимые и разрешимые множества», конспект. [ pdf + pdf ]