- 1. Высказывания и логические операции над ними
- 2. Формулы логики высказываний и их классификация
- 3. Общезначимые формулы
- 4. Логическое следование
- 5. Равносильность формул
- 6. Нормальные формы для формул алгебры высказываний
- 7. Формализованное исчисление высказываний
- 8. Теорема о дедукции
- 9. Полнота, непротиворечивость и разрешимость исчисления высказываний
- 10. Предикаты и их классификация.
- 11. Логические и кванторные операции над предикатами
- 12. Формулы логики предикатов и их классификация
- 13. Равносильность и логическое следование формул логики предикатов
- 14. Формализованное исчисление предикатов
- 15. Классическая логика и клаузальная логика
- 16. Логическое программирование. Клаузы Хорна и метод резолюций
- 17. Модальная логика
- 18. Нечеткая логика
- 19. Темпоральная логика
- 20. Задачи и алгоритмы. Свойства алгоритма.
- 21. Машина Тьюринга
- 22. Рекурсивные функции
- 23. Нормальные алгоритмы Маркова
- 24. Алгоритмически неразрешимые проблемы
Прикрепленные файлы: |
|
|---|---|
|
Администрация сайта не рекомендует использовать бесплатные работы для сдачи преподавателю. Эти работы могут не пройти проверку на уникальность. Узнайте стоимость уникальной работы, заполните форму ниже: Узнать стоимость |
|
Скачать файлы: |
|
|
|