Лекция 8: Решение логических задач. Метод генерации и проверок

Подробности

Категория: Логическое программирование от НОУ ИНТУИТ

Генерация квадрата. Транспонирование матрицы. Метод ветвей и границ. Явный и неявный выбор. Наивная сортировка. Циклы.