Рет қаралды 10
Oleg Vladimirovich
Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 11 мая в 17:10. Темы: частичная рекурсивность вычислимых по Тьюрингу функций; нормальные алгоримфы Маркова.Конспект: drive.google.com/file/d/1aBJY...