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

Лекция по математической логике и теории алгоритмов для студентов ФКТИ. Начало 10 апреля в 17:20. Тема: метод резолюций в исчислении предикатов. Конспект: https://drive.google.com/file/d/1dtfx-bNYa9t01IiaGnl8pZsuNjsn_oPj/view?usp=sharing