Рет қаралды 74
Oleg Vladimirovich
Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 9 марта в 17:10. Тема: метод резолюций в исчислении высказываний; другая аксиоматика ИВ.Конспект: drive.google.c...