Лекция Л.В.Яворской об археозоологии на фестивале Укек-2020
1 view
21
5
3 months ago
01:19:49
9
Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
3 months ago
01:18:35
6
Яворская Т.Л. - Математическая логика. Часть 1 - 6. Теории с равенством
3 months ago
01:09:49
8
Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции
3 months ago
00:55:02
7
Яворская Т.Л. - Математическая логика. Часть 1 - 8. Теорема Тарского-Зайденберга
3 months ago
00:38:54
4
Яворская Т.Л. - Математическая логика. Часть 1 - 7. Элиминация кванторов
3 months ago
01:21:11
7
Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний
3 months ago
01:06:25
13
Яворская Т.Л. - Математическая логика. Часть 1 - 9. 17-я проблема Гильберта. Теорема Артина
3 months ago
01:19:17
11
Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов
3 months ago
01:06:37
6
Яворская Т.Л. - Математическая логика. Часть 1 - 3. Свойства интуиционистской логики
3 months ago
01:21:51
6
Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний
3 months ago
00:57:42
5
Яворская Т.Л. - Математическая логика. Часть 1 - 5. Теорема Гёделя о полноте логики первого порядка
3 months ago
01:18:50
9
Яворская Т.Л. - Математическая логика - 1. Логика высказываний
3 months ago
01:11:03
8
Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний
3 months ago
01:03:22
9
Яворская Т.Л. - Математическая логика - 2. Дизъюнктивная нормальная форма
3 months ago
00:35:57
5
Яворская Т.Л. - Математическая логика - 8. Логика предикатов с равенством
3 months ago
01:01:18
5
Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов.
3 months ago
00:36:05
7
Яворская Т.Л. - Математическая логика - 11. Модальная логика
3 months ago
01:01:31
5
Яворская Т.Л. - Математическая логика - 6. Логика I порядка. Выразимость. Изоморфизм
3 months ago
01:10:42
6
Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная эквивалентность структур
3 months ago
01:13:29
10
Яворская Т.Л. - Математическая логика - 5. Логика I порядка. Общезначимость. Эквивалентность
3 months ago
01:14:08
9
Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика
3 months ago
00:52:55
5
Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики
3 months ago
01:14:39
5
Яворская Т.Л. - Математическая логика - 12. Модальная логика. Семантика Крипке
3 months ago
01:22:07
5
Яворская Т.Л. - Математическая логика - 14. Временная логика
Back to Top