Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 20 апреля в 17:10. Темы: непротиворечивость, полнота и неполнота исчисления предикатов, машина Тьюринга. Конспект:
