Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
01.12.2009 |
Дискретная математика |
Математика |
Язык: русский |
Просмотры: 55
