Содержание
- Как алгоритмы формируют наш мир - Видео(Ютубе)
- Раздел 1
- Раздел 2
- Розділ 1 Класична математична логіка
- Тема 1
- Тема 2
- Тема 3
- Тема 4
- Тема 5 Некласична математична логіка
- Тема 6
- Тема 7
- Тема 8
- Тема 9
- Розділ 2 Елементи теорії алгоритмів
- Тема 10
- Тема 11
- Тема 12
- Тема 13
- Нумерації алгоритмів
- Нумерації алгоритмів
- 13.1. Попередні відомості
- 13.1.1. Нумерація за Гьоделем
- 13.1.2. Головні універсальні функції та множини
- 13.1.3. Канторові нумерації кортежів натуральних чисел
- 13.1.4. Нумерації Кліні та Поста
- 13.2 Нумерація машин Тюрінга та частково - рекурсивних функцій
- 13.3. S-m-n- теорема
- 13.4. M – зведення та властивості злічених множин
- 13.5 Теореми Кліні про нерухому точку
- 13.1. Попередні відомості
- Нумерації алгоритмів
- Запитання для самоперевірки
- Задачі для самостійного розв’язання
- Презентация
- Нумерації алгоритмів
- Тема 14
- Тема 15
Модальна логіка