Матлогика 1. Высказывания. Логические связки. Предикаты и кванторы
1:21:00
Матлогика 2. Унарные высказывания. Кванторы
6:21
Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.
18:42
Логика. Основы Логики. Логическое Мышление
28:17
Введение в логику, урок 1: Базовые понятия
1:19:44
Математический анализ 0. Предварительные сведения
1:14:46
Математическая логика и теория алгоритмов 1. Формальные языки
1:08:53
Введение в математический анализ 1. Множества и функции
1:30:25