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