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