- •1Область применения и нормативные ссылки
- •2Цели освоения дисциплины
- •3Компетенции обучающегося, формируемые в результате освоения дисциплины
- •4Место дисциплины в структуре образовательной программы
- •5Тематический план учебной дисциплины
- •6Формы контроля знаний студентов
- •6.1Критерии оценки знаний, навыков
- •7Содержание дисциплины
- •1. Алгебра высказываний, предикаты и кванторы, логические функции.
- •2. Множества и соответствия.
- •3. Комбинаторика.
- •4. Бинарные отношения.
- •5. Математическая логика и логика предикатов.
- •6. Теория графов.
- •8Оценочные средства для текущего контроля и аттестации студента
- •8.1Тематика заданий текущего контроля
- •8.2Вопросы для оценки качества освоения дисциплины
- •9Порядок формирования оценок по дисциплине
- •10Учебно-методическое и информационное обеспечение дисциплины
- •10.1Базовый учебник
- •10.2Основная литература
- •10.3Дополнительная литература
9Порядок формирования оценок по дисциплине
Оценки всех форм контроля знаний осуществляются по 10-ти бальной шкале c точностью до 0,01 и не округляются. Округляется только итоговая оценка.
На границе "3/4" округление в меньшую сторону, во всех остальных случаях - "матема-тическое", т.е. 3,9 округляется до 3, но 5.5 - до 6.
Формула расчета (промежуточного) итогового балла:
ОИтог = 0,6·ОНакопл + 0,4·Экз,
где ОНакопл – накопленная оценка (полусумма оценок за контрольные работы), ОЭкз – оценка, полученная на экзамене.
10Учебно-методическое и информационное обеспечение дисциплины
10.1Базовый учебник
1. Кузнецов О.П. Дискретная математика для инженера, изд. 3. Спб: Лань, 2004.
10.2Основная литература
1. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Физматлит, 2001.
2. Шрейдер Ю.А. Равенство, сходство, порядок. – М.: Наука, 1971.
3. Виленкин Н.Я., Виленкин А.Н., Виленкин П.А. Комбинаторика. М.: ФИМА, МНЦМО, 2006.
4. Кузин Л.Т. Основы кибернетики. Том 2. М.: Энергия, 1979.
5. Кофман А. Введение в прикладную комбинаторику. – М.: Наука, 1975.
6. Берж К. Теория графов и ее применения. – М.: Изд-во иностранной литературы, 1964.
10.3Дополнительная литература
1. Яблонский С.В. Введение в дискретную математику. – М. : Наука, 1975.
2. Алескеров Ф.Т., Хабина Э.Л., Шварц Д.А. Бинарные отношения, графы и коллективные решения. - М.: Физматлит, 2012.
3. Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973.
4. Кристофидес Н. Теория графов. Алгоритмический подход. - М.: Мир, 1978.
5. Оре О. Теория графов. - М.: Наука, 1980.
