И-21 Дискретная математика. Тема: Логика предикатов. Задание: Используя ресурсы Интернет, разработать электронную презентацию.. Понятие исчисления предикатов.. Понятие предиката.. Язык логики предикатов: обозначение предметных переменных( простые или собс

И-21 Дискретная математика

Тема: Логика предикатов

Задание: Используя ресурсы Интернет, разработать электронную презентацию.

План:

1. Понятие исчисления предикатов.

2. Понятие предиката.

3. Язык логики предикатов: обозначение предметных переменных( простые или собственные, сложные), обозначение предметных постоянных.

4. Что такое предикат-свойство, предикат-отношение, высказывание, тождественно - истинный предикат, тождественно- ложный предикат.

5. Кванторы.

Выполненное задание присылать на электронную почту

kozhevnikova.larisa@bk.ru