- •Рабочая программа дисциплины Элементы математической логики
- •Лист согласования и утверждения рабочей программы
- •Содержание
- •1. Паспорт примерной программы учебной дисциплины
- •1.2. Место учебной дисциплины в структуре основной профессиональной образовательной программы:
- •1.3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины:
- •1.4. Количество часов, выделенное на освоение примерной программы учебной дисциплины:
- •1.5 Результаты освоения учебной дисциплины
- •2. Структура и примерное содержание учебной дисциплины
- •2.1. Объем учебной дисциплины и виды учебной работы
- •2.2. Примерный тематический план и содержание учебной дисциплины Элементы математической логики
- •3. Условия реализации учебной дисциплины
- •4. Контроль и оценка результатов освоения учебной Дисциплины
- •4.2 Примерные вопросы к экзамену по дисциплине «Элементы математической логики»
- •4.3 Примерные варианты самостоятельных и контрольных работ Самостоятельная работа №1 (Вариант 1)
- •Самостоятельная работа №2 (Вариант 1)
- •Контрольная работа №1 (Вариант 1)
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
"Сыктывкарский государственный университет"
КОЛЛЕДЖ ЭКОНОМИКИ, ПРАВА и ИНФОРМАТИКИ
УТВЕРЖДАЮ:
Директор КЭПИ
_____________Н.А. Шевчук
«___»______________ 2012 г.
Рабочая программа дисциплины Элементы математической логики
Направление подготовки среднего профессионального образования по специальности 230115 Программирование в компьютерных системах
Форма обучения: очная
Курс |
2 |
Семестр |
4 |
Всего часов (по учебному плану): |
87 |
Лекции |
20 |
Практические занятия |
38 |
Лабораторные занятия |
- |
Самостоятельная работа |
29 |
Форма итогового контроля |
Зачет |
Сыктывкар 2012
Лист согласования и утверждения рабочей программы
Рабочая программа учебной дисциплины «Элементы математической логики» составлена в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования (далее ФГОС СПО) по специальности 230115 Программирование в компьютерных системах (утв. приказом Министерства образования и науки РФ от 6 апреля 2010 г. № 282).
Составитель рабочей программы:
Преподаватель ___________________ В.В. Гинтнер
Рабочая программа рассмотрена и одобрена на заседании УМК
Протокол заседания № 3 от 04 декабря 2012 г.
Председатель УМК ____________________ Н.А. Шевчук
Содержание
1. ПАСПОРТ ПРИМЕРНОЙ ПРОГРАММЫ УЧЕБНОЙ ДИСЦИПЛИНЫ 4
2. СТРУКТУРА И ПРИМЕРНОЕ СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ 7
3. УСЛОВИЯ РЕАЛИЗАЦИИ УЧЕБНОЙ ДИСЦИПЛИНЫ 11
4. Контроль и оценка результатов освоения УЧЕБНОЙ Дисциплины 12
1. Паспорт примерной программы учебной дисциплины
«Элементы математической логики»
Область применения примерной программы
Примерная программа учебной дисциплины является частью примерной основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 230115 Программирование в компьютерных системах.
Примерная программа учебной дисциплины может быть использована в программах дополнительного профессионального образования.
1.2. Место учебной дисциплины в структуре основной профессиональной образовательной программы:
ЕН.00 Математический и общий естественнонаучный цикл.
К дисциплинам, которые обеспечивают успешное изучение данного курса можно отнести знания, умения и виды деятельности, сформированные в ходе изучения дисциплин «Элементы высшей математики», «Дискретная математика».
1.3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины:
В результате освоения учебной дисциплины обучающийся должен уметь:
формулировать задачи логического характера и применять средства математической логики для их решения;
В результате освоения учебной дисциплины обучающийся должен знать:
основные принципы математической логики, теории множеств и теории алгоритмов;
формулы алгебры высказываний;
методы минимизации алгебраических преобразований;
основы языка и алгебры предикатов;.
Программа определяет общий объем знаний, а не последовательность изучения тем курса. Наряду с теоретическими занятиями предусмотрены практические занятия, письменные самостоятельные работы.
Преподавание материала курса следует вести в форме, доступной пониманию обучающихся. При проведении занятий следует сочетать лекционную форму подачи материала с самостоятельной работой студентов над учебным материалом (решение задач, выполнение заданий самостоятельных работ).