Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА

ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА

Содержание
10.1. Краткое введение в исчисление предикатов
10.2. Приведение формул к стандартной форме
10.3. Форма записи дизъюнктов
10.4. Принцип резолюций и доказательство теорем
10.6. Пролог
10.7. Пролог и логическое программирование
Оглавление статьи/книги
Похожие страницы

Генерация: 0.065. Запросов К БД/Cache: 0 / 0
поделиться
Вверх Вниз