Министерство образования и науки Российской Федерации Владивостокский государственный университет экономики и сервиса Кафедра математики и моделирования Е.Д. ЕМЦЕВА ДИСКРЕТНАЯ МАТЕМАТИКА в р и а т Институт информатики, инноваций и бизнес-систем а Рабочая программа учебной дисциплины 210400.62 РАДИОТЕХНИКА 080500.62 БИЗНЕС-ИНФОРМАТИКА 230700.62 ПРИКЛАДНАЯ ИНФОРМАТИКА 230400.62 ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ Б а к а л Основная образовательная программа Владивосток Издательство ВГУЭС 2012 ББК 22.1 Рабочая программа учебной дисциплины «Дискретная математика» составлена в соответствии с требованиями ООП 210400.62 Радиотехника, 080500.62 Бизнес-информатика, 230700.62 Прикладная информатика, 230400.62 Информационные системы и технологии на базе ФГОС ВПО. Автор-составитель: Емцева Е.Д., канд. физ.-мат. наук, доцент кафедры математики и моделирования Утверждена на заседании кафедры математики и моделирования от 07.02.2011 г., протокол № 7, редакция 2012 г. Рекомендована к изданию учебно-методической комиссией Института информатики, инноваций и бизнес-систем © Издательство Владивостокского государственного университета экономики и сервиса, 2012 ВВЕДЕНИЕ Дискретная математика – это цикл математических наук, изучающих свойства конечных множеств. В настоящее время эти науки бурно развиваются, что определяется тремя очень важными факторами: 1) развитием компьютерной техники и компьютерных наук, которые базируются, а по существу являются продолжением дискретной математики; 2) запросами различных прикладных наук – теории управления, экономики, оптимизации и многих, многих других; 3) логикой внутреннего развития этих наук. Появлением новых разделов, глубоких интересных проблем, развитием мощных методов их решения. Все это и предопределило тот факт, что различные разделы дискретной математики все настойчивее внедряются не только в университеты, но и в технические и экономические вузы и даже в гуманитарные. Дисциплина предназначена для ознакомления студентов с основными понятиями разделов математики, традиционно объединяемых в рамках цикла «Дискретная математика»: алгебра высказываний, дискретный анализ, теория множеств, комбинаторика, теория графов и др. С учетом специфики основных разделов дисциплины и направлений, для которых она предназначена, повышенное внимание уделяется формированию у студентов практических навыков решения задач, а также проблемам решения прикладных задач с точки зрения возможности их программной реализации на компьютере. В то же время изложение теоретического материала сопровождается строгим математическим обоснованием. 3 1. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЕ УКАЗАНИЯ 1.1. Цели освоения учебной дисциплины Целью изучения дисциплины «Дискретная математика» является ознакомление студентов с такими классическими разделами дискретной математики как алгебра высказываний (и некоторые ее приложения), дискретный анализ, теория множеств, теория предикатов, комбинаторика, теория неориентированных и ориентированных графов, которые являются основой многих других дисциплин математического, технического и экономического циклов. Изучая математическую логику и теорию множеств, студенты, по сути, знакомятся с современным математическим языком, являющимся, как известно, языком любой науки. 1.2. Место учебной дисциплины в структуре ООП (связь с другими дисциплинами) Дисциплина «Дискретная математика» относится к базовой части математического и естественнонаучного цикла дисциплин. Изучение дисциплины «Дискретная математика» не требует предварительного изучения других дисциплин. В то же время данная дисциплина является основой многих других дисциплин технического, экономического и даже гуманитарного циклов и практически всех дисциплин математического цикла. Некоторые разделы, изучаемые в курсе дискретной математики, такие как метод математической индукции и, отчасти, теория множеств могут изучаться (и изучаются) в рамках таких дисциплин как математический анализ и линейная алгебра. 4 1.3. Компетенции обучающегося, формируемые в результате освоения учебной дисциплины В результате освоения дисциплины у обучающегося должны быть сформированы знания, умения, владения. Название ООП (сокращенное название ООП) Блок Компетенции Составляющие компетенции 1 2 3 4 Знания 080500.62 БИЗНЕСИНФОРМАТИКА Б.2 ПК-19 – готовность использовать основные методы естественнонаучных дисциплин в Умения профессиональной деятельности для теоретического и экспериментального исследования Владения Знания 230400.62 ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ Б.2 ПК-26 – готовность использовать математические Умения методы обработки, анализа и синтеза результатов профессиональных исследований основ дискретной математики ориентироваться в математических методах и использовать инструментальные средства для исследования объектов профессиональной деятельности терминологией и навыками решения задач дискретной математики методов теории множеств, математической логики, алгебры высказываний, теории графов применять методы при решении профессиональных задач повышенной сложности методами построения математических моделей профессиональных задач и Владения содержательной интерпретации полученных результатов 5 1 210400.62 РАДИОТЕХНИКА 230700.62 ПРИКЛАДНАЯ ИНФОРМАТИКА 2 Б.2 Б.2 3 4 ПК-2 – способЗнания ность выявлять естественнонаучную сущность проблем, возника- Умения ющих в ходе профессиональной деятельности, привлекать для их решения соответ- Владения ствующий физикоматематический аппарат ПК-17 – способность применять методы анализа прикладной области на концептуальном, логическом, математическом и алгоритмическом уровнях основных понятий и методов дискретной математики применять математические методы для решения практических задач методами решения математической логики Знания методов теории множеств, математической логики, алгебры высказываний, теории графов, теории автоматов, теории алгоритмов Умения применять методы при решении профессиональных задач повышенной сложности навыками моделирования Владения прикладных задач методами дискретной математики 1.4. Основные виды занятий и особенности их проведения Объем и сроки изучения дисциплины: дисциплина читается для бакалавров первого и второго курсов в весеннем семестре: – «Бизнес информатика», «Информационные системы и технологии», «Прикладная информатика в экономике» в объеме 180 часов (5 зачетных единиц) из них аудиторных 68 часов. На самостоятельное изучение дисциплины выделяется 56 часов. Промежуточный контроль по дисциплине – экзамен; – «Радиотехника» в объеме 144 часов (4 зачетные единицы) из них аудиторных 68 часов. На самостоятельное изучение дисциплины 6 выделяется 20 часов. Промежуточный контроль по дисциплине – экзамен. Удельный вес занятий, проводимых в интерактивных формах, для направлений составляет 20% от аудиторных занятий. 1.5. Виды контроля и отчетности по дисциплине Контроль успеваемости осуществляется в соответствии с рейтинговой системой оценки знаний студентов. Текущий контроль предполагает: – проверку уровня самостоятельной подготовки студента при выполнении индивидуального задания; – опросы и дискуссии по основным моментам изучаемой темы; – проведение контрольных работ по блокам изученного материала; – тестирование остаточных знаний (предварительные аттестации). Промежуточный контроль знаний осуществляется при проведении экзамена, который проводится в форме компьютерного тестирования (СИТО). 2. СТРУКТУРА И СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ (МОДУЛЯ) 2.1. Темы лекций Тема 1. «Метод математической индукции (ММИ)» (1 час) Стандартный ММИ. Возвратный ММИ. Неравенство Коши-Буняковского. Неравенство Коши. Тема 2. «Высказывания. Логические операции» (2 часа) Понятие высказывания. Основные логические операции. Определение высказывания. Таблицы истинности. Тема 3. «Основные тождества логики высказываний» (1 час) Равносильные (равные) высказывания. Основные логические тождества (законы). 7 Тема 4. «Дизъюнктивные нормальные формы (ДНФ). Конъюнктивные нормальные формы (КНФ)» (2 часа) Возведение высказывания в степень. Элементарные конъюнкция (ЭК) и дизъюнкция (ЭД). Определение ДНФ и КНФ. Теоремы о ДНФ и КНФ. Тема 5. «Совершенные дизъюнктивные нормальные формы (СДНФ). Совершенные конъюнктивные нормальные формы (СКНФ)» (2 часа) Полные элементарные конъюнкция (ПЭК) и дизъюнкция (ПЭД). Определение СДНФ и СКНФ. Теоремы о СДНФ и СКНФ. Тема 6. «Приложения алгебры высказываний» (1 час) Упрощение двухполюсников. Тема 7. «Полиномы Жегалкина» (2 часа) Сложение по модулю 2. Определение многочлена Жегалкина. Теорема о полиноме Жегалкина. Тема 8. «Дискретный анализ» (4 часа) Переключательные (булевы) функции (ПФ). Способы задания ПФ. Специальные разложения ПФ. Частные ПФ. Минимизация ПФ и неполностью определенных ПФ. Булевы функции, сохраняющие константы. Замкнутые и полные классы булевых функций. Двойственные и самодвойственные булевы функции. Монотонные булевы функции. Линейные булевы функции. Теорема о функциональной полноте. Шефферовы функции. Примеры функционально полных базисов. Тема 9. «Введение в теорию множеств» (2 часа) Понятие множества. Основные определения, терминология. Основные теоретико-множественные операции. Круги Эйлера (диаграммы Венна). Основные теоретико-множественные тождества. Булеан (степень) множества. Декартовы произведения. Декартова степень. Тема 10. «Предикаты» (2 часа) Понятие n-местного предиката. Основные определения, терминология. Обратные предикаты. Отношения. Суперпозиция отношений. Отношение эквивалентности. Отношение порядка. Частично упорядоченные множества (ЧУМ). Линейно упорядоченные множества (ЛУМ). Лексикографический порядок. 8 Тема 11. «Функции и отображения» (2 часа) Функциональные отношения. Области определения и значений. Образы и прообразы элементов и множеств. Суперпозиция отображений. Инъективные, сюръективные и биективные отображения. Сужение отображения. Обратные отображения. Согласованные отображения. Операции. Тема 12. «Элементы комбинаторики» (3 часа) Основные принципы комбинаторики. Перестановки, размещения, сочетания. Свойства сочетаний. Перестановки с повторениями, размещения с повторениями, сочетания с повторениями. Бином Ньютона, следствия. Формула включений и исключений. Беспорядки. Тема 13. «Теория неориентированных графов» (4 часа) Введение в теорию графов: основные понятия и определения. Дополнительные и самодополнительные графы. Матричные представления графов. Маршруты, цепи, циклы. Метрические характеристики графов. Подграфы. Операции над графами. Двудольные графы. Поиск в ширину. Деревья. Алгоритм Краскала. Эйлеровы графы. Теорема о разложении графа на попарно реберно-непересекающиеся цепи. Гамильтоновы графы. Планарные графы. Теорема Фари (Вагнера). Теорема Эйлера. Критерий Понтрягина-Куратовского. Раскраски. Хроматический полином. Тема 14. «Ориентированные графы» (2 часа) Основные понятия и определения. Типы орграфов. Матричные представления орграфов. Нахождение сильных компонент. Базы и антибазы. Независимые множества вершин в орграфах. Доминирующие множества вершин в орграфах. Тема 15. «Алгоритмы и логические схемы алгоритмов» (4 часа) Понятия примитивно рекурсивной и частично рекурсивной функций. Машина Тьюринга. Нормальный алгорифм Маркова. Алгоритмы Колмогорова, Ляпунова. Алгоритмически неразрешимые проблемы. 9 2.2. Перечень тем практических/лабораторных занятий Тема 1. «Метод математической индукции (ММИ)» (2 часа, метод «мозгового штурма») Доказательство равенств. Доказательство неравенств. Доказательство свойств. Тема 2. «Высказывания. Логические операции» (1 час) Построение таблиц истинности. Тема 3. «Основные тождества логики высказываний» (1 час) Доказательство тождеств с помощью таблиц истинности. Тема 4. «Дизъюнктивные нормальные формы (ДНФ). Конъюнктивные нормальные формы (КНФ)» (2 часа) Приведение высказываний к ДНФ и КНФ. Тема 5. «Совершенные дизъюнктивные нормальные формы (СДНФ). Совершенные конъюнктивные нормальные формы (СКНФ)» (1 час) Построение высказываний по таблице истинности. Тема 6. «Приложения алгебры высказываний» (1 час) Задачи на голосование. Тема 7. «Полиномы Жегалкина» (2 часа, метод Jigsaw) Приведение высказывания к полиному Жегалкина двумя способами. Тема 8. «Дискретный анализ» (2 часа, метод Learning Together) Проверка системы булевых функций на полноту. Тема 9. «Введение в теорию множеств» (2 часа, метод Jigsaw) Понятие множества. Основные определения, терминология. Основные теоретико-множественные операции. Круги Эйлера (диаграммы Венна). Основные теоретико-множественные тождества. Булеан (степень) множества. Декартовы произведения. Декартова степень. Тема 10. «Предикаты» (2 часа, метод «снежный ком») Понятие n-местного предиката. Основные определения, терминология. Обратные предикаты. Отношения. Суперпозиция отношений. Отношение эквивалентности. Отношение порядка. Частично упорядоченные множества (ЧУМ). Линейно упорядоченные множества (ЛУМ). Лексикографический порядок. 10 Тема 11. «Функции и отображения» (2 часа, метод « снежный ком») Функциональные отношения. Области определения и значений. Образы и прообразы элементов и множеств. Суперпозиция отображений. Инъективные, сюръективные и биективные отображения. Сужение отображения. Обратные отображения. Согласованные отображения. Операции. Тема 12. «Элементы комбинаторики» (4 часа, метод «мозгового штурма») Основные принципы комбинаторики. Перестановки, размещения, сочетания. Свойства сочетаний. Перестановки с повторениями, размещения с повторениями, сочетания с повторениями. Бином Ньютона, следствия. Формула включений и исключений. Беспорядки. Тема 13. «Теория неориентированных графов» (4 часа) Введение в теорию графов: основные понятия и определения. Дополнительные и самодополнительные графы. Матричные представления графов. Маршруты, цепи, циклы. Метрические характеристики графов. Подграфы. Операции над графами. Двудольные графы. Поиск в ширину. Деревья. Алгоритм Краскала. Эйлеровы графы. Теорема о разложении графа на попарно реберно-непересекающиеся цепи. Гамильтоновы графы. Планарные графы. Теорема Фари (Вагнера). Теорема Эйлера. Критерий Понтрягина-Куратовского. Раскраски. Хроматический полином. Тема 14. «Ориентированные графы» (2 часа) Основные понятия и определения. Типы орграфов. Матричные представления орграфов. Нахождение сильных компонент. Базы и антибазы. Независимые множества вершин в орграфах. Доминирующие множества вершин в орграфах. Тема 15. «Алгоритмы и логические схемы алгоритмов» (3 часа) Понятия примитивно рекурсивной и частично рекурсивной функций. Машина Тьюринга. Нормальный алгорифм Маркова. Алгоритмы Колмогорова, Ляпунова. Алгоритмически неразрешимые проблемы. 11 3. ОБРАЗОВАТЕЛЬНЫЕ ТЕХНОЛОГИИ Лекционные и практические занятия построены как типичные лекционные занятия классической математической дисциплины в соответствии с требованиями государственных стандартов для подготовки специалистов вышеперечисленных специальностей. При проведении лекционных занятий используется презентационный пакет, созданный с помощью ПО «Power Point». При проведении практических занятиях применяются следующие интерактивные методы обучения: – метод Jigsaw: студенты организуются в группы по 4–6 человек для работы над заданием, которое разбито на фрагменты (логические или смысловые блоки). Каждый член малой группы находит материал по своей части. Затем студенты, изучающие один и тот же вопрос, но состоящие в разных малых группах, встречаются и обмениваются данной информацией. Далее они возвращаются в свои малые группы и обучают всему новому, что узнали сами от других членов малых групп. На заключительном этапе преподаватель может попросить любого члена команды ответить на любой вопрос по данной теме; – метод Learning Together: учебная группа студентов разбивается на разнородные (по уровню обученности) группы в 3–5 человек. Каждая малая группа получает одно задание, являющееся подзаданием какоголибо задания, над которым работает вся учебная группа. В результате совместной работы малых групп достигается решение общего задания; – метод «мозгового штурма»: метод представляет собой разновидность групповой дискуссии, которая характеризуется сбором всех вариантов решений, гипотез и предложений, рожденных в процессе осмысления какой-либо проблемы, их последующим анализом с точки зрения перспективы дальнейшего использования или реализации на практике; – метод «снежный ком»: цель наработка и согласование мнений всех членов группы. При использовании этой техники в активное обсуждение включаются практически все студенты. При изучении курса студенты должны самостоятельно более углубленно изучить темы, предложенные учебной программой. В рамках изучения дисциплины «Дискретная математика» предполагаются следующие виды контроля знаний студентов: домашние задания; индивидуальные домашние задания; контрольные работы; промежуточная аттестация; итоговая аттестация (экзамен в форме тестирования). 12 4. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ИЗУЧЕНИЮ КУРСА 4.1. Перечень и тематика самостоятельных работ студентов по дисциплине ИДЗ: 1. Метод математической индукции. Доказательство равенств, неравенств, делимости и других свойств методом математической индукции. 2. Комбинаторика. Решение комбинаторных задач на использование формул и свойств числа сочетаний, размещений, перестановок, а также формулы включений и исключений. Контрольные работы: 1. Высказывание. Формализация высказываний. Построение таблиц истинности. Приведение высказывания к ДНФ, СДНФ, КНФ, СКНФ. 2. Теория множеств. Вычисление множеств. Составление теоретико-множественного выражения к известному множеству. Изображение множеств на кругах Эйлера. 3. Теория графов. Построение графа по заданной степенной последовательности. Нахождение метрических характеристик графа. Построение дополнительного графа и определенных типов подграфов. 4.2. Контрольные вопросы для самостоятельной оценки качества освоения учебной дисциплины 1. В чем суть метода математической индукции? 2. Сформулируйте понятие высказывания. Приведите примеры высказываний и предложений, таковыми не являющимися. 3. Дайте определения основных логических операций. 4. Какова зависимость количества строк таблицы истинности булевой функции от числа логических переменных? 5. Какая форма высказывания называется ДНФ, КНФ, СДНФ, СКНФ? 6. Перечислите шаги алгоритма приведения высказывания к ДНФ, КНФ с помощью логических преобразований. 13 7. Перечислите шаги алгоритма приведения высказывания к СДНФ, СКНФ с помощью таблицы истинности. 8. Дайте определение полинома Жегалкина. 9. Опишите известные Вам способы приведения высказывания к полиному Жегалкина. 10. Дайте характеристику основных классов булевых функций. 11. Что называется замыканием множества булевых функций? 12. Перечислить свойства замыкания. 13. Сформулируйте теорему Поста о функциональной полноте. 14. Дайте понятие множества. 15. Дайте определения основных операций над множествами. 16. Что такое булеан? 17. Дайте определение n-местного предиката. 18. Какое отображение называется инъективным? Приведите примеры инъекции и отображения, не являющегося инъективным. 19. Какое отображение называется сюръективным? Приведите примеры сюръективного отображения и отображения, таковым не являющимся. 20. Что такое биекция? Приведите примеры. 21. Перечислите основные свойства комбинаторики. 22. По какой формуле вычисляется число сочетаний с повторениями и без повторений? 23. Какова формула для подсчета числа размещений с повторениями и без повторений? 24. Дайте определения неориентированного и ориентированного графов. 25. Перечислите метрические характеристики графа. 26. Какие операции над графами Вам известны? 27. Опишите алгоритм Краскала? 28. Дайте определения Эйлерова графа. Приведите примеры. 29. Дайте определение Гамильтонова графа. Приведите примеры. 30. Сформулируйте теорему Эйлера. 31. Как строится хроматический полином? 32. Опишите известные Вам матричные представления графов. 33. Как устроена Машина Тьюринга? 34. Как определяется любой нормальный алгоритм? 14 4.3. Методические рекомендации по организации СРС В качестве самостоятельной работы предполагается выполнения домашних заданий, подготовка докладов и сообщений. 4.4. Рекомендации по работе с литературой Систематическое изложение основных разделов дискретной математики приведено в учебнике Новикова Ф.А. «Дискретная математика для программистов». В данном издании описаны важнейшие алгоритмы над дискретными объектами, а также основные способы представления объектов дискретной математики с помощью стандартных структур данных. В процессе изучения курса необходимо большое внимание уделить изучению основ теории графов, поскольку в теоретико-графовых терминах формулируется большое число задач, связанных с дискретными объектами. Теория графов является, по сути, языком дискретной математики. В учебном издании «Лекции по теории графов» / Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. достаточно полно изложены теоретические основы теории графов. При этом большое внимание уделяется вопросам применения теории графов к решению прикладных задач и построению эффективных алгоритмов. При изучении курса студент должен не только приобрести знания в различных областях дискретной математики, но и овладеть техникой оперирования с дискретными объектами. Именно этому и посвящено учебное издание Грэхем Р., Кнут Д., Паташник О. «Конкретная математика: Основание информатики». В помощь студентам в изучении дисциплины «Дискретная математика» имеются учебно-методическик разработки, подготовленные преподавателями кафедры математики и моделирования, включающие теоретический материал, практические задания, указания и методы решения задач по темам программы дисциплины. К ним относятся следующие издания: Шишмарев Ю.Е. Дискретная математика: конспект лекций. Ч. 1. – Владивосток: Изд-во ВГУЭС, 1997. Шишмарев Ю.Е. Дискретная математика: конспект лекций. Ч. 1. – 2-е изд., испр. и доп. Солодухиным К.С. – Владивосток: Изд-во ВГУЭС, 2001. Шишмарев Ю.Е. Дискретная математика: конспект лекций. Ч. 2. – Владивосток: Изд-во ВГУЭС, 2002. 15 Емцева Е.Д., Солодухин К.С. Дискретная математика: курс лекций. Ч. 3. – Владивосток: Изд-во ВГУЭС, 2002. Емцева Е.Д. Дискретная математика: конспект лекций. Ч. 4. – Владивосток: Изд-во ВГУЭС, 2003. Емцева Е.Д., Солодухин К.С. Дискретная математика: конспект лекций. Ч. 5. – Владивосток: Изд-во ВГУЭС, 2008. Шишмарев Ю.Е., Емцева Е.Д., Солодухин К.С. Дискретная математика: сборник задач. Ч. 1. – Владивосток: Изд-во ВГУЭС, 2000. Шишмарев Ю.Е., Емцева Е.Д., Солодухин К.С. Дискретная математика: сборник задач. Ч. 1. – 2-е изд., испр. и доп. – Владивосток: Изд-во ВГУЭС, 2002. Солодухин К.С. Дискретная математика: сборник задач. Ч. 3. – Владивосток: Изд-во ВГУЭС, 2006. 5. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ (МОДУЛЯ) 5.1. Основная литература Шапорев С.Д. Дискретная математика: курс лекций и практических занятий / С.Д. Шапорев. – СПб.: БХВ-Петербург, 2007. 5.2. Дополнительная литература Акимов О.Е. Дискретная математика: логика, группы, графы / О.Е. Акимов. – М: Лаборатория базовых знаний, 2003. Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати. – М.: Наука, 1973. Берж К. Теория графов и ее применение / К. Берж. – М.: ИЛ, 1962. Блох А.Ш. Граф-схемы и их применение / А.Ш. Блох. – Минск: Вышейш. школа, 1975. Виленкин Н.Я. Комбинаторика / Н.Я. Виленкин, А.Н. Виленкин, П.А. Виленкин. – М.: ФИМА, МЦНМО, 2006. Гаврилов Г.П. Задачи и упражнения по курсу дискретной математики / Г.П. Гаврилов, А.А. Сапоженко. – М.: Наука, 1992. 16 Гильберт Д. Основания математики / Д. Гильберт, П. Бернойс. – М.: Наука, 1979. Горбатов В.А. Основы дискретной математики / В.А. Горбатов. – М.: Высшая школа, 1986. Грэхем Р. Конкретная математика: Основание информатики / Р. Грэхем, Д. Кнут, О. Паташник; пер. с англ. – М.: Мир, 1998. Евстигнеев В.А. Теория графов: алгоритмы обработки деревьев / В.А. Евстигнеев, В.Н. Касьянов. – Новосибирск: Наука, 1994. Емеличев В.А. Лекции по теории графов / В.А. Емеличев, О.И. Мельников, В.И. Сарванов, Р.И. Тышкевич. – М.: Наука, 1990. Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения / Я.М. Ерусалимский. – М.: Вузовская книга, 2000. Кемени Дж. Введение в конечную математику / Дж. Кемени, Дж. Снелл, Дж. Томпсон. – М.: ИЛ, 1963. Кристофидес Н. Теория графов. Алгоритмический подход / Н. Кристофидес. – М.: Мир, 1978. Кузнецов О.П. Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. – М.: Энергоатомиздат, 1988. Мальцев А.И. Алгебраические системы / А.И. Мальцев. – М.: Наука, 1970. Мендельсон Н. Введение в математическую логику / Н. Мендельсон. – М.: Мир, 1974. Москинова Г.И. Дискретная математика. Математика для менеджера в примерах и упражнениях / Г.И. Москинова. – М.: Логос, 2003. Новиков Ф.А. Дискретная математика для программистов / Ф.А.Новиков. – СПб.: Питер, 2001. Оре О. Теория графов / О. Оре. – М.: Наука, 1980. Перязев Н.А. Основы теории булевых функций / Н.А. Перязев. – М.: Физматлит, 1999. Романовский И.В. Дискретный анализ / И.В. Романовский. – СПб.: Невский Диалект: БВХ – Петербург, 2003. Татт У. Теория графов / У. Татт. – М.: Мир, 1988. Форд Л. Потоки в сетях / Л. Форд, Д. Фалкерсон. – М.: Мир, 1966. Харари Ф. Теория графов / Ф. Харари. – М.: Мир, 1973. Харари Ф. Перечисление графов / Ф. Харари, Э. Палмер. – М.: Мир, 1977. Цой С. Прикладная теория графов / С. Цой, С.М. Цхай. – Алма-Ата: Наука, 1971. Яблонский С.В. Введение в дискретную математику / С.В. Яблонский; под ред. В.А. Садовничего. – М.: Высшая школа, 2001. 17 5.3. Интернет-ресурсы http://www.vvsu.ru/ebook. 6. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ Техническое и лабораторное обеспечение: аудитория с мультимедийным оборудованием. 7. СЛОВАРЬ ОСНОВНЫХ ТЕРМИНОВ Высказывание – предложение, которое может быть истинно или ложно. Граф – это совокупность непустого множества вершин и множества пар вершин (связей между вершинами). Комбинаторика – раздел математики, связанный с изучением количества комбинаций, подчинённых тем или иным условиям, которые можно составить из заданного конечного множества объектов. Множество – совокупность различных элементов, мыслимая как единое целое (Бертран Расселл). Отображение – соответствие между множествами, при котором каждому элементу одного множества ставится в соответствие единственный элемент другого множества. Предикат – функция с множеством значений {0,1}, определенная на декартовом произведении множеств, или, в другой терминологии, – множество истинности такой функции. 18 СОДЕРЖАНИЕ ВВЕДЕНИЕ ................................................................................................... 3 1. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЕ УКАЗАНИЯ ...................... 4 1.1. Цели освоения учебной дисциплины ............................................... 4 1.2. Место учебной дисциплины в структуре ООП (связь с другими дисциплинами) ...................................................... 4 1.3. Компетенции обучающегося, формируемые в результате освоения учебной дисциплины ......................................................... 5 1.4. Основные виды занятий и особенности их проведения ................. 6 1.5. Виды контроля и отчетности по дисциплине .................................. 7 2. СТРУКТУРА И СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ (МОДУЛЯ) ................................................................................................ 7 2.1. Темы лекций ....................................................................................... 7 2.2. Перечень тем практических/лабораторных занятий ..................... 10 3. ОБРАЗОВАТЕЛЬНЫЕ ТЕХНОЛОГИИ ............................................... 12 4. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ИЗУЧЕНИЮ КУРСА ... 13 4.1. Перечень и тематика самостоятельных работ студентов по дисциплине .................................................................................. 13 4.2. Контрольные вопросы для самостоятельной оценки качества освоения учебной дисциплины ....................................................... 13 4.3. Методические рекомендации по организации СРС ...................... 15 4.4. Рекомендации по работе с литературой ......................................... 15 5. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ (МОДУЛЯ) ................................... 16 5.1. Основная литература ....................................................................... 16 5.2. Дополнительная литература ............................................................ 16 5.3. Интернет-ресурсы ............................................................................ 18 6. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ ...................................................................................... 18 7. СЛОВАРЬ ОСНОВНЫХ ТЕРМИНОВ ................................................. 18 Учебное издание Емцева Елена Дмитриевна ДИСКРЕТНАЯ МАТЕМАТИКА Рабочая программа учебной дисциплины Основная образовательная программа 210400.62 РАДИОТЕХНИКА 080500.62 БИЗНЕС-ИНФОРМАТИКА 230700.62 ПРИКЛАДНАЯ ИНФОРМАТИКА 230400.62 ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ Компьютерная верстка С.Ю. Заворотной Подписано в печать 10.07.2012. Формат 6084/16. Бумага писчая. Печать офсетная. Усл. печ. л. 1,2. Уч.-изд. л. 1,1. Тираж 100 экз. Заказ ______________________________________________________________ Издательство Владивостокского государственного университета экономики и сервиса 690600, Владивосток, ул. Гоголя, 41 Отпечатано во множительном участке ВГУЭС 690600, Владивосток, ул. Гоголя, 41