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

(57:43)

Лекция 1. Т.Л. Яворская. Логики свидетельств

(1:25:44)

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

(55:3)

Логика. Основы Логики. Логическое Мышление

(18:42)

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

(1:21:12)

1. Высказывание и логические связки. Дискретная математика.

(1:28:15)

Матлогика 1. Высказывания. Логические связки. Предикаты и кванторы

(1:25:45)

4D фигуры

(4:31)

Язык математики — Принципы математического мышления — уровень 1 из 5

(19:53)

Алексей Савватеев | Почему математика может все? Ну, почти...

(18:8)

Лекция 1. Т.Л. Яворская. Основы теории множеств

(1:26:29)

Предикаты и кванторы. Отрицание предложений с кванторами.

(9:2)

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

(1:11:4)

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

(1:21:52)

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

(1:6:38)

Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов

(1:26:43)

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

(1:19:18)

Лекция 4. Т.Л.Яворская. Модальные формулы и свойства шкал Крипке

(1:32:5)

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

(1:18:51)

Яворская Т.Л. - Понятийный аппарат математики - 16. Комбинаторные задачи

(1:16:55)

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

(1:18:48)

Яворская Т.Л. - Понятийный аппарат математики - 2. Имена и переменные. Кванторы

(55:58)

Лекция 8. Т.Л.Яворская. Неклассические логики

(1:9:27)