rpd000003781 (210601 (11.05.01).С6 Лазерные информационные системы и комплексы), страница 3
Описание файла
Файл "rpd000003781" внутри архива находится в следующих папках: 210601 (11.05.01).С6 Лазерные информационные системы и комплексы, 210601.С6. Документ из архива "210601 (11.05.01).С6 Лазерные информационные системы и комплексы", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000003781"
Текст 3 страницы из документа "rpd000003781"
1.2.1. Прямое произведение множеств. Бинарные отношения (АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Доказательство тождеств с операцией прямого произведения. Операции с бинарными отношениями.
Нахождение Области определении, множества значений бинарного отношения, обратного отношения, композиции бинарных отношений
1.2.2. Отношения порядка и эквивалентности.(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Проверка свойств отношения.
Нахождение наибольшего, наименьшего максимальных, минимальных элементов частично упорядоченного множества. Построение линейного порядка.
Нахождение классов эквивалентности.
1.3.1. Основные понятия логики высказываний(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Высказывания. Формулы логики высказываний. Таблицы истинности. Тождественно истинные формулы. Правильные рассуждения.
1.3.2. СДНФ, СКНФ(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Нахождение СДНФ и СКНФ заданной формулы. Многочлен Жегалкина.
1.4.1. Логика предикатов(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Составление формул логики предикатов в заданной интерпретации. Проверка общезначимости формул. Доказательство раносильности формул.
1.5.1. Матричное задание графа(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
Описание: Нахождение матриц смежности, инцидентности, связности по изображению графа. Построение изображение графа по матрицам инцидентности и связности. Нахождение матриц связности по матрице смежности.
1.8.1. Комбинаторные схемы(АЗ: 2, СРС: 0)
Форма организации: Практическое занятие
-
Лабораторные работы
-
Типовые задания
1.1.1. Доказательство тождеств алгебры множеств(СРС: 1)
Тип: Домашнее задание
Типовые варианты:
-Доказать тождество алгебры множеств
1.2.1. Проверка свойств бинарных отношений, нахождение области определения и значений(СРС: 1)
Тип: Домашнее задание
1.3.1. СДНФ, СКНФ(СРС: 2)
Тип: Домашнее задание
Типовые варианты:
-Для заданной формулы найти СДНФ, СКНФ
1.4.1. Привести равносильными преобразованиями к приведенной нормальной форме данную формулу логики предикатов.(СРС: 1)
Тип: Домашнее задание
1.4.2. Проверить правильность рассуждения в логике предикатов.(СРС: 2)
Тип: Домашнее задание
1.5.1. Определить для орграфа, заданного матрицей смежности: имеются ли контуры; матрицу односторонней связности; матрицу сильной связности.(СРС: 1)
Тип: Домашнее задание
1.5.2. Используя алгоритм Терри, определить замкнутый маршрут, проходящий ровно по два раза (по одному в каждом направлении) через каждое ребро графа.(СРС: 1)
Тип: Домашнее задание
1.5.3. Используя алгоритм “фронта волны”, найти все минимальные пути из первой вершины в последнюю орграфа, заданного матрицей смежности.(СРС: 2)
Тип: Домашнее задание
1.5.4. Используя алгоритм Форда, найти минимальные пути из первой вершины во все достижимые вершины в нагруженном графе, заданном матрицей длин дуг.(СРС: 2)
Тип: Домашнее задание
1.5.5. Построить максимальный поток по транспортной сети.(СРС: 2)
Тип: Домашнее задание
1.5.6. Для заданной графом электрической цепи составить системы уравнений Кирхгофа для токов и напряжений(СРС: 2)
Тип: Домашнее задание
1.5.7. Найти минимальное остовное дерево графа(СРС: 1)
Тип: Домашнее задание
1.6.1. Машина Тьюринга(СРС: 2)
Тип: Домашнее задание
1.7.1. Проверить является ли множество групопй(СРС: 2)
Тип: Домашнее задание
Приложение 3
к рабочей программе дисциплины
«Дискретная математика »
Прикрепленные файлы
Версия: AAAAAARxs0U Код: 000003781