Алгоритмы и теория вычислений

Метод резолюций в исчислении высказываний и исчислении предикатов

Показывать лекцию целиком
Вернуться к учебному плану