Содержание
- 2. Для чего нужна алгебра предикатов?
- 3. Основные понятия
- 4. ТЗ: привести примеры предикатов а,б),в) на множестве 1)людей 2)чисел
- 6. Равносильность и следование предикатов
- 7. ТЗ: доказать теоремы 18.6,18.7,18.8
- 8. Логические операции над предикатами
- 10. ТЗ: Сформулировать правила получения множества истинности для Отрицания, конъюнкции и дизъюнкции предикатов
- 12. Кванторные операции над предикатами
- 19. Скачать презентацию