Формулировка проблемы выполнимости SAT

374 просмотра · 10 л. назад

Irina Shoshmina

855 подписчиков

374 просмотра · 10 л. назад

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/