Лекція №2 - Основи аксіоматичних систем та числення предикатів

« Назад

Код роботи: 1708

Вид роботи: Лекція

Предмет: Методи та засоби подання знань

Тема: №2, Основи аксіоматичних систем та числення предикатів

Кількість сторінок: 69

Дата виконання: 2017

Мова написання: українська

Ціна: 350 грн

1. Силогістика Аристотеля

2. Принципи побудови формальних теорій

3. Числення предикатів

3.1. Логiка предикатiв

3.2. Квантори

3.3. Формули. Рiвносильнiсть формул. Тотожно iстиннi формули

3.4. Числення предикатiв. Теорiя першого порядку

3.5. Застосування логiки предикатiв