Інформатика

Означення алгоритму, АОФ та числення. Властивості алгоритму. Класифікація формальнихмоделей алгоритму. Поняття числення , формальної системи і їх зв’язок з поняттям алгоритму.Універсальні класи алгоритмів. Формалізація поняття алгоритму.НЕ 2.2 Машини з натурально значними регістрами.Поняття про МНР. Структура та система команд МНР. Приклади роботи МНР. МНРобчислюванні функції .НЕ 2.3 Машини Тюрінгом.Поняття про машини Тюрінга.. Структура та система команд машин Тюрінга. Прикладироботи машин Тюрінга.Функції обчислюванні за Тюрінгом.Другий семестр.Змістовий модуль 3« Формальні моделі алгоритмів таалгоритмічно обчислюваних функцій .»НЕ 3.1 Нормальні алгоритми Маркова.Марковим.Означення і основні властивостіНЕ 3.2 Системи Поста.НАМ. Алгоритм роботи НАМ. Функції обчислюванні заОзначення канонічної та нормальної системи Поста. Поняття про формальні граматики.Функції обчислювальні за Постом. Приклади систем Поста.НЕ 3.3 Поняття ПРФ, ЧРФ, РФ. Властивості рекурсивних функцій.Система базових функцій і основних обчислювальних операцій.Означення ПРФ,РФ і ЧРФ. Приклади і основні властивості рекурсивнихфункцій. Означення операторного терма алгебри ЧРФ та ПРФ.Змістовий модуль 4« Нумерації ,їх властивості та застосуванн .»НЕ 4.1 Поняття про нумерації. Канторові нумерації.Означення нумерації. Гьодельові та канторові нумерації. Теорема пропримітивну рекурсивність координатних функцій. Приклади нумерацій.НЕ 4.2 Системи Поста.Означення канонічної та нормальної системи Поста. Поняття про формальні граматики.Функції обчислювальні за Постом. Приклади систем Поста.НЕ 4.3 Функція Гьоделя. Теорема про основну властивість функціїГьоделя.Означення функції Гьоделя. Теорема про основну властивість функціїГьоделя. Теорема про представлення операції примітивної рекурсії танаслідок з неї.НЕ 4.4 Гьодельові нумерації формальних моделей алгоритму.Гьоделеві та канторові нумерації.. Канторові рівняння., Побудовагьоделевих нумерацій для різних формальних моделей алгоритму і АОФ.Основна література до курсу:1. Алферов З.В. Теория алгоритмов. М. Статистика, 1973-164с.