Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмов
0:00:09 1. Понятие алгоритма
0:06:17 2. Формализации этого понятия
0:08:33 3. Понятие вычислимости
0:13:43 4. Тезис Чёрча-Тьюринга
0:17:03 5. Разрешимость
0:27:39 6. Полуразрешимость
0:33:02 7. Теорема 15.3 Поста
0:39:06 8. Перечислимость
0:59:03 9. Теорема 15.6 (в лекциях - 15.7) Пусть h-вычислимая тотальная функция. Тогда 1)если А - разрешимо, то h^(-1)(А) разрешимо 2)если А - перечислимо, то h[A] и h^(-1)(А) перечислимы
1:03:53 10. Теорема 15.7 Об универсальной вычислимой функции
1:10:48 11. Теорема 15.8 Существует перечислимое неразрешимое множество подмножество в N
1:17:26 12. О разрешимости теорий первого порядка
1:28:56 13. Теорема Гёделя об определимости
1:30:32 14. Теорема Гёделя о неполноте
1 view
10
1
5 months ago 00:11:50 1
Чайковский. Антисемитизм и про коммунизм.
5 months ago 00:35:51 1
Представление начинается! (1970)
6 months ago 00:35:51 1
Представление начинается! Лучшие номера Московского цирка на Цветном бульваре (1970)
6 months ago 00:00:25 1
Папины руки - любящие и надежные! Готовитесь к родам? Планируете партнёрские роды?
6 months ago 00:06:44 1
Чайковский Концерт для фортепиано с оркестром №1 си-бемоль минор, Соч.23 ч.3 исп. Андрей Гончаров
7 months ago 00:14:52 1
Короткометражный фильм «Помеха справа» (Премьера 2023)
7 months ago 00:21:24 1
Левотемия: главная проблема российской оппозиции
7 months ago 02:34:14 2
Инновационная среда. Патентные исследования как инструмент научно-технологического сотрудничества
7 months ago 01:17:46 1
Дума про казака Голоту 1937
7 months ago 00:16:20 5
Фестивали ЛО Футбол. Конкурс Мокрых Маек на 29 Фестивале ЛО Футбол
7 months ago 00:04:41 1
Фестивали ЛО Футбол. Выступление Дорохиной Ирины
7 months ago 00:06:32 1
AEG ’Expression’ Team, , , - Adagio RG&OPERA Show
7 months ago 00:05:20 1
Антонио Баццини “Калабрезе“ / Antonio Bazzini: Calabrese
7 months ago 01:20:30 8
Лекция 10. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:31:08 2
Лекция 9. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:29:22 2
Лекция 8. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:33:00 4
Лекция 7. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:30:17 3
Лекция 6. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:29:14 2
Лекция 5. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:30:18 4
Лекция 4. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:32:23 5
Лекция 3. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:27:47 6
Лекция 2. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 01:30:46 34
Лекция 1. В.Б. Шехтман. Алгебраическая логика и категории.
7 months ago 00:04:03 2
Клоунада “На приеме у доктора“. Исполняют клоуны Олег Попов, Александр Асадчев, Яков Шехтман (1963)