Курс «Введение в логику» от Hexlet



#fundamental@proglibbot



Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.



1. Базовые понятия

2. Представление функций

3. Самая сложная логическая задача

4. Предикаты и кванторы

5. Теории: интуиции

6. Парадоксы и заключение