rpd000005495 (1010225), страница 2

Файл №1010225 rpd000005495 (230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети) 2 страницаrpd000005495 (1010225) страница 22017-06-172017-06-17СтудИзба

230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Регистрация/авторизация

Текст из файла (страница 2)

Тип: Контрольная работа

Тематика: Операции над множествами, декартово произведение множеств, отношения на множествах

Прикрепленные файлы:

Перечень вопросов и задач:

1.Для множеств А={2,3,5}, B={1,2,4}, C={4,5} и универсума U={1...5} найти результат пересечения множеств В и С, разности множеств А и В, дополнения множества В

2.Для множеств А={2,3,5}, B={1,2,4}, C={4,5} найти результа произведения (A U C) x (B\C)

3.Для отношения {(a,b), (a,c), (d,b), (c,c), (b,c)} найти композицию {PoP}, {(-P)oP}

4.Для отношения {(a,b), (a,c), (d,b), (c,c), (b,c)} построить матрицу отношений, граф отношений и определить свойства рефлексивности, симметричности и транзитивности для заданного отношения.

5.В соответствии с заданной матрицей отношения выписать упорядоченные пары элементов, находящиеся в заданном отношении.

1.2. Тест по разделу "Теория графов"

Тип: Тестирование

Тематика: Типы графов и компоненты графоа, матрицы графов

Прикрепленные файлы:

Перечень вопросов и задач:

1.Для заданного графа определить все маршруты длины 2, простые цепи, простые циклы, геодезические

2.Для заданного графа построить матрицу инцидентности.

3.По заданной матрице смежности построить ориентированный граф.

4.Для графов G1 и G2 определить результат композиции G2[G1]

5.Для заданного графа определить все кратчайшие пути, используя алгоритм Флойда.

1.3. Контрольная работа по разделу "Булева алгебра"

Тип: Контрольная работа

Тематика: ДНФ, КНФ, минимизация булевых функций, построение логических схем функций в заданном базисе

Прикрепленные файлы: срез_3.doc

Промежуточная аттестация

1. Экзамен

Прикрепленные файлы:

Вопросы для подготовки к экзамену/зачету:

1.Логика предикатов.

2.Основные логические операции

3.Методы доказательств

4.Множества: определения, способы задания, кортеж и булеан множества, операции над множествами и диаграммы Венна.

5.Свойства основных операций над множествами

6.Отношения на множествах: произведение множеств, способы описания отношений

7.Бинарные отношения: свойства бинарных отношений, основные типы бинарных отношений

8.Алгебраические структуры: определения, пример алгебры, замыкание множества

9.Группы: определение, аксиомы групп, свойства группп, примеры групп

10.Полугруппы, решетки, кольца

11.Граф: основные определения, виды графов

12.Граф: компоненты графа, остов графа

13.Степени вершин графа

14.Маршруты и пути в графах: основные определения

15.Основные типы графов и операции над графами

16.Способы описания графов: описание по Бержу, матрицы смежности, инцидентности, циклов и контуров

17.Эйлеровы и Гамильтоновы циклы графа.

18.Сильносвязанные орграфы: определения, отношения на множестве сильносвязанных подграфов

19.Алгоритм построения максимальных сильносвязанных подграфов

20.Алгоритм Дейкстры отыскания кратчайших путей в графе

21.Алгоритм Флойда поиска всех кратчайших путей в графе

22.Булевы функции: определение, способы задания функций

23.Дизъюнктивно-нормальная форма функции: определение, основные понятия, приведение ДНФ к совершенной форме

24.Конъюнктивно-нормальная форма: определение, основные понятия, приведение КНФ к совершенной форме

25.Полнота и замкнутость системы функций

26.Минимизация функций алгебры логики: определения, метод Квайна

27.Минимизация функций алгебры логики: определения, метод импликантных матриц

28.Минимизация функций алгебры логики: определения, метод Квайна-Мак-Класски

29.Минимизация функций алгебры логики: определения, метод минимизирующих карт, правила склеивания

30.Минимизация конъюнктивных нормальных форм

31.Не полностью определенные функции алгебры логики: определение, алгоритм минимизации

32.Реализация логических функций в базисе Пирса: правила приведения ДНФ к базису Пирса, схемная реализация базиса Пирса

33.Реализация логических функций в базисе Шеффера: правила приведения ДНФ к базису Шеффера, схемная реализация базиса Шеффера

34.Комбинаторика: основные задачи комбинаторики, размещения, перестановки, подстановки, сочетания, разбиения, композиции

УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

а)основная литература:

1. Новиков Ф.А. Дискретная математика для программистов, учебник. – Спб.: Питер, 2001г., 304с.: ил.

2. Белоусов А.И., Ткачев С.Б. Дискретная математика (математика в техническом универ-ситете, выпуск XIX) – М.: МГТУ им. Н.Э. Баумана, 2001г., 744с.: ил.

3. Басакер Р., Саати Т. Конечные графы и сети. – М.: Наука, 1974г., 366с.: ил.

4. Р. Хаггарти Дискретная математика для программистов – М.: Техносфера, 2003г., 315с.: ил.

5. Тишин В.В. Дискретная математика в примерах и задачах. - С-Пб.: БХВ-Петербург, 2008г., 544с.

б)дополнительная литература:

1. Андерсон Дж. Дискретная математика и комбинаторика: Москва-Санкт-Петербур-Киев: Вильямс, 2004г., 960с.: ил.

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

1. Проектор, ноутбук.

2. УМК дисциплины.

3. Класс компьютеров.

Приложение 1
к рабочей программе дисциплины
«Дискретная математика »

Аннотация рабочей программы

Дисциплина Дискретная математика является частью Математического и естественно-научный цикл дисциплин подготовки студентов по направлению подготовки Информатика и вычислительная техника. Дисциплина реализуется на «Восход» факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) Б21.

Дисциплина нацелена на формирование следующих компетенций: ПКП-9.

Содержание дисциплины охватывает круг вопросов, связанных с: освоением математического аппарата, помогающего моделировать, анализировать и решать задачи, связанные с предствалением логических связей объекта, позволяет изучать и прогнозировать процессы и явления из области будущей деятельности студентов.

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Практическое занятие.

Программой дисциплины предусмотрены следующие виды контроля: рубежный контроль в форме Контрольная работа ,Тестирование ,Контрольная работа и промежуточная аттестация в форме Экзамен.

Общая трудоемкость освоения дисциплины составляет 4 зачетных единиц, 144 часов. Программой дисциплины предусмотрены лекционные (34 часов), практические (16 часов), лабораторные (0 часов) занятия и (67 часов) самостоятельной работы студента. Также в процесс изучения дисциплины развивается логическое и алгоритмическое мышление, способствующее формированию умений и навыков самостоятельного анализа исследования проблем информатики, развитию стремления к научному поиску путей овершенствования свой работы.

После завершения изучения данного курса студент:

должен знать:

на уровне представлений: методы и аппарат дискретной математике;

на уровне воспроизведения: алгоритмы дискретной математики;

на уровне понимания: основные положения теории множеств, бинарных отношений, теории графов и алгебры логики.

должен владеть умениями:

теоретическими: применять аппарта дискретной математики для построения математических моделей и логических схем;

практическими: разарабатывать эффективные алгоритмы решения поставленных задач;

должен владеть навыками: постановки сложных задач исследования информационных процессов, моделирования прикладных задач методами дискретной математики.

Приложение 2
к рабочей программе дисциплины
«Дискретная математика »

Cодержание учебных занятий

Лекции

1.1.1. Логика высказываний: основные понятия и методы доказательств(АЗ: 2, СРС: 3)

Тип лекции: Информационная лекция