Распечатать страницу
Главная \ База готовых работ \ Готовые работы по компьютерным дисциплинам \ Технологии проектирования и администрирования баз данных и хранилищ данных \ 2424. Лекция №1 - Логическое программирование и аксиоматические системы
Лекция №1 - Логическое программирование и аксиоматические системы
« Назад
Код роботи: 2424
Вид роботи: Лекція
Предмет: Технології проектування і адміністрування баз даних і сховищ даних (Технологии проектирования и администрирования баз данных и хранилищ данных)
Тема: №1, Логическое программирование и аксиоматические системы
Кількість сторінок: 12
Дата виконання: 2015
Мова написання: російська
Ціна: 100 грн
1. Общие положения
2. Автоматизация доказательства в логике предикатов
2.1. История вопроса
2.2. Скулемовские стандартные формы
2.3. Метод резолюций в исчислении высказываний
2.4. Правило унификации в логике предикатов
2.5. Метод резолюций в исчислении предикатов