ЛОГИЧЕСКО ПРОГРАМИРАНЕ

ЗАПИСКИ

(без най-старата версия)

от проф. Димитър Скордев


 

СЪДЪРЖАНИЕ

 
Най-нова версия

  1. Уводен пример
  2. Осигуряване на еднозначен прочит с помощта на скоби и разделители
  3. Функции и предикати в дадено множество
  4. Сигнатури и структури
  5. Променливи и оценки на променливите
  6. Термове и атомарни формули на предикатното смятане
  7. Семантика на термовете и атомарните формули
  8. Променливи на терм и на атомарна формула
  9. Затворени термове и атомарни формули
  10. Субституции
  11. Умножение на субституции
  12. Оператори за присвояване, съответни на субституция
  13. Субституции, удовлетворяващи дадено множество от атомарни формули в дадена структура
  14. Хорнови програми
  15. SLD-резолюция
  16. Преименуващи субституции. Варианти на положителна хорнова клауза
  17. Унификация на атомарни формули и нейното свеждане до решаване на системи от уравнения между термове
  18. Явно нерешими системи и системи в решен вид
  19. Решаване на системи от уравнения между термове
  20. Резултатност на метода, чрез който се търси решение на система от уравнения между термове
  21. Най-общ унификатор на две атомарни формули
  22. Най-обща резолвента на хорново запитване и положителна хорнова клауза
  23. Търсене на отговор с помощта на най-общи резолвенти
  24. Ербранови структури
  25. Изводимост на затворена атомарна формула чрез логическа програма. Минимален ербранов модел
  26. Теорема за пълнота на SLD-резолюцията
  27. Пропадащи и успяващи хорнови запитвания при дадена хорнова програма
  28. Литерали и дизюнкти
  29. Прилагане на субституция към литерал и към дизюнкт
  30. Метод на резолюцията за множества от дизюнкти
  31. Свеждане на въпроса за съществуване на модел за множество от дизюнкти към същия въпрос за множество от затворени дизюнкти
  32. Теорема за компактност за множества от затворени дизюнкти
  33. Метод на Дейвис и Пътнам
  34. Пълнота на метода на резолюцията
  35. Формули на предикатното смятане
  36. Семантика на формулите
  37. Свободни променливи на формула
  38. Затворени формули
  39. Тъждествена вярност и изпълнимост на формули
  40. Конюнкции и дизюнкции с произволен ненулев краен брой членове
  41. Модели за множество от формули
  42. Прилагане на субституция към безкванторна формула
  43. Представяне на безкванторна формула чрез крайно множество от дизюнкти
  44. Еквивалентни формули
  45. Импликация и еквиваленция
  46. Пренексни формули
  47. Заместване на променлива с терм в пренексна формула
  48. Преименуване на свързана променлива на пренексна формула
  49. Привеждане на формули в пренексен вид
  50. Скулемизация
  51. Теорема на Ербран

 
Предишна най-нова версия (незавършена)

        .   .   .
        .   .   .
        .   .   .
        .   .   .
        .   .   .

 
Текстове от междинна версия

        .   .   .
        .   .   .
        .   .   .

 

Последно изменение: 4.06.2010 г.

000webhost logo