Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 15. Теория алгоритмов
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 15. Теория алгоритмов
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 06:17
Понятие алгоритма
06:17
Следующая секция начнется через 06:17
Формализации этого понятия
08:33
Следующая секция начнется через 06:17
Понятие вычислимости
13:43
Следующая секция начнется через 06:17
Тезис Чёрча-Тьюринга
17:03
Следующая секция начнется через 06:17
Разрешимость
27:39
Следующая секция начнется через 06:17
Полуразрешимость
33:02
Следующая секция начнется через 06:17
Теорема 15.3 Поста
39:06
Следующая секция начнется через 06:17
Перечислимость
59:03
Следующая секция начнется через 06:17
Теорема 15.6 (в лекциях - 15.7) Пусть h-вычислимая тотальная функция. Тогда 1)если А - разрешимо, то h^(-1)(А) разрешимо 2)если А - перечислимо, то h[A] и h^(-1)(А) перечислимы
1:03:53
Следующая секция начнется через 06:17
Теорема 15.7 Об универсальной вычислимой функции
1:10:48
Следующая секция начнется через 06:17
Теорема 15.8 Существует перечислимое неразрешимое множество подмножество в N
1:17:26
Следующая секция начнется через 06:17
О разрешимости теорий первого порядка
1:28:56
Следующая секция начнется через 06:17
Теорема 15.12 Гёделя об определимости
1:30:32
Следующая секция начнется через 06:17
Теорема 15.13 Гёделя о неполноте
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 15. Теория алгоритмов

00:09
Следующая секция начнется через 06:17
Понятие алгоритма
06:17
Следующая секция начнется через 06:17
Формализации этого понятия
08:33
Следующая секция начнется через 06:17
Понятие вычислимости
13:43
Следующая секция начнется через 06:17
Тезис Чёрча-Тьюринга
17:03
Следующая секция начнется через 06:17
Разрешимость
27:39
Следующая секция начнется через 06:17
Полуразрешимость
33:02
Следующая секция начнется через 06:17
Теорема 15.3 Поста
39:06
Следующая секция начнется через 06:17
Перечислимость
59:03
Следующая секция начнется через 06:17
Теорема 15.6 (в лекциях - 15.7) Пусть h-вычислимая тотальная функция. Тогда 1)если А - разрешимо, то h^(-1)(А) разрешимо 2)если А - перечислимо, то h[A] и h^(-1)(А) перечислимы
1:03:53
Следующая секция начнется через 06:17
Теорема 15.7 Об универсальной вычислимой функции
1:10:48
Следующая секция начнется через 06:17
Теорема 15.8 Существует перечислимое неразрешимое множество подмножество в N
1:17:26
Следующая секция начнется через 06:17
О разрешимости теорий первого порядка
1:28:56
Следующая секция начнется через 06:17
Теорема 15.12 Гёделя об определимости
1:30:32
Следующая секция начнется через 06:17
Теорема 15.13 Гёделя о неполноте
Свернуть таймкоды
Конспект лекции
Лекция 15. Теория алгоритмов
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»