47. Logic. Summing up
45. Логика. Теории, содержащие термины-свидетели.
Проблема выполнимости и SAT находится в NP
Math 125A -- Mathematical Logic
All of MATHEMATICAL PROOFS explained in 11 Minutes
физтех отжигает на псевдонаучке ФизФака МГУ Full HD
Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман
✓ Новая формула площади прямоугольного треугольника | Ботай со мной #159 | Борис Трушин
Задача из вступительных Стэнфорда
Чем ОПАСЕН МАХ? Разбор приложения специалистом по кибер безопасности
Городок - "По недоразумению"
Акунин ошарашил прогнозом! Финал войны уже решён — Кремль скрывает правду
Negating Universal and Existential Quantifiers
КАК ХИКАРУ обыграл СИЛЬНЕЙШУЮ ПРОГРАММУ? ЧЕЛОВЕК ПРОТИВ ИИ
Доказательства дискретной математики за 22 минуты (5 типов, 9 примеров)
Корень из двух – первая математическая трагедия // Vital Math
Metatheory 7: Completeness Theorem Proof I (building an infinite set!)
РАЗБОР НЕКОТОРЫХ ЗАДАЧ ИЗ ОЛИМПИАДЫ ЭЙЛЕРА, ПЕРВЫЙ ЗАОЧНЫЙ ЭТАП ОТБОРА!
49. Set Theory. The V hierarchy
Proof by Contradiction | Method & First Example