МЛиТА 2024 #8
Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 6 апреля в 17:10. Тема: метод резолюций в исчислении предикатов, формальное исчисление предикатов.
Конспект: drive.google.com/file/d/1aBJY...
Лекция по математической логике и теории алгоритмов для студентов 22.Б11-12. Начало 6 апреля в 17:10. Тема: метод резолюций в исчислении предикатов, формальное исчисление предикатов.
Конспект: drive.google.com/file/d/1aBJY...
Пікірлер