ЛОГИЧЕСКО ПРОГРАМИРАНЕ
ЗАПИСКИ
от проф. Димитър Скордев
СЪДЪРЖАНИЕ
Предвидено е при използване на коя да е от препратките от
списъка по-долу съответният на нея текст от записките да
бъде показан в нов прозорец без да се затвори настоящият.
Preface
Technical Information
Встъпителни бележки
Префиксни изрази над дадено множество от думи
Сигнатури, структури, термове, атомарни формули
Хорнови цели, хорнови клаузи, хорнови програми
Ербранови структури и разширени ербранови структури
Субституции
Частни случаи на терм, атомарна формула, цел, клауза. Умножение на субституции
Минимални ербранови модели
Минимални разширени ербранови модели
Литерали и дизюнкти
Резолюция
Хорнови дизюнкти
Унификатори и унифицируемост
Решаване на системи от уравнения между термове
Варианти и преименуване на променливи
Резолвенти на хорнови цели и хорнови клаузи
Пълнота на резолюцията между хорнови цели и хорнови клаузи
Пропадащи цели
Дърво на търсенето за дадена цел. Успяващи цели
Логически формули и тяхната семантика. Логически формули, свързани с хорнови програми и хорнови цели
Безкванторни формули. Универсални формули
Преименуване на свързани променливи. Представяне на формули в пренексен вид
Скулемизация
Основни дефиниции на понятия от математическата логика
Последно изменение: 30.05.2001 г.