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

Государственное образовательное учреждение высшего

Профессионального образования

Балтийский государственный технический университет «Военмех» им. Д.Ф.Устинова

Факультет: И «Информационные и управляющие системы»

Кафедра: И7 «Прикладной математики и информатики»

УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ

«Математическая логика и теория алгоритмов»

специальности 230102 «Автоматизированные системы обработки информации и управления»

направления подготовки 230100 «Информатика и вычислительная техника»

Заведующий кафедрой И7 д. ф.-м. н., профессор /С.Д. Шапорев/

Составитель д. ф.-м. н., профессор /С.Д. Шапорев/

САНКТ-ПЕТЕРБУРГ

Г.

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

БАЛТИЙСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «ВОЕНМЕХ» им. Д.Ф. УСТИНОВА

«УТВЕРЖДАЮ»

Проректор по учебной работе

_________________/С.М. Стажков/

«____» _________________2008 г.

РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ

____«МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ» _______

(указывается наименование дисциплины в соответствии с ГОС и учебным планом)

для специальности 230102 Автоматизированные системы обработки информации и _____________________________управления_____________________________

(указывается индекс и наименование направления / специальности подготовки в соответствии с?

для факультета "И" Информационные и управляющие системы________________

(указывается индекс и полное наименование факультета университета, заказавшего программу)

форма обучения _______очная__________________

(очная, очно-заочная)

КАФЕДРА _ И7__Прикладная математика и информатика ____________________

(указывается индекс и полное наименование кафедры, составившей и реализующей программу)

КУРС

Семестр

ЧАСЫ (по наличию видов занятий)

Вид итогового контроля (экзамен, зачёт)

ОБЩАЯ ТРУДОЁМКОСТЬ

АУДИТОРНЫЕ ЗАНЯТИЯ

САМОСТОЯТЕЛЬНАЯ РАБОТА

ВСЕГО

ЛЕКЦИИ

АУДИТОРНЫЙ ПРАКТИКУМ

ЛабораторныЙ ПРАКТИКУМ

Другие виды занятий

ВСЕГО

КУРСОВОЙ ПРОЕКТ

КУРСОВАЯ РАБОТА

Расчётно - граф. работа

РЕФЕРАТ

Другие виды самост. работы

ПРАКТИЧЕСКИЕ Занятия

СЕМИНАРЫ

Экз.

Начальник методического отдела БГТУ ___________________/ Емельянов В.Ю. /

САНКТ-ПЕТЕРБУРГ

2008 г.