МЛиТА (ФИИТ) 2021 #4

Лекция по математической логике и теории алгоритмов для студентов ФИИТ. Начало 15 марта в 9:30. Темы: разрешимость ИВ, независимость аксиом ИВ, метод резолюций, десять аксиом ИВ. Конспект: https://drive.google.com/file/d/1DB75UCnRIgC-UBUUHkGrNm_t138J0Feq/view?usp=sharing