«Помогите сдать тест по предмету Математическая логика и теория алгоритмов»

Сдать тест по дистанционному обучению за 45 минут, 15 вопросов.

По дисциплине «Математическая логика и теория алгоритмов» Вопросы по разделу «Математическая логика».

1. Понятие высказывания и логического следствия. Интерпретация высказываний, совместная интерпретация высказываний.
2. Основные логические операции.
3. Формулы логики высказываний. Понятие контрпримера.
4. Табличный способ доказательства формул логики высказываний.
5. Тавтология и противоречие в логике высказываний.
6. Основные равносильности в логике высказываний.
7. Совершенная коньюктивная нормальная форма и ее свойства.
8. Совершенная дизьюнктивная нормальная форма и ее свойства.
9. Булевы функции от одного и двух аргументов.
10. Понятие предиката. Множество истинности предиката.
11. Логические операции над предикатами.
12. Кванторы в логике предикатов.
13. Ограниченные кванторы. Сведение ограниченных кванторов к неограниченным.
14. Формулы логики предикатов.
15. Основные равносильности в логике предикатов.
16. Проблема разрешимости в логике предикатов.
17. Понятие алгоритма. Основные свойства алгоритмов.
18. Машина Тьюринга.
19. Правила построения таблиц в логике предикатов.
20. Правило существования и правило всеобщности в логике предикатов.
21. Формализация в логике высказываний и в логике предикатов. 2 Вопросы по разделу «Теория алгоритмов».
22. Нормальные алгоритмы Маркова.
23. Разрешимость и перечислимость множеств.
24. Неразрешимые алгоритмические проблемы.
25. Теорема Геделя о неполноте формальной арифметики и ее следствия.
26. Аксиоматический метод в математике и аксиоматические теории.
27. Независимость системы аксиом формализованного исчисления высказываний.
28. Формальные аксиоматические теории.
29. Алгоритмическая логика Ч.Хоара.
30. Булевы функции и их применение к релейно – контактным схемам.
31. Булевы функции и их применение в теории распознавания образов.
32. Машины Тьюринга и современные ЭВМ.
33. Вычислимые функции. Универсальная вычислимая по Тьюрингу функция.
34. Рекурсивные функции, функции Аккермана, общерекурсивные и частично рекурсивные функции.
35. Математическая логика и программное обеспечение компьютера.
36. От математической логики к логическому программированию (на примере языка ПРОЛОГ).
37. Применение компьютеров для доказательства теорем математической логики.
38. Применение математической логики к разработке баз данных.
39. Математическая логика и системы искусственного интеллекта.
40. Применение математической логики к верификации программного обеспечения ЭВМ.
41. Применение логики предикатов. Методы рассуждений. Аристотелева силлогистика.
42. Современные тенденции развития математической логики. Основы нечеткой логики.