ГОТОВО_БИ_1к_Дискретная математика_печx

Федеральное государственное автономное образовательное учреждение
высшего профессионального образования
"Национальный исследовательский университет
"Высшая школа экономики"
Факультет экономики, менеджмента и бизнес-информатики
Кафедра информационных технологий в бизнесе
Рабочая программа дисциплины
Дискретная математика
для образовательной программы Бизнес-информатика
направления подготовки 38.03.05 Бизнес-информатика
уровень бакалавр
Разработчик программы
Морозенко В.В., к.ф.-м.н., доцент, vmorozenko@hse.ru
Одобрена на заседании кафедры информационных технологий в бизнесе
«___»____________ 2015 г.
И.о. зав. кафедрой Викентьева О.Л._______
Рекомендована Академическим советом образовательных программ бакалавриата «Бизнесинформатика» и «Программная инженерия» и образовательной программы магистратуры «Информационная аналитика в управлении предприятием»
«___»____________ 2015 г., № протокола_________________
Утверждена «___»____________ 2015 г.
Академический руководитель образовательной программы
А.И. Дерябин _________________
Пермь, 2015
Настоящая программа не может быть использована другими подразделениями университета и
другими вузами без разрешения подразделения-разработчика программы.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
1
Область применения и нормативные ссылки
Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности.
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки 38.03.05 Бизнес-информатика подготовки бакалавра,
изучающих дисциплину Дискретная математика.
Программа разработана в соответствии с:
 Образовательным стандартом федерального государственного автономного образовательного учреждения высшего профессионального образования национального исследовательского университета «Высшая школа экономики» по направлению 38.03.05
Бизнес-информатика, утвержденным Ученым советом Национального исследовательского университета «Высшая школа экономики», протокол 26.12.2014 №10;
 Рабочим учебным планом университета по направлению подготовки 38.03.05 Бизнесинформатика, утвержденным в 2015 г.
2
Цели освоения дисциплины
Целями освоения дисциплины «Дискретная математика» в области обучения является
изучение дискретных структур, которые применяются при разработке математических моделей и
алгоритмов
для
решения
социально-экономических,
информационно-технологических,
оптимизационных и вычислительных задач. Аппарат дискретной математики необходим при
создании и эксплуатации современных вычислительных систем, средств хранения, обработки и
передачи информации, автоматизированных систем управления и проектирования. Содержание
программы дисциплины «Дискретная математика» должно обеспечить базовую подготовку
студентов в процессе формирования устойчивых теоретических знаний и практических навыков
разработки и анализа алгоритмов для дальнейшей учебной, научной и профессиональной
деятельности.
Для достижения поставленных целей при изучении дисциплины «Дискретная математика»
решаются следующие задачи:
– познакомить студентов с основными дискретными структурами и дискретными математическими моделями;
– познакомить с эффективными алгоритмами для решения наиболее известных задач дискретной математики;
– дать представление об иерархии сложности задач дискретной оптимизации, приближенных и
эвристических методах решения наиболее трудных комбинаторных задач.
В области воспитания личности целью дисциплины является формирование социальноличностных качеств студентов: целеустремленности, организованности, трудолюбия, ответственности,
гражданственности, коммуникативности, толерантности, готовности к ответственному и целеустремленному решению поставленных задач во взаимодействии с обществом, коллективом, партнерами, способность проявлять гражданственность, толерантность и высокую общую культуру в общении с подчиненными и сотрудниками всех уровней, способность к саморазвитию, повышению своей квалификации
и мастерства, понимание социальной значимости своей будущей профессии, высокую мотивацию к выполнению профессиональной деятельности.
Курс призван повысить общую эрудицию студентов, дать им возможность ориентироваться
в данной предметной области, подготовить к применению теоретических знаний при решении различных задач оптимизации и разработке средств автоматизированной поддержки принятия решений.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
3
Компетенции обучающегося, формируемые в результате освоения дисциплины
В результате освоения дисциплины студент должен:
 Знать:
– основы теории графов;
– основы теории булевых функций;
– элементы комбинаторики;
– основы теории кодирования;
– основы теории конечных автоматов;
– основы логики высказываний и предикатов;
 Уметь:
– исследовать графы, находить их основные характеристики и структурные особенности;
– применять основные алгоритмы теории графов;
– представлять булевы функции в виде формул заданного типа;
– проверять множество булевых функций на полноту;
– генерировать и подсчитывать число комбинаторных объектов с заданными свойствами;
– исследовать и строить схемы кодирования, отвечающие заданным требованиям;
– решать задачи анализа, синтеза и минимизации автоматов с заданными свойствами;
– проверять логичность рассуждений, основанных на предикатах.
 Иметь навыки (приобрести опыт):
– применения аппарата теории графов для решения прикладных задач;
– применения булевых функций в логическом анализе;
– применения комбинаторных операций и комбинаторных принципов;
– применения методов теории кодирования в области информационных технологий;
– применения основных алгоритмов теории конечных автоматов для решения прикладных задач.
В результате освоения дисциплины студент осваивает следующие компетенции:
Компетенция
Способен вести исследовательскую деятельность,
включая анализ проблем,
постановку целей и задач,
выделение объекта и
предмета исследования,
выбор способа и методов
исследования, а также
оценку его качества
Способен работать, используя основные методы,
способы и средства получения, хранения, переработки информации
Способен выбирать рациональные ИС и ИКТрешения для управления
бизнесом
Код по Дескрипторы – основные признаки
ФГОС/ освоения (показатели достижения
НИУ
результата)
УК-6
Даёт четкие определения основных понятий информатики и программирования, видит их связь,
четко формулирует задачи, анализирует условия и обоснованно выбирает методы решения, уверенно
интерпретирует результаты
ПК-3
Демонстрирует умение обосновывать предлагаемые решения (не
только разрабатывать алгоритмы и
программы, реализующие их, но и
уметь доказывать правильность
программ, анализировать и оценивать эффективность решений)
Демонстрирует умение оценивать
и отбирать наиболее важную информацию, максимально полезную
для решения поставленных задач.
ПК-16
Формы и методы обучения,
способствующие формированию и развитию компетенции
Аудиторные занятия проводятся в форме, предполагающей активное участие студентов в работе, обсуждение
проблем и анализ решений,
предлагаемых студентами и
преподавателем на лекциях
и практических занятиях.
Выполнение заданий с постепенным наращиванием
требований к сложности,
используемым методам и
средствам решения
Самостоятельное изучение
отдельных тем при подготовке к контрольным мероприятиям
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
Компетенция
Способность выполнять
технико-экономическое
обоснование проектов по
совершенствованию и регламентацию бизнеспроцессов и ИТинфраструктуры предприятия
Способен обрабатывать,
анализировать и систематизировать информацию
по теме исследования, используя соответствующий
математический аппарат и
инструментальные средства
4
Код по Дескрипторы – основные признаки
ФГОС/ освоения (показатели достижения
НИУ
результата)
ПК-26
Демонстрирует способность применять полученные знания для
решения новых задач в различных
областях, владеет навыками самостоятельного поиска, изучения и
выбора методов и средств решения
поставленных задач.
ПК-31
Знает и может использовать на
практике математический аппарат,
формальные средства, лежащие в
основе различных методов разработки алгоритмов и программ,
подготовлен к самостоятельному
изучению новых технологий, инструментальных средств разработки программ.
Формы и методы обучения,
способствующие формированию и развитию компетенции
Выполнение заданий с постепенным наращиванием
требований к сложности,
используемым методам и
средствам решения
Использование и сравнение
формальных средств при
изучении основных методов
разработки программ и
средств алгоритмических
языков, получение формальных оценок и сравнение их с
результатами, полученными
при практической реализации.
Место дисциплины в структуре образовательной программы
Настоящая дисциплина относится к профессиональному блоку дисциплин, обеспечивающих
базовую подготовку бакалавров.
Изучение данной дисциплины базируется на следующих дисциплинах:
 Математический анализ;
 Алгебра;
 Программирование;
 Информатика, математическая логика и теория алгоритмов.
Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и
компетенциями:
 понимание основных концепций, принципов, теорий и фактов, связанных с
информатикой и программированием;
 умение применять основы алгебры, информатики и программирования к разработке
алгоритмов;
 навыки математического моделирования, анализа сложности и корректности
математических моделей.
Основные положения дисциплины должны быть использованы в дальнейшем при изучении
следующих дисциплин:
 Введение в программную инженерию;
 Научно-исследовательский семинар «Актуальные проблемы бизнес-информатики»
 Компьютерная графика;
 Программирование;
 Управление данными;
 Моделирование процессов и систем;
 Оптимизация и математические методы решений;
 Нечеткая логика и нейронные системы.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
5
Тематический план учебной дисциплины
№
Название раздела
Раздел 1. Теория графов
Основные понятия теории графов, способы задания
Типы графов и обходы графов
Экстремальные задачи на графах
Изоморфизм, планарность, правильная вершинная
раскраска
Ориентированные графы
Раздел 2. Булевы функции
Элементарные булевы функции, канонические способы задания
Замкнутые классы булевых функций
Полные системы булевых функций, базисы
Раздел 3. Логика высказываний и предикатов
Высказывания, методы проверки логического следования
Предикаты, предикатные формулы
Метод резолюций в логике высказываний
Метод резолюций в логике предикатов
Раздел 4. Комбинаторика
Основные комбинаторные операции
Комбинаторные принципы
Биномиальная и полиномиальная формулы
Рекуррентные соотношения
Раздел 5. Кодирование
Однозначно декодируемые схемы алфавитного кодирования
Экономное кодирование, коды с минимальной избыточностью
Помехоустойчивое кодирование, самокорректирующиеся коды
Методы сжатия и шифрования информации
Раздел 6. Теория автоматов
Конечные детерминированные автоматы, способы
задания
Регулярные выражения, распознавание регулярных
языков
Задачи анализа и синтеза автоматов
Задача минимизации автоматов
Логические автоматы
Раздел 7. Рекурсивные функции
Примитивно-рекурсивные функции
Примитивно-рекурсивные операторы и предикаты
Частично-рекурсивные функции
ИТОГО:
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
6
Аудиторные часы
ПрактичеЛекСемиские заняции
нары
тия
10
12
2
2
2
2
2
4
Всего
часов
42
8
8
10
Самостоятельная
работа
20
4
4
4
8
2
2
4
8
24
2
6
2
6
4
12
8
2
2
4
8
8
32
2
2
8
2
2
8
4
4
16
8
2
2
4
8
8
8
32
8
8
8
8
32
2
2
2
8
2
2
2
2
8
2
2
2
8
2
2
2
2
8
4
4
4
16
4
4
4
4
16
8
2
2
4
8
2
2
4
8
2
2
4
8
42
2
10
2
10
4
22
8
2
2
4
8
2
2
4
8
8
10
24
8
8
8
228
2
2
2
6
2
2
2
56
2
2
2
6
2
2
2
58
4
4
6
12
4
4
4
114
Формы контроля знаний студентов
Тип контроля
Форма контроля
1
Текущий
Итоговый
Контрольная работа
Экзамен
2
1 год
3
Параметры
4
8
*
Письменная работа (80 мин.)
Письменный экзамен (80мин.)
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
6.1
Критерии оценки знаний, навыков
При выполнении контрольной работы студент должен продемонстрировать знания основных
понятий и алгоритмов из учебного курса, умения применять указанные алгоритмы для решения
предложенных задач и обосновывать корректность полученных решений. Количество задач в контрольной работе – от 6 до 8. Каждая задача оценивается в 1-2 балла, так что общая сумма баллов
равна 10.
При выполнении письменной экзаменационной работы студент должен продемонстрировать
знания основных понятий и алгоритмов из всего учебного курса, умения применять указанные алгоритмы для решения предложенных задач и обосновывать корректность полученных решений. Работа представляет собой тест, содержащий 30 вопросов. К каждому вопросу предлагается из пяти
предложенных ответов выбрать единственный правильный.
Оценки по всем формам текущего контроля выставляются по 10-ти балльной шкале.
6.2
Порядок формирования оценок по дисциплине
Оценка за итоговый контроль основывается на результатах выполнения контрольной работы
и экзамена.
Преподаватель оценивает работу студентов на семинарских: на семинарских занятиях студенты работают по карточкам, на которых указаны практические задания. Работа каждого студента
оценивается с учетом количества задач, решенных им во время занятия. Оценки за работу на семинарских занятиях преподаватель выставляет в рабочую ведомость. Оценка по 10-ти балльной шкале
за работу на семинарских занятиях определяется перед промежуточным или итоговым контролем и
называется - Оаудиторная.
Накопленная оценка за текущий контроль учитывает результаты студента по текущему
контролю следующим образом:
Онакопленная= 2/3*Отекущий + 1/3* Оаудиторная
где
Отекущий рассчитывается как взвешенная сумма всех форм текущего контроля, предусмотренных в РУП:
Отекущий = Ок/р,
Способ округления накопленной оценки текущего контроля: арифметический.
Результирующая оценка за дисциплину рассчитывается следующим образом
Орезультирующая = 0,6* Онакопленная + 0,4*·Оэкз
Способ округления накопленной оценки промежуточного (итогового) контроля в форме зачета: арифметический.
На пересдаче студенту не предоставляется возможность получить дополнительный балл для
компенсации оценки за текущий контроль.
На экзамене студент может получить дополнительный вопрос (дополнительную практическую задачу, решить к пересдаче домашнее задание), ответ на который оценивается в 1 балл.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
7
Содержание дисциплины
Раздел 1.Теория графов
Тема 1. Основные понятия теории графов, способы задания.
Основные определения, понятия, обозначения теории графов: степень вершины, смежность
вершин, инцидентность вершин и ребер, удаленность вершины, радиус, диаметр, центр графа. Основные способы задания графов: матрицы смежности и инциденций.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 2. Типы графов и обходы графов.
Основные типы графов: нулевой, полный, двудольный, связный, дополнительный граф. Основные операции над графами: добавление и удаление вершины, добавление и удаление ребра, отождествление вершин, стягивание графа. Эйлерова цепь, эйлеров цикл, критерии их существования, алгоритм
Флери. Гамильтонова цепь, гамильтонов цикл, достаточные условия их существования.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 3. Экстремальные задачи на графах.
Критерий двудольности графа, правильная раскраска двудольного графа. Свойства деревьев,
нахождение центра, радиуса и диаметра дерева, кодирование деревьев, остовное дерево графа. Задача о
минимальном остовном дереве, алгоритмы Прима и Краскала. Задача коммивояжера, «жадный алгоритм». Задача о кратчайшем пути, алгоритм Дейкстры.
Количество часов аудиторной работы: 6.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 4. Изоморфизм, планарность, правильная вершинная раскраска.
Изоморфизм, гомеоморфизм, планарность графов, методы установления изоморфизма или
неизоморфизма, планарности или непланарности, формула Эйлера, критерий ПонтрягинаКуратовского, необходимые признаки планарности. Правильная вершинная и реберная раскраска графов, хроматическое число, «жадный» алгоритм правильной раскраски, хроматический многочлен, его
свойства.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 5. Ориентированные графы.
Графы и бинарные отношения. Достижимость и частичное упорядочение. Транзитивное замыкание. Топологическая сортировка, алгоритм Демукрона. Календарное планирование, диаграммы Ганта.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2009, с. 189-209.
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 3-45.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
Для данного и всех последующих разделов: лекционные занятия проводятся в традиционной форме с изложением нового теоретического материала и примерами типовых задач, при решении которых используется данная теория. На семинарских занятиях студенты работают с карточками, содержащими типовые задачи, ранее рассмотренные на лекции. Каждый студент работает
самостоятельно, в своем темпе, наиболее сложные задания разбираются на доске с участием преподавателя. Задачи, которые студенты не успели решить в аудитории, остаются им для самостоятельной работы дома.
Раздел 2. Булевы функции
Тема 6. Элементарные булевы функции, канонические способы задания.
Элементарные булевы функции, способы задания булевых функций, существенные и фиктивные переменные, карты Карно. Разложение булевых функций в полиномы Жегалкина, совершенные
дизъюнктивные и совершенные конъюнктивные нормальные формы (СДНФ и СКНФ). Минимизация
дизъюнктивных и конъюнктивных нормальных форм с помощью карт Карно.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 7. Замкнутые классы булевых функций.
Замкнутые классы самодвойственных, монотонных, линейных функций и функций, сохраняющих 0 и 1. Леммы о функциях, не принадлежащих замкнутым классам.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 8. Полные системы булевых функций, базисы.
Примеры полных систем булевых функций и базисов, теорема о двух системах, критерий Поста
функциональной полноты, алгоритм проверки системы на полноту.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2009, с. 79-100.
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 45-86.
Раздел 3. Логика высказываний и предикатов
Тема 9. Высказывания, методы проверки логического следования.
Интерпретация составного высказывания, тавтология, противоречие, нейтральное, выполнимое, опровержимое высказывание. Логическое следование, логическая эквивалентность составных
высказываний, методы проверки логического следования и логической эквивалентности, сведение к
противоречию, сведение к тавтологии.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 10. Предикаты, предикатные формулы.
Предметная область, предметные переменные, область истинности предиката, логические
операции над предикатами, кванторы. Предикатная формула, интерпретация, модель, общезначимые, противоречивые, выполнимые, опровержимые формулы. Список основных эквивалентностей,
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
методы проверки логического следования и логической эквивалентности для некоторых классов
предикатных формул, геометрический смысл кванторов.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 11. Метод резолюций в логике высказываний.
Дизъюнкт, резольвента. Основное правило метода резолюций. Схема метода резолюций для
логики высказываний. Примеры.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 12. Метод резолюций в логике предикатов.
Предваренный и нормальный вид предикатной формулы, элиминация кванторов, сколемовские константы и функции. Процедура унификации, унификаторы, основное правило метода резолюций, резольвента, схема метода резолюций для логики предикатов. Примеры.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2009, с. 100-134.
Пентус А.Е., Пентус М.Р. Математическая теория формальных языков: Учеб.пособие. – М.:
БИНОМ. Лаборатория знаний: Интернет-Университет информационных технологий, 2006.
Раздел 4. Комбинаторика
Тема 13. Основные комбинаторные операции
Основные комбинаторные операции: выборки с возвращением и без возвращения элементов,
выборки с упорядочением и без упорядочения элементов, сочетания и размещения, числа сочетаний и
размещений.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 14. Комбинаторные принципы
Основные комбинаторные принципы: принцип сложения, принцип умножения, принцип дополнения, принцип включения-исключения, принцип кодирования.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 15. Биномиальная и полиномиальная формулы
Треугольник Паскаля, бином Ньютона, биномиальные коэффициенты, их основные свойства.
Полиномиальная формула.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 16. Рекуррентные соотношения
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
Рекуррентные соотношения. Решение линейных однородных рекуррентных соотношений с постоянными коэффициентами через характеристическое уравнение, решение неоднородных рекуррентных соотношений с постоянными коэффициентами методом неопределенных коэффициентов.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2009, с. 134-159.
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 86-127.
Раздел 5. Кодирование
Тема 17. Однозначно декодируемые схемы алфавитного кодирования.
Схемы алфавитного кодирования, достаточные признаки однозначной декодируемости, необходимый признак однозначной декодируемости, неравенство Макмиллана-Крафта. Задача исследования
схемы алфавитного кодирования на однозначную декодируемость Теорема Маркова, алгоритм Маркова.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 18. Экономное кодирование, коды с минимальной избыточностью.
Избыточность схемы кодирования, частотные характеристики алфавита, схемы с минимальной
избыточностью, коды Хаффмана.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 19. Помехоустойчивое кодирование, самокорректирующиеся коды.
Двоичные равномерные коды, расстояние Хэмминга, кодовое расстояние, линейные коды, способы их задания, свойства, двойственные коды. Проблема защиты каналов связи, помехоустойчивые
схемы кодирования, коды Хэмминга. Методы сжатия информации, алгоритм Лемпеля-Зива.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 20. Методы сжатия и шифрования информации.
Сжатие информации, архиваторы, метод Лемпеля-Зива-Велча. Схемы шифрования: симметричные и асимметричные, с открытым и секретным ключом. Методы криптоанализа.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2002, с. 159-189.
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 127-154.
Раздел 6. Теория автоматов
Тема 21. Конечные детерминированные автоматы, способы задания.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
Схема абстрактного конечного автомата, принципы его функционирования, способы задания: таблицей и диаграммой Мура. Автоматы-распознаватели и автоматы-преобразователи, автоматы Мура, автоматы Мили, автоматы-генераторы.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 22. Регулярные выражения, распознавание регулярных языков.
Слова и языки, операции над ними: сложение, умножение, итерация, дополнение. Регулярные выражения и регулярные языки, теорема Клини.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 23. Задачи анализа и синтеза автоматов.
Задача анализа автомата-распознавателя, алгоритм для решения задачи анализа, представление распознаваемого языка в виде регулярного выражения. Задача синтеза автомата-распознавателя
по заданному регулярному выражению, детерминированные двухполюсные источники, замкнутые
множества состояний источника, преобразование источника в автомат.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 24. Задача минимизации автоматов.
Эквивалентные автоматы, эквивалентные состояния автомата, задача минимизации автоматов-распознавателей и автоматов-преобразователей, алгоритм Мили для решения задачи минимизации.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 25. Логические автоматы.
Детерминированные и недетерминированные функции, вес детерминированной функции и
её задание с помощью бесконечного дерева, автоматная (ограниченно-детерминированная) функция, её задание конечным деревом, диаграммой Мура и таблицей. Способы задания логических автоматов: канонической таблицей, канонической системой, схемой их функциональных элементов с
памятью. Операции над логическими автоматами: суперпозиция и введение обратной связи.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 6 часов.
Литература по разделу:
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 154-204.
Раздел 7. Рекурсивные функции
Тема 26. Примитивно-рекурсивные функции.
Простейшие рекурсивные функции, операции суперпозиции и примитивной рекурсии, обоснование примитивной рекурсивности некоторых элементарных функций.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
Тема 27. Примитивно-рекурсивные операторы и предикаты.
Операторы суперпозиции и примитивной рекурсии. Замкнутость класса примитивнорекурсивных функций относительно операторов суперпозиции и примитивной рекурсии. Примитивно-рекурсивные предикаты.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Тема 28. Частично-рекурсивные функции.
Операция минимизации, примеры всюду определенных и частичных рекурсивных функций,
функция Аккермана. Замкнутость класса частично-рекурсивных функций относительно операторов
суперпозиции, примитивной рекурсии и минимизации. Вычислимые по Тьюрингу функции, совпадение классов частично-рекурсивных и вычислимых по Тьюрингу функций. Понятие алгоритмически неразрешимой проблемы. Примеры алгоритмически неразрешимых проблем.
Количество часов аудиторной работы: 4.
Общий объем самостоятельной работы и распределение самостоятельной работы для разных
видов подготовки студента: 4 часа.
Литература по разделу:
Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008, с. 204220.
8
Образовательные технологии
Методические рекомендации преподавателю
На семинарских занятиях рекомендуется работа по индивидуальным карточкам, содержащим
задания по соответствующим разделам учебного курса. Студенты работают по карточкам самостоятельно или парами, используя записи лекций. Наиболее сложные задания разбираются на доске.
8.1
Методические указания студентам
На семинарских занятиях рекомендуется работа по индивидуальным карточкам, содержащим
задания по соответствующим разделам учебного курса. Задания, которые не были решены на семинаре, должны быть решены самостоятельно дома.
8.2
9
Тематика заданий текущего контроля
Примерные задания для контрольной работы:
для графа, заданного матрицей расстояний, требуется построить минимальное остовное дерево,
а также найти кратчайшие пути от фиксированной вершины до всех остальных вершин графа
(указание: использовать алгоритмы Прима/Краскала и Дейкстры);
для заданного комплекса работ требуется составить график выполнения работ в кратчайшие
сроки и список критических работ (указание: представить комплекс работ в виде взвешенного
орграфа, применить к нему алгоритм Демукрона, а затем заполнить таблицу, содержащую
наиболее ранние и наиболее поздние сроки начала и окончания работ).
для заданной системы булевых функции выяснить, является ли она базисом (указание:
применить теорему Поста о функциональной полноте системы булевых функций);
для заданной схемы алфавитного кодирования требуется проверить, является ли она однозначно
декодируемой (указание: применить алгоритм Маркова);
текстовая задача на вычисление числа комбинаторных объектов (указание: применить один из
комбинаторных принципов и формулу для числа сочетаний и/или размещений);
9.1
1)
2)
3)
4)
5)
Оценочные средства для текущего контроля и аттестации студента
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
6) проверить логичность рассуждений, содержащих предикатные формулы (указание: применить
метод резолюций);
7) построить автомат, распознающий язык, заданный регулярным выражением (указание: сначала
построить недетерминированный источник, распознающий данный язык);
8) применить оператор минимизации к заданной частично-рекурсивной функции (указание: ответ
записать в виде формулы).
9.2
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.
Вопросы для оценки качества освоения дисциплины
Основные понятия теории графов, удаленность вершины, центр, радиус и диаметр графа.
Способы задания графов, свойства матриц смежности и инциденций, теорема о рукопожатиях.
Основные операции над графами, неравенства для числа вершин, ребер и компонент связности
графа.
Типы графов, дополнительные графы, двудольные графы, критерий двудольности.
Обходы графов: эйлеровы цепи и циклы, необходимые и достаточные условия их
существования, алгоритм Флери.
Обходы графов: гамильтоновы цепи и циклы, достаточные условия их существования.
Деревья, их свойства, кодирование деревьев, остовные деревья.
Экстремальные задачи теории графов: минимальное остовное дерево, алгоритмы Прима и
Краскала.
Экстремальные задачи теории графов: задача коммивояжера, «жадный» алгоритм
Экстремальные задачи теории графов: задача о кратчайшем пути, алгоритм Дейкстры.
Изоморфизм и гомеоморфизм графов, методы доказательства изоморфности и неизоморфности
графов.
Плоские укладки графов, планарные графы, критерий Понтрягина-Куратовского.
Необходимые условия планарности, формула Эйлера для планарных графов.
Правильные вершинные раскраски графов, хроматическое число, неравенства для
хроматического числа.
Теорема о пяти красках, гипотеза четырех красок, «жадный» алгоритм.
Хроматический многочлен, его нахождение и свойства.
Задача о поиске выхода из лабиринта, реберная раскраска графа.
Ориентированные графы, источники и стоки, топологическая сортировка, алгоритм Демукрона.
Составление расписания выполнения комплекса работ в кратчайшие сроки методами теории
графов.
Элементарные булевы функции и способы их задания (табличный, векторный, формульный,
графический, карта Карно).
Существенные и фиктивные переменные булевых функций, основные тождества,
эквивалентные преобразования формул.
Линейные и нелинейные полиномы Жегалкина, разложение булевых функций в полином
Жегалкина методом неопределенных коэффициентов.
Линейные и нелинейные полиномы Жегалкина, разложение булевых функций в полином
Жегалкина методом эквивалентных преобразований.
Разложение булевых функций в СДНФ и СКНФ.
Минимизация ДНФ и КНФ методом эквивалентных преобразований.
Минимизация ДНФ и КНФ с помощью карт Карно.
Замкнутые классы булевых функций Т0, Т1, L, лемма о нелинейной функции.
Замкнутые классы булевых функций S и М, леммы о несамодвойственной и немонотонной
функции.
Полная система функций, теорема о двух системах булевых функций.
Теорема Поста о полноте системы булевых функций, алгоритм проверки системы на полноту,
базис.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
31. Схемы из функциональных элементов, правила построения и функционирования, метод синтеза
СФЭ, основанный на СДНФ и СКНФ.
32. Метод синтеза СФЭ, основанный на компактной реализации всех конъюнкций с помощью
универсального многополюсника, сложность получаемых схем.
33. Основные комбинаторные операции, сочетания и размещения (с возвращением и без
возвращения элементов).
34. Комбинаторные принципы сложения, умножения, дополнения, включения-исключения.
35. Биномиальные коэффициенты, их свойства, бином Ньютона.
36. Треугольник Паскаля, полиномиальная формула.
37. Однородные линейные рекуррентные соотношения, примеры, методы решения.
38. Неоднородные линейные рекуррентные соотношения, примеры, методы решения.
39. Алфавитное кодирование: необходимое и достаточные условия однозначности декодирования.
40. Алфавитное кодирование: теорема Маркова, алгоритм Маркова.
41. Коды с минимальной избыточностью (коды Хаффмана), метод построения.
42. Линейные коды, порождающая матрица, двойственный код.
43. Самокорректирующиеся коды (коды Хэмминга), метод построения.
44. Определение, схема и функционирование абстрактного автомата, способы задания автоматов.
45. Типы конечных автоматов, автоматы Мили и Мура, автоматы-генераторы.
46. Слова и языки, операции над ними, их свойства.
47. Регулярные выражения и регулярные языки, теорема Клини.
48. Задача анализа автоматов-распознавателей.
49. Задача синтеза автоматов-распознавателей.
50. Эквивалентные состояния автомата-распознавателя, эквивалентные автоматы-распознаватели,
минимизация автоматов-распознавателей, алгоритм Мили.
51. Эквивалентные
состояния
автомата-преобразователя,
эквивалентные
автоматыпреобразователи, минимизация автоматов- преобразователей, алгоритм Мили.
52. Детерминированные и недетерминированные функции, примеры, способы задания.
53. Ограниченно-детерминированные (автоматные) функции, способы их задания.
54. Логические автоматы, способы их задания, синтез двоичного сумматора.
55. Операции над логическими автоматами: суперпозиция и введение обратной связи.
56. Простые и составные высказывания.
57. Методы проверки логического следования в логике высказываний: сведение к тавтологии или к
противоречию, метод резолюций.
58. Предикаты и предикатные формулы.
59. Кванторы, их геометрическая интрепретация.
60. Метод резолюций проверки логического следования в логике предикатов.
61. Примитивно-рекурсивные функции и предикаты.
62. Операторы суперпозиции, примитивной рекурсии и минимизации.
63. Частично-рекурсивные функции.
9.3 Примеры заданий итогового контроля
1. Какие переменные являются существенными, а какие – фиктивными для функции
f ( x1 , x2 , x3 )  (01011111) ?
2.
Разложить в совершенную ДНФ и КНФ функцию f ( x1 , x2 , x3 )  (( x2 ~ x1 )  x3 )  x3 .
3.
Найти минимальную ДНФ и КНФ булевой функции f ( x1 , x2 , x3 )  (01011100) .
4.
Решить систему булевых уравнений
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
 x & ( y  z )  0,
 x  y  z  0.

5.
Каким из 5 замкнутых классов
f ( x1 , x2 , x3 )  x1 ~ ( x2  x3 )  x2 ?
T 0,
T1,
L,
S
и
M
принадлежит
6.
Функцию f ( x1 , x2 , x3 )  (* * 0 *1 * **) доопределить так, чтобы она сохраняла 0 и была самодвойственной.
7.
Написать полином Жегалкина для булевой функции f ( x1 , x2 , x3 )  (00111100) .
8.
Полна ли система функций x  y, y x. Является ли она базисом?
9.
Сколько булевых функций от n аргументов содержится во множестве T0 \ S ?
функция
10. Найти центр и диаметр корневого дерева, заданного кодом: (001 011 000 110 101 101).
11. Является ли планарным граф, заданный своей матрицей смежности? Ответ обосновать.
12. Изоморфны ли графы:
13. Найти кратчайшие пути от вершины 1 до остальных вершин, графа, заданного матрицей расстояний.
14. Вычислить хроматическое число и найти хроматический многочлен графа, заданного своей
матрицей инциденций:
1 0 0 1
 1 1 0 0
 0 1 1 0
 0 0 1 1


15. Построить минимальное остовное дерево графа, заданного матрицей расстояний:
  6 8 9 6
  8 9 6


   7 8
     8 
     
16. Найти кратчайшие пути от вершины 1 до остальных вершин, графа, заданного матрицей расстояний.
17. Связь между работами, входящими в состав проекта, задана таблицей. Требуется:
а) нарисовать сетевой график проекта;
б) составить список «критических» работ.
Наименование
работы
A
B
C
Предшествующие
работы
С, E
F
F
Длительность
работы
3
4
5
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
D
E
F
G
A, G
F
––
B, C, E
2
4
3
6
18. Используя алгоритм Маркова, для схемы кодирования ={01, 10, 103, 1033, 31001} найти слово, допускающее неоднозначное декодирование.
19. Построить префиксный код с длинами кодовых слов 1,1,2,2,2,2,2 в алфавите, содержащем минимальное количество букв.
20. Построить суффиксный код Хаффмана в алфавите {0,1} для набора частот {0.08, 0.12, 0.1, 0.25,
0.15, 0.3}. Вычислить избыточность полученной схемы. Какова была бы минимальная избыточность равномерной схемы в том же алфавите для заданного набора частот?
21. Слово (010 111 010) требуется отправить по каналу связи, используя код Хэмминга. Сколько
контрольных разрядов надо добавить и что нужно в них записать?
22. На выходе канала связи получено кодовое слово Хэмминга (100 110 100 111). Какое сообщение
было отправлено?
23. Найти коэффициент при 𝑥 6 в выражении (3 + 5𝑥 − 2𝑥 3 )10 .
24. Сколько существует семизначных чисел, делящихся на 5, в которых все цифры различны?
25. В течение 5 дней нужно провести 11 матчей. Сколько существует различных расписаний, согласно которым каждый день должен состояться хотя бы один матч?
26. Каждый из 20 спортсменов выстрелил по одному разу в крупную, среднюю и мелкую мишень.
Известно, что в мелкую мишень попали 6 человек, в среднюю – 10 человек, в крупную – 16 человек, в мелкую и среднюю – 2 человека, в мелкую и крупную – 5 человек, в среднюю и крупную – 8 человек, а во все три мишени – 1 человек. Сколько человек не попало ни в одну из мишеней? Сколько человек попало только в среднюю мишень?
27. Сколько существует трехзначных автомобильных номеров, в которых ровно 2 цифры совпадают?
28. Выписать все слова длины 3, принадлежащие языку, заданному регулярным выражением
a  (b  c*)  a * .
29. Построить конечный автомат, распознающий все слова в алфавите {a,b,c}, кроме слов ac и bac.
30. Нарисовать диаграмму Мура функции, заданной системой уравнений:
 y (2t )  x(2t  1) ~ x(2t )

y (2t  1)  0.

31. В автомате ввели обратную связь по переменным ( x1 , y1 ) .
Написать каноническую таблицу полученного автомата.
 y1 (t )  x2 (t )  q(t  1)

 y 2 (t )  x1 (t ) & x2 (t )
________

 q(t )  x1 (t )  q(t  1)

q(0)  0

10 Учебно-методическое и информационное обеспечение дисциплины
10.1 Базовый учебник
Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, 2009.
Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины Дискретная математика
для направления 38.03.05 «Бизнес-информатика» подготовки бакалавра
10.2 Основная литература
1. Морозенко В.В. Дискретная математика: Учеб.пособие. Пермь: Изд-во ПГУ, 2008.
2. Пентус А.Е., Пентус М.Р. Математическая теория формальных языков: Учеб.пособие. – М.:
БИНОМ. Лаборатория знаний: Интернет-Университет информационных технологий, 2006.
3. Шапорев С.Д. Дискретная математика: Курс лекций и практических занятий : учеб.пособие для
вузов. – СПб.: BVH-Санкт-Петербург, 2006.
10.3 Дополнительная литература
4. Акимов О.Е. Дискретная математика: логика, группы, графы. 2-е изд., дополн. М.:
Лаборатория Базовых Знаний, 2001.
5. Асанов М.О., Баранский В.А., Расин В.В. Дискретная математика: графы, матроиды,
алгоритмы. Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001.
6. Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы. М.: Издательский дом
«Вильямс», 2000.
7. Горбатов В.А. Фундаментальные основы дискретной математики. М.: Физматлит, 2000.
8. Романовский И.В. Дискретный анализ. Учебное пособие для студентов, специализирующихся
по прикладной математике и информатике. – Издание 2-е, исправленное. – СПб.: Невский
диалект, 2000.
10.4 Справочники, словари, энциклопедии
Справочная книга по математической логике: В 4-х частях/ Под ред. Барвайса Дж.- Ч.III.
Теория рекурсии. М.: Наука, 1982.
10.5 Программные средства
Не предусмотрены.
10.6 Дистанционная поддержка дисциплины
Использование системы LMS
11 Материально-техническое обеспечение дисциплины
Не требуется.