Министерство образования и науки Российской Федерации

Федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

"Сыктывкарский государственный университет"

КОЛЛЕДЖ ЭКОНОМИКИ, ПРАВА и ИНФОРМАТИКИ

УТВЕРЖДАЮ:

Директор КЭПИ

_____________Н.А. Шевчук

«___»______________ 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. Паспорт примерной программы учебной дисциплины

«Элементы математической логики»

1. Область применения примерной программы

Примерная программа учебной дисциплины является частью примерной основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 230115 Программирование в компьютерных системах.

Примерная программа учебной дисциплины может быть использована в программах дополнительного профессионального образования.

1.2. Место учебной дисциплины в структуре основной профессиональной образовательной программы:

ЕН.00 Математический и общий естественнонаучный цикл.

К дисциплинам, которые обеспечивают успешное изучение данного курса можно отнести знания, умения и виды деятельности, сформированные в ходе изучения дисциплин «Элементы высшей математики», «Дискретная математика».

1.3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины:

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

формулировать задачи логического характера и применять средства математической логики для их решения;

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

основные принципы математической логики, теории множеств и теории алгоритмов;

формулы алгебры высказываний;

методы минимизации алгебраических преобразований;

основы языка и алгебры предикатов;.

Программа определяет общий объем знаний, а не последовательность изучения тем курса. Наряду с теоретическими занятиями предусмотрены практические занятия, письменные самостоятельные работы.

Преподавание материала курса следует вести в форме, доступной пониманию обучающихся. При проведении занятий следует сочетать лекционную форму подачи материала с самостоятельной работой студентов над учебным материалом (решение задач, выполнение заданий самостоятельных работ).