Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

99 Ответ: □ принадлежит классам T 0 , T 1 , M и не принадлежит классам S, L. □ принадлежит классам T 0 , T 1 и не принадлежит классам M, S, L. □ принадлежит всем классам, □ не принадлежит ни одному классу. 10.Тренинговые задания В качестве тренинговых заданий рекомендуется использовать все упражнения лабораторного практикума. 11.Перечень вопросов итоговой аттестации по курсу Типовые вопросы для итогового контроля знаний: 1. Определение алгебры и подалгебры. Определение алгебры логики. Выписать таблицу с функциями алгебры логики. 2. Соответствия в теории множеств. Функциональное, сюръективное, взаимно-однозначное соответствие. Область определения и область значения соответствия. 3. Определения булевой алгебры, подалгебры. Выписать свойства булевых операций (ассоциативность и т.д.). 4. Определение фиктивных и существенных переменных. 5. Определение композиции, суперпозиции. Определение глубины формулы. 6. Определение двойственности и самодвойственности функций, принцип двойственности, табличное определение двойственности. 7. СДНФ: Определение ЭК, ОЭК, ДНФ, СДНФ. Теорема о разложении функций по переменным с доказательством. 2 следствия (частные случаи для теоремы) – разложение