Санкт- Петербургское государственное бюджетное
профессиональное образовательное учреждение
"Политехнический колледж городского хозяйства"
Дискретная математика с элементами математической логики
рабочая программа дисциплины
09.02.07 Информационные системы и программирование
Правительство Санкт-Петербурга
Комитет по науке и высшей школе
Приложение
к ОП СПО по специальности
09.02.07 Информационные системы и программирование
, утвержденной приказом от
09.12.2016 г. №1547-ОД
Виды контроля в семестрах:
Распределение часов дисциплины по семестрам
Организация-разработчик:
Санкт-Петербургское государственное бюджетное профессиональное образовательное учреждение «Политехнический колледж городского хозяйства».
Рабочая программа дисциплины
Дискретная математика с элементами математической логики
разработана в соответствии с ФГОС СПО:
Федеральный государственный образовательный стандарт среднего профессионального образования по специальности 09.02.07 ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ПРОГРАММИРОВАНИЕ (приказ Минобрнауки России от 09.12.2016 г. № 1547)
составлена на основании учебного плана:
по специальности Информационные системы и программирование
1. ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
2. МЕСТО ДИСЦИПЛИНЫ В СТРУКТУРЕ ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ
3. ПЛАНИРУЕМЫЕ РЕЗУЛЬТАТЫ ОСВОЕНИЯ ДИСЦИПЛИНЫ
ОК 01.: Выбирать способы решения задач профессиональной деятельности применительно к различным контекстам
ОК 02.: Использовать современные средства поиска, анализа и интерпретации информации и информационные технологии для выполнения задач профессиональной деятельности
ОК 04.: Эффективно взаимодействовать и работать в коллективе и команде
ОК 05.: Осуществлять устную и письменную коммуникацию на государственном языке Российской Федерации с учетом особенностей социального и культурного контекста
ОК 09.: Пользоваться профессиональной документацией на государственном и иностранном языках
В результате освоения дисциплины обучающийся должен:
4. ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ ДИСЦИПЛИНЫ
Наименование разделов и тем /вид занятия/
Раздел 1. Булевы функции и формулы логики
Булевы векторы. Понятие булевой функции
/Пр/
Упрощения формул логики с помощью равносильных преобразований/Пр/
.Высказывания. Основные определения и соотношения/Пр/
Представление булевых функций в различных базисах/Пр/
Предметные переменные и предикаты. Кванторы/Пр/
Формальные системы и умозаключения/Пр/
Раздел 2. Основные операции над множествами
Основы теории множеств/Пр/
Операции над множествами/Пр/
Доказательство соотношений теории множеств/Пр/
Способы задания отображения. Композиция отображений. Обратное отображение./Пр/
Раздел 3. Элементы теории графов
Графы и терминология.
Гамильтоновы графы. /Пр/
Эйлеровы графы. Нахождение кратчайшего пути./Пр/
Решение задач по графам. Промежуточная аттестация/Пр/
5.1. Перечень ресурсов информационно-телекоммуникационной сети "Интернет"
5.2. Перечень программного обеспечения
5.3. Перечень информационных справочных систем
6. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
7. МЕТОДИЧЕСКИЕ УКАЗАНИЯ ДЛЯ ОБУЧАЮЩИХСЯ ПО ДИСЦИПЛИНЕ