Проверка логического следования методом резолюции - курсовая работа (Теория) по программному обеспечению, программированию

 

Тезисы:

  • Итак, рассмотрим алгоритм проверки логического следования методом резолюции.
  • Алгоритм проверка логический резолюция.
  • Метод резолюции можно применить к любому множеству дизъюнктов, чтобы проверить их противоречивость.
  • Рисунок 1 - Пример доказательства теоремы методом резолюции.
  • Его реализация будет представлена па логическом языке Prolog и на функциональном языке Haskell.
  • Для начала необходимо рассмотреть принцип резолюции.
  • Для начала определим операцию логического отрицания.
  • Первая функция нужна для проверки, являются ли атомы контрарными.
  • Итак, теперь перейдем к проверке.
  • ? - pusk ([[a, s, $b, $c] , [$a, b] , [$s, c]]) .

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные курсовые работы (теория) по программному обеспечению, программированию