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