Лекции по дискретной математике. Математическая логика. Зарипова Э.Р - 4 стр.

UptoLike

Составители:

Рубрика:

Тема. Исчисление предикатов_______________________48

11. Понятие предиката. Кванторы. Алфавит.

Формулы. Интерпретация формул_________________________48

12. Предваренная нормальная форма. Алгоритм

преобразования формул в предваренную нормальную форму____52

13. Скулемовская стандартная форма. Подстановка и

унификация. Алгоритм унификации_________________________55

14. Метод резолюций в исчислении предикатов__________59

Учебно-методический комплекс по дисциплине

«Математическая логика»_______________________________63