кузнецов с. л. математическая логика примитивнорекурсивные функции
1:20:03 Кузнецов С. Л. - Математическая логика - Примитивно-рекурсивные функции
Кузнецов С. Л. - Математическая логика - Примитивно-рекурсивные функции
1:20:03
6 575 просмотров
1:19:12 Кузнецов С. Л. - Математическая логика - Кодирование примитивно-рекурсивных функций
Кузнецов С. Л. - Математическая логика - Кодирование примитивно-рекурсивных функций
1:19:12
510 просмотров
1:23:32 Примитивно-рекурсивные функции, лекция 1
Примитивно-рекурсивные функции, лекция 1
1:23:32
1 140 просмотров
1:19:50 Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
1:19:50
4 081 просмотр
1:08:42 Примитивно-рекурсивные функции, лекция 2
Примитивно-рекурсивные функции, лекция 2
1:08:42
274 просмотра
1:25:18 Кузнецов С. Л. - Математическая логика - Гёделева нумерация
Кузнецов С. Л. - Математическая логика - Гёделева нумерация
1:25:18
870 просмотров
20:45 Что такое рекурсивные функции? Душкин объяснит
Что такое рекурсивные функции? Душкин объяснит
20:45
2 741 просмотр
1:26:15 Кузнецов С. Л. - Математическая логика - Арифметика Пеано
Кузнецов С. Л. - Математическая логика - Арифметика Пеано
1:26:15
1 639 просмотров
1:33:10 Кузнецов С. Л. - Математическая логика - Ординалы
Кузнецов С. Л. - Математическая логика - Ординалы
1:33:10
1 298 просмотров
1:36:35 Кузнецов С. Л. - Математическая логика - Гёделева теория
Кузнецов С. Л. - Математическая логика - Гёделева теория
1:36:35
735 просмотров
1:09:50 Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции
Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции
1:09:50
1 931 просмотр
11:06 15 Примитивно рекурсивные функции
15 Примитивно рекурсивные функции
11:06
6 512 просмотров
1:19:11 Кузнецов С. Л. - Математическая логика - Китайская теорема об остатках
Кузнецов С. Л. - Математическая логика - Китайская теорема об остатках
1:19:11
1 511 просмотров
1:07:16 Кузнецов С. Л. - Математическая логика - Параметрическая Δo-полнота
Кузнецов С. Л. - Математическая логика - Параметрическая Δo-полнота
1:07:16
483 просмотра
12:35 7.2 Частично-рекурсивные функции
7.2 Частично-рекурсивные функции
12:35
2 533 просмотра
1:39:30 Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
1:39:30
1 128 просмотров