ВУЗ:
Составители:
Рубрика:
78
16.
Теорема о функциональной полноте.
17.
Определение и свойства функциональной полноты и
замкнутости. Замыкание.
18.
Общие принципы построения формальной в теории
исчисления высказываний.
19.
Алгоритм преобразования формул в предваренную
нормальную форму.
20.
Метод резолюций для исчисления высказываний.
21.
Алгоритм унификации.
22.
Класс функций T
0
. Определение и доказательство
замкнутости.
23.
Класс функций T
1
. Определение и доказательство
замкнутости.
24.
Класс функций S. Определение и лемма о
несамодвойственной функции.
25.
Класс функций M. Определение и лемма о немонотонной
функции.
26.
Класс функций L. Определение и лемма о нелинейной
функции.
27.
Понятие предиката, квантора, алфавита и формулы.
28.
Интерпретация формул при исчислении предикатов.
29.
Понятие скулемовской стандартной формы.
30.
Предваренная нормальная форма.
31.
Метод резолюций для исчисления высказываний.
32.
Сравнительный анализ предикатов и высказываний.
Примеры.
33.
Понятие унификатора, склейки и резольвенты в
исчислении предикатов.
34.
Теоремы о логическом следствии.
35.
Алгоритм преобразования формул в предваренную
нормальную форму.
36.
Теорема о функциональной полноте.
11. Материально-техническое обеспечение дисциплины и
перечень используемого программного обеспечения.
Не предусмотрено.
