4Место дисциплины в структуре образовательной программы

Настоящая дисциплина относится к циклу дисциплин ОПД.00 «Общие профессиональные дисциплины направления» и блоку дисциплин СД.00 «Специальные дисциплины» и является базовой.

Изучение данной дисциплины базируется на следующих дисциплинах:

• Начала математического анализа;

• Геометрия;

• Алгебра;

• Начала информатики.

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

• Знаниями основных определений и теорем перечисленных выше дисциплин;

• Навыками решения типовых задач этих дисциплин.

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

• Математический анализ;

• Линейная алгебра и аналитическая геометрия;

• Теория вероятностей и математическая статистика.

• Микроэкономика.

5Тематический план учебной дисциплины

№	Название раздела	Всего часов	Аудиторные часы			Самостоя­тельная работа
			Лекции	Семинары	Практические занятия
	Алгебра высказываний, предикаты и кванторы, логические и булевы функции.	10	2	2		6
	Множества и соответствия.	24	6	4		14
	Комбинаторика.	28	4	8		16
	Бинарные отношения.	30	6	6		18
	Математическая логика и логика предикатов. Логический вывод.	34	8	6		20
1	Теория графов.	70	18	18		34
	Всего часов	196	44	44		108

6Формы контроля знаний студентов

Тип контроля	Форма контроля	1 год		Параметры
		3	4
Текущий (неделя)	Контрольная работа	6		Письменная работа
			8	Письменная работа
Итоговый	Экзамен		1	Письменный экзамен

6.1Критерии оценки знаний, навыков

Для прохождения контроля студент должен, как минимум, продемонстрировать знания основных определений и формулировок теорем; умение решать типовые задачи, разобранные на семинарских занятиях.

Оценки по всем формам текущего контроля выставляются по 10-ти балльной шкале.

7Содержание дисциплины

1. Алгебра высказываний, предикаты и кванторы, логические функции.

Понятие высказывания. Логические операции на высказываниях. Предикаты и кванторы. Булевы (логические) функции и способы их задания. Эквивалентные преобразования логических формул.

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

1. Кузнецов О.П. Дискретная математика для инженера, изд. 3. Спб: Лань, 2004. (глава 3)

2. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Физматлит, 2001. (часть 2, пп.1-2.)

Дополнительная литература:

1. Яблонский С.В. Введение в дискретную математику. – М. : Наука, 1975. (глава 1)

2. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. М., Наука, 1977. (главы 1, 2)