Основы теории множеств. Основные понятия и задание множеств.
Операции над множествами. Формулы. Тождества. Доказательства
тождеств. Булева алгебра множеств. Обобщение операций.
Двойственность. Уравнения. покрытия и разбиения. Мощность множеств.
Счетные и континуальные множества. Кардинальное число.
Упорядоченные множества и графики. Соответствия, образы и
прообразы. БУЛЕВА АЛГЕБРА. Функции. Логические функции. Алгебра
жегалкина. Метод квайна -мак-класки. Метод блейка-порецкого.
Минимизация частично определенных функций. Логика предикатов.
Высказывания и логика предикатов.
формат Word
формат Word