МЛиТА (ФКТИ) 2021 #3

Лекция по математической логике и теории алгоритмов для студентов ФКТИ. Начало 6 марта в 11:40. Темы: минимизация ДНФ (карты Карно, метод Quine - McCluskey), КНФ, метод резолюций. Конспект: https://drive.google.com/file/d/1VLs1tchWse1zh_w9i_CCQ2fjEMu5fuIM/view?usp=sharing