Данная работа включает в себя необходимые справочные сведения и типовые примеры по следующим разделам, ряд из которых недостаточно освещен в имеющейся учебной литературе: § 1. Множества и операции над ними. 1. Отношения на множествах 2. Функция и отображение. РАЗДЕЛ 2. МАТЕМАТИЧЕСКАЯ ЛОГИКА. § 2.1 Логика высказываний. 1. Формулы основных равносильностей §2.2. Рассуждения 1. Алгоритмы проверки правильности рассуждения: §2.3. Булевы функции. 1. Конъюнктивные нормальные формы (КНФ) и дизъюнктивные нормальные формы (ДНФ) 2. Совершенная дизъюнктивная нормальная форма (СДНФ) и совершенная конъюнктивная нормальная форма (СКНФ). 3. Двойственные и самодвойственные функции. 4. Представление булевых функций релейно-контактными схемами (переключа-тельные функции). 5. Минимизация булевых функций: карты Карно.