filmov
tv
Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов
Показать описание
1. 00:00:19 Алгоритм
2. 00:14:48 Тезис Чёрча
3. 00:26:00 Разрешимые множества
4. 00:38:39 Примеры разрешимых множеств
5. 00:56:32 Перечислимые множества
Ссылки плейлист:
2. 00:14:48 Тезис Чёрча
3. 00:26:00 Разрешимые множества
4. 00:38:39 Примеры разрешимых множеств
5. 00:56:32 Перечислимые множества
Ссылки плейлист:
1:21:52
Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний...
0:57:43
Яворская Т.Л. - Математическая логика. Часть 1 - 5. Теорема Гёделя о полноте логики первого порядка...
1:18:51
Яворская Т.Л. - Математическая логика - 1. Логика высказываний...
1:06:38
Яворская Т.Л. - Математическая логика. Часть 1 - 3. Свойства интуиционистской логики...
0:55:03
Яворская Т.Л. - Математическая логика. Часть 1 - 8. Теорема Тарского-Зайденберга...
1:26:43
Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов...
1:18:48
Яворская Т.Л. - Понятийный аппарат математики - 1. Логический язык...
1:09:50
Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции...
1:10:42
Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная эквивалентность структур...
1:18:36
Яворская Т.Л. - Математическая логика. Часть 1 - 6. Теории с равенством...
1:19:18
Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов...
1:25:44
Лекция 1. Т.Л. Яворская. Логики свидетельств
0:38:55
Яворская Т.Л. - Математическая логика. Часть 1 - 7. Элиминация кванторов...
1:05:16
Яворская Т.Л. - Математическая логика - 10. Теорема о компактности и её следствия...
0:46:05
Яворская Т.Л. - Математическая логика - 16. Теория алгоритмов. Универсальная вычислимая функция...
1:21:12
Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний...
1:19:50
Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции...
1:22:08
Яворская Т.Л. - Математическая логика - 14. Временная логика...
1:24:17
Лекция 1. Л. Д. Беклемишев, Т. Л. Яворская. Доказуемость и формальная арифметика...
1:14:09
Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика...
0:55:58
Яворская Т.Л. - Понятийный аппарат математики - 2. Имена и переменные. Кванторы...
0:52:56
Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики...
1:01:19
Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов....
1:14:40
Яворская Т.Л. - Математическая логика - 12. Модальная логика. Семантика Крипке...
Комментарии