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

(1:25:44)

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

(1:25:45)

Визуализация теоремы Ферма

(3:35)

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

(1:14:9)

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

(1:9:50)

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

(1:42:22)

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

(55:58)

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

(1:19:50)

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

(1:21:12)

Лекция 34, часть 1 Простота группы An Теоремы Силова Применение теорем Силова

(44:20)

Размещения, перестановки, сочетания.

(29:18)

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

(1:18:51)

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

(1:26:29)

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

(55:3)

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

(1:9:27)

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

(1:18:48)

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

(36:5)

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

(1:32:5)

Яворская Т.Л. - Понятийный аппарат математики - 17. Размещения и перестановки

(1:6:40)

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

(1:21:52)

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

(1:6:38)

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

(1:10:42)