Введение в математическую логику и теорию алгоритмов 2015-2016 (Семенов)

Лектор: Академик РАН Алексей Львович Семенов
Осень 2015 года

• Материалы:
  1. Лекция 01: слайды
  2. Лекция 02: слайды
  3. Лекция 03: слайды
  4. Лекция 04: слайды
  5. Лекция 05: слайды
  6. Лекция 06: слайды
  7. Лекция 07: слайды
  8. Лекция 08: слайды
  9. Лекция 09: слайды
  10. Лекция 10: слайды
  11. Лекция 11: слайды
  12. Лекция 12: слайды
  13. Лекция 13: слайды
  14. Лекция 14: слайды
  15. Лекция 15: слайды
  16. Лекция 16: слайды
• Программа курса
• Семинары (В.Н.Крупский)
• Семинары (С.Л.Кузнецов)

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