Волченко Ю.М. Логика и множества

Лекция с анимацией. Высказывания.
Операции над высказываниями.
Тавтологии.
Теоремы.
Предикаты.
Множества, операции над ними.
Отношения между множествами.
Анимация переключательной схемы.
Знакомство с системой Mathematica. Ее применение для проверки истинности высказываний и выполнения операций над ними, для решения простых задач теории множеств.