МЛиТА 2024 #14

Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 18 мая в 18:00. Тема: лямбда-исчисление.
Конспект: drive.google.com/file/d/1aBJY...