Питання до іспиту з курсу

Теорія алгоритмів та математична логіка.

Питання, що потребують доведення.

1. Метатеорема дедукції в численні висловлювань та її
застосування.
2. Тотожна істинність теорем числення висловлювань.
Несуперечливість числення висловлювань.
3. Довести, що для будь-якої інтерпретації І має місце a I , bI , c I , … ⊢ F I
. Довести, що кожна тавтологія числення висловлювань є
теоремою.
4. Метатеорема дедукції в численні предикатів.
5. Тотожна істинність теорем числення предикатів.
Несуперечливість числення предикатів.
6. Теорії першого порядку. Поняття моделі теорії першого порядку,
приклади. Незалежність аксіом. Теорема про спосіб доведення
незалежності аксіом (з доведенням).
7. Лема про несуперечливе розширення теорії, шляхом приєднання
формули до списку аксіом. Поняття повної теорії. Лема
Лінденбаума.
8. Довести, що будь-яка тотожно-істинна формула довільної теорії
першого порядку с теоремою. Теорема К. Гьоделя про повноту
числення предикатів.
9. Оператор обмеженої мінімізації та його застосування. Довести
що обмежена мінімізація примітивно-рекурсивні функції
переводить в примітивно-рекурсивні.

Інші питання.

10. Формальні мови, основні поняття.

11. Числення висловлювань як формальна мова. Синтаксис та
семантика.
12. Числення предикатів, як формальна мова. Синтаксис та
семантика.
13. Пренексна нормальна форма.
14. Формальні теорії. Поняття формального виводу, теореми, моделі
теорії. Несуперечливість теорії. Розширення теорій.
15. Числення висловлювань, як формальна, теорія.
16. Довести, що в численні висловлювань має місце ⊢ F → F .
17. Метатеорема дедукції в численні висловлювань та її
застосування.
18. Тотожна істинність теорем числення висловлювань.
Несуперечливість числення висловлювань.
19. Довести, що для будь-якої інтерпретації І має місце a I , bI , c I , … ⊢ F I
.
20. Довести, що кожна тавтологія числення висловлювань є
теоремою. Наслідок для числення предикатів.
21. Числення предикатів, як формальна, теорія.
22. Метатеорема дедукції в численні предикатів.
23. Тотожна істинність теорем числення предикатів.
Несуперечливість числення предикатів.
24. Теорії першого порядку. Поняття моделі теорії першого порядку,
приклади. Незалежність аксіом, способи доведення незалежності.
25. Лема про несуперечливе розширення теорії, шляхом приєднання
формули до списку аксіом.
26. Поняття повної теорії. Лема Лінденбаума.
27. Теорема про існування зліченної моделі несуперечливої теорії
першого порядку.
28. Довести, що будь-яка тотожно-істинна формула довільної теорії
першого порядку с теоремою.
29. Теорема К. Гьоделя про повноту числення предикатів.
30. Концепція Алгоритму за Тюрингом. Поняття часової та
просторової складності алгоритмів.
31. Класи алгоритмів,функцій та предикатів Р та РSРАСЕ. Довести
включення Р ⊂РSРАСЕ .
32. Предикатне означення класу NР. Приклади.
33. Поліноміальна звідність її властивості. Поняття NP— повного
предиката.
34. Предикат SАТ. Теорема Кука.
35. Примітивно рекурсивні, частково рекурсивні, загально
рекурсивні функції. Теза Черча.
36. Примітивно рекурсивні, загально рекурсивні предикати,
відношення, множини.
37. Операції над примітивно рекурсивними (загально рекурсивними)
предикатами, множинами, відношеннями, оператор САSЕ.
38. Оператор обмеженої мінімізації та його застосування. Довести
що обмежена мінімізація примітивно-рекурсивні функції
переводить в примітивно-рекурсивні.
39. Поняття алгоритму за Чорчем. λ-числення.
40. Обчисленн термів. Правила виконання β-редукції.
41. Нормальна форма терму. Теорема Каррі, теорема Чорча-Россера,
наслідок.
42. Аплікатина та нормальна стратегія зведення терму до нормальної
форми.