Введение в логику, урок 1: Базовые понятия

1. Курс «Введение в логику». Цикл из нескольких коротких видеолекций по логике — одной из дисциплин, составляющих основу программирования. Очень познавательно и пригодится, например, для понимания работы битовых операций. 1. Базовые понятия. 2. Представление функций. 3. Самая сложная логическая задача. 4. Предикаты и кванторы. 5. Теории: интуиции. 6. Парадоксы и заключение. #video@tproger