Предмет: Математична логіка
Початок 8 грудня о 12:00, тривалість контрольної поки невідома, приблизно 1 год.
Буде тестовий варіант, попередньо розвʼязків не потрібно, лише відповіді
Мені потрібна онлайн допомога в написанні контрольної роботи, ось теми:
1. Основні означення пропозиційної логіки
2. Закони пропозиційної логіки, нормальні формули
3. Логічні виведення у пропозиційній логіці
4. Предикати, квантори, формули логіки першого порядку
5. Закори логіки першого порядку, логічний наслідок
6. Правила вивдення в логіці першого порядку, нормальні формули
7. Ербранівський універсум множини диз‘юнктів
8. Семантичні дерева, теорме Ербрана
9. Метод резолюцій у пропозиційній логіці, підстановка та уніфікація
10. Метод резолюції у логіці першого порядку
11. Застосування методу резолюції у логіці першого порядку
12. Числення висловлень
13. Чеслення предикатів
14. Інтуїціоністська логіка, нечітні підмножини і нечітка логіка
Теми можуть бути не зрозумілі, за потребою надішлю файл з лекції, розвʼязки з пар
