1. Означення нормального алгоритму Маркова
2. Приклади нормальних алгоритмів Маркова
Лекція №21,22
Тема: Машина Тюрінга
План
Формальний опис машини Тюрінга.
Функціональна схема та конфігурація машини Тюрінга.
Приклад програми машини Тюрінга.
Універсальна машина Тюрінга.
Література
Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник – Мелітополь: ТОВ «Видавничий будинок ММД», 2008. – 134с.
Зміст
1. Формальний опис машини Тюрінга
2. Функціональна схема та конфігурація машини Тьюрінга
3. Приклад програми машини Тьюрінга
4. Універсальна машина Тьюрінга
Лекція №23
Тема: Обчислювальні функції
План
Поняття про обчислювальну функцію.
Примітивно – рекурсивні функції.
Частково – рекурсивні функції.
Теза Чорча.
Література
Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник – Мелітополь: ТОВ «Видавничий будинок ММД», 2008. – 134с.
Зміст
1. Поняття про обчислювальну функцію
2. Примітивно – рекурсивні функції
3. Частково – рекурсивні функції
4. Теза Чорча
Лекція №24
Тема: Про масові проблеми
План
Поняття алгоритмічної проблеми
Деякі приклади алгоритмічно нерозв’язних проблем
Література
Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник – Мелітополь: ТОВ «Видавничий будинок ММД», 2008. – 134с.
Зміст
Поняття алгоритмічної проблеми
Алгоритмічна проблема - це проблема, в якій потрібно знайти єдиний метод (алгоритм) для вирішення нескінченної серії однотипних одиничних задач. Такі проблеми називають також масовими проблемами. Вони виникали і вирішувалися в різних областях математики протягом всієї її історії.
Математики на початку XX ст. зіткнулися з тим, що для деяких масових проблем не вдається підібрати загальний алгоритм для їх вирішення. У зв'язку з цим виникла необхідність дати точне визначення самого поняття алгоритму.
2. Деякі приклади алгоритмічно нерозв’язних проблем
