Яворская Т.Л. - Математическая логика. Часть 1 - 9. 17-я проблема Гильберта. Теорема Артина

Ссылка на плейлист:

2 просмотра

01:19:49

Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции смотреть онлайн

01:18:35

Яворская Т.Л. - Математическая логика. Часть 1 - 6. Теории с равенством Яворская Т.Л. - Математическая логика. Часть 1 - 6. Теории с равенством смотреть онлайн

01:09:49

Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции Яворская Т.Л. - Математическая логика. Часть 1 - 12. Рекурсивные функции смотреть онлайн

01:21:11

Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний смотреть онлайн

00:55:02

Яворская Т.Л. - Математическая логика. Часть 1 - 8. Теорема Тарского-Зайденберга Яворская Т.Л. - Математическая логика. Часть 1 - 8. Теорема Тарского-Зайденберга смотреть онлайн

01:06:25

Яворская Т.Л. - Математическая логика. Часть 1 - 9. 17-я проблема Гильберта. Теорема Артина Яворская Т.Л. - Математическая логика. Часть 1 - 9. 17-я проблема Гильберта. Теорема Артина смотреть онлайн

00:38:54

Яворская Т.Л. - Математическая логика. Часть 1 - 7. Элиминация кванторов Яворская Т.Л. - Математическая логика. Часть 1 - 7. Элиминация кванторов смотреть онлайн

01:19:17

Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов смотреть онлайн

01:06:37

Яворская Т.Л. - Математическая логика. Часть 1 - 3. Свойства интуиционистской логики Яворская Т.Л. - Математическая логика. Часть 1 - 3. Свойства интуиционистской логики смотреть онлайн

00:57:42

Яворская Т.Л. - Математическая логика. Часть 1 - 5. Теорема Гёделя о полноте логики первого порядка Яворская Т.Л. - Математическая логика. Часть 1 - 5. Теорема Гёделя о полноте логики первого порядка смотреть онлайн

01:21:51

Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний смотреть онлайн

01:18:50

Яворская Т.Л. - Математическая логика - 1. Логика высказываний Яворская Т.Л. - Математическая логика - 1. Логика высказываний смотреть онлайн

01:11:03

Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний смотреть онлайн

01:03:22

Яворская Т.Л. - Математическая логика - 2. Дизъюнктивная нормальная форма Яворская Т.Л. - Математическая логика - 2. Дизъюнктивная нормальная форма смотреть онлайн

00:35:57

Яворская Т.Л. - Математическая логика - 8. Логика предикатов с равенством Яворская Т.Л. - Математическая логика - 8. Логика предикатов с равенством смотреть онлайн

01:01:18

Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов. Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов. смотреть онлайн

00:36:05

Яворская Т.Л. - Математическая логика - 11. Модальная логика Яворская Т.Л. - Математическая логика - 11. Модальная логика смотреть онлайн

01:10:42

Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная эквивалентность структур Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная эквивалентность структур смотреть онлайн

01:01:31

Яворская Т.Л. - Математическая логика - 6. Логика I порядка. Выразимость. Изоморфизм Яворская Т.Л. - Математическая логика - 6. Логика I порядка. Выразимость. Изоморфизм смотреть онлайн

01:14:08

Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика смотреть онлайн

01:13:29

Яворская Т.Л. - Математическая логика - 5. Логика I порядка. Общезначимость. Эквивалентность Яворская Т.Л. - Математическая логика - 5. Логика I порядка. Общезначимость. Эквивалентность смотреть онлайн

00:52:55

Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики смотреть онлайн

01:14:39

Яворская Т.Л. - Математическая логика - 12. Модальная логика. Семантика Крипке Яворская Т.Л. - Математическая логика - 12. Модальная логика. Семантика Крипке смотреть онлайн

01:22:07

Яворская Т.Л. - Математическая логика - 14. Временная логика Яворская Т.Л. - Математическая логика - 14. Временная логика смотреть онлайн