МЛиТА 2024 #13

Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 11 мая в 17:10. Темы: частичная рекурсивность вычислимых по Тьюрингу функций; нормальные алгоримфы Маркова. Конспект: https://drive.google.com/file/d/1aBJYoNOsKuq41N-tnmSAefCTniFGB54V/view?usp=drive_link