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