Логика

С помощью данного курса вы познакомитесь с фундаментальными понятиями математической логики, рассмотрите условия и решение так называемой "самой сложной логической задачи", познакомитесь с важными инструментами математической логики, а также базовыми понятиями из теории множеств.

Программа курса

1. Базовые понятия логики
2. Представление функций
3. Самая сложная логическая задача
4. Предикаты и кванторы
5. Теории: интуиции
6. Парадоксы