Главная
Лекции
Книги
Новый сайт!
Авторы: Нильсон Н.
Оглавление
- Введение
- Представление задач в пространстве состояний
- Методы поиска в пространстве состояний
- Представления, допускающие сведения задач к подзадачам
- Методы поиска при сведении задач к совокупности подзадач
- Доказательство теорем в исчислении предикатов
- Применения исчисления предикатов к решению задач
- Методы поиска доказательства в исчислении предикатов
