Контрольная работа

Теория множеств. Графики, соответсвия, отношения. Решетки. Логика высказываний Предикаты. Автоматы.

Комбинаторика. Теория графов. Метод резолюций. Машины Тьюринга.

Метод Гаусса – прямой и обратный ход. МГОУ 4 курс. 2 файла, описание- в ворде и пример, выполнен в экселе. Преподаватель - Сидорова.

Построение таблицы истинности, СКНФ и СДНФ, полином Жегалкина, карты Карно, Построение ориентированного графа, алгоритм Прима и Дейкстры

1 семестр. 2 курс. НАУ. 18 задач: Множества, комбинаторика, oтношения, метод математической индукции. Робота перевірина викладачен. Розв"язуваала самостійно.

1 семестр. 2 курс. НАУ г. Киев (на украинском язіке). 18 задач: множества, комбинаторика, oтношения, метод математической индукции.

Федеральное агентство по образованию. Пермский государственный технический университет. Кафедра информационных технологий и автоматизированных систем. ПГТУ.rn

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

Архив содержит 10 вариантов.

Архив содержит 10 вариантовrn