Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.
Программа курса
Базовые понятия логики
- Представление функций
- Самая сложная логическая задача
- Предикаты и кванторы
- Теории: интуиции
- Парадоксы
Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.
Базовые понятия логики