Контрольная работа сделана на кафедре Прикладной математики ОНПУ,
рук-ль доц. Гришина.
В контрольной решены задачи минимизации функции 3-мя методами (Карно, Квайна и методом сочетания индексов), упрощения логического выражения, доказано тождество (аналитическим способом и с помощью диаграмм Эйлера-Венна), доказана клауза методом резолюций.
По теории графов: найдена Эйлерова цепь в неориентированном графе, компоненты сильной связности орграфа (при помощи матрицы смежности) и минимальное остовное дерево в неориентированном нагруженном графе
В контрольной решены задачи минимизации функции 3-мя методами (Карно, Квайна и методом сочетания индексов), упрощения логического выражения, доказано тождество (аналитическим способом и с помощью диаграмм Эйлера-Венна), доказана клауза методом резолюций.
По теории графов: найдена Эйлерова цепь в неориентированном графе, компоненты сильной связности орграфа (при помощи матрицы смежности) и минимальное остовное дерево в неориентированном нагруженном графе