Логика предикатов. Лекция 8

Слайд 2

Для чего нужна алгебра предикатов?

Для чего нужна алгебра предикатов?

Слайд 3

Основные понятия

Основные понятия

Слайд 4

ТЗ: привести примеры предикатов а,б),в) на множестве 1)людей
2)чисел

ТЗ: привести примеры предикатов а,б),в) на множестве 1)людей 2)чисел

Слайд 6

Равносильность и следование предикатов

Равносильность и следование предикатов

Слайд 7

ТЗ: доказать теоремы 18.6,18.7,18.8

ТЗ: доказать теоремы 18.6,18.7,18.8

Слайд 8

Логические операции над предикатами

Логические операции над предикатами

Слайд 10

ТЗ: Сформулировать правила получения множества истинности для
Отрицания, конъюнкции и дизъюнкции предикатов

ТЗ: Сформулировать правила получения множества истинности для Отрицания, конъюнкции и дизъюнкции предикатов

Слайд 12

Кванторные операции над предикатами

Кванторные операции над предикатами
Имя файла: Логика-предикатов.-Лекция-8.pptx
Количество просмотров: 33
Количество скачиваний: 0