Федеральное агентство по образованию ГОУ ВПО «Удмуртский государственный университет»
факультет Информационных технологий и
вычислительной техники
кафедра теоретических основ информатики
РАБОЧАЯ ПРОГРАММА по дисциплине «ДИСКРЕТНАЯ МАТЕМАТИКА» для специальности СПО 2202 – Автоматизированные системы обработки информации и управления
(в области системотехники) Форма обучения: очная
Курс
| 1
| Семестр
| 1
| Всего часов
| 115
| Всего аудиторных часов
| 95
| Лекции, час.
| 57
| Практические занятия, час.
| 38
| Самостоятельная работа, час.
| 20
| Экзамен, номера семестров
|
| Зачет, номера семестров
| 1
| Другие виды контроля (сем.)
| 1 Контр. раб
| Ижевск
2007
Рабочая программа составлена на основании ГОС СПО 2202 – Автоматизированные системы обработки информации и управления (в области системотехники), утвержденного1 сентября 2002 г.
Составитель рабочей программы
д.ф-м.н., профессор ________________ А.П.Бельтюков
Рабочая программа утверждена на заседании кафедры теоретических основ информатики
«30» августа 2007 г.
Заведующий кафедрой ___________________ А. П. Бельтюков
д.ф-м.н., профессор
Одобрено методической комиссией
«___» _______________ 2007 г.
Председатель методической комиссии ______________________ В.И.Родионов
Декан факультета _____________________ В.И.Родионов
doc://belt/edu/wp/dm/dm2007
version: 8.3v
Требования
государственного образовательного стандарта (ГОС)
по специальности СПО 2202 – Автоматизированные системы обработки информации и управления (в области системотехники)
Индекс
| Наименование дисциплины
| Всего часов
| ОПД…04
| ДИСКРЕТНАЯ МАТЕМАТИКА
Логические операции формулы логики, законы алгебры логики; представление функции в совершенных нормальных формах, многочлен Жегалкина; основные классы функций, полнота множества функций, теорема Поста; основные понятия теории множеств, теоретико-множественные операции и их связь с логическими операциями; логика предикатов, бинарные отношения и их виды; элементы теории отображений и алгебры подстановок; основы алгебры вычетов и их приложение к простым криптографическим шифрам; метод математической индукции; алгоритмическое перечисление основных комбинаторных объектов; основные понятия теории графов, характеристики графов, эйлеровы и гамильтоновы графы, плоские графы, деревья, ориентированные графы, бинарные деревья; элементы теории автоматов
| 115 час.
| |