Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Ответы на экзамен A4.pdf
X
- •1. Предмет и задачи науки логики. Логика и мышление. Логические парадоксы. Силлогизмы.
- •2. Основные этапы развития логики. Классическая и современная логики.
- •3. Понятие математической логики. Ее место и роль среди других наук.
- •4. Понятие формализации. Алфавиты, слова, языки.
- •5. Формальные теории: определение, построение.
- •6. Вывод в формальной теории. Интерпретация, полнота и непротиворечивость формальной теории.
- •7. Алгебра высказываний. Пропозициональные формулы.
- •8. Интерпретация, тавтология, противоречие. Логическое следование и логическая эквивалентность.
- •10. Законы логики.
- •9. Удаление и восстановление скобок в ПФ
- •11. Понятие теоремы. Основная теорема логического вывода и ее доказательство.
- •12. Основная теорема логического вывода
- •13. !!! Ошибочные доказательства и парадоксы.
- •14. Дедуктивные и индуктивные доказательства. Примеры индуктивных доказательств.
- •15. Силлогизмы с точки зрения формальной теории.
- •16. Формальная теория для исчисления высказываний.
- •17. Метод резолюций в логике высказываний.
- •18. Синтаксис и семантика языка логики предикатов. Формулы логики предикатов.
- •19. Ограниченные предикаты
- •20. Метод резолюций в логике предикатов
- •21. Формальная теория для исчисления предикатов
- •22. !!! Диаграммы Венна (Эйлера) и их использованиие.
- •23. Формальная арифметика. Непротиворечивость формальной арифметики. Теорема Генцена.
- •24. Неклассические логики: модальная, темпоральная, нечеткая.
- •25. Логическое программирование.
- •26. Теорема Геделя о неполноте и суть ее доказательства.
- •27. Понятие алгоритма. Свойства алгоритмов. Способы записи алгоритмов.
- •28. Сложность алгоритма. Оценки сложности: двусторонняя, односторонняя. Классификация алгоритмов по сложности.
- •29. Классы сложности P, NP. Трудно решаемые задачи и способы их решения
- •30. Понятие алгоритмической системы. Понятие вычислимости.
- •31. Частично-рекурсивные функции. Тезис Черча.
- •33. Машина Тьюринга: определение, построение, использование. Тезис Тьюринга.
- •34. !!! Примеры использования машины Тьюринга.
- •35. !!! Задачи, не решаемые компьютерами. Тест Тьюринга для систем искусственного интеллекта.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]