Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» специальности 230102 «Автоматизированные системы обработки информации и управления»
| Вид материала | Учебно-методический комплекс |
- Рабочая программа по дисциплине «Математическая логика и теория алгоритмов» для специальности, 67.42kb.
- Рабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов, 415.85kb.
- Учебно-методический комплекс дисциплины (опд. Ф. 10) Базы данных (код и название дисциплины, 1121.96kb.
- Рабочая программа по дисциплине: Теория принятия решений Для специальности: 230102, 84.08kb.
- Рабочая программа по дисциплине: Методы и средства защиты компьютерной информации Для, 75.18kb.
- Программа государственного экзамена по специальности 230102 «автоматизированные системы, 63.36kb.
- Рабочая программа по дисциплине " Метрология, стандартизация и сертификация " для специальности, 284.04kb.
- Программа дисциплины сд. Ф. 2, Ен. Ф. 8 Теория принятия решений для студентов специальности, 191.87kb.
- Рабочая программа по дисциплине Системное программное обеспечение Для специальности, 113.75kb.
- Рабочая программа по дисциплине "Организация ЭВМ и систем" Для специальности: 230102, 148.01kb.
Государственное образовательное учреждение высшего
профессионального образования
Балтийский государственный технический университет «Военмех» им. Д.Ф.Устинова
Факультет: И «Информационные и управляющие системы»
Кафедра: И7 «Прикладной математики и информатики»
УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ
«Математическая логика и теория алгоритмов»
специальности 230102 «Автоматизированные системы обработки информации и управления»
направления подготовки 230100 «Информатика и вычислительная техника»
Заведующий кафедрой И7 д. ф.-м. н., профессор /С.Д. Шапорев/
Составитель д. ф.-м. н., профессор /С.Д. Шапорев/
САНКТ-ПЕТЕРБУРГ
2008 г.
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
БАЛТИЙСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «ВОЕНМЕХ» им. Д.Ф. УСТИНОВА
«УТВЕРЖДАЮ»
Проректор по учебной работе
_________________/С.М. Стажков/
«____» _________________2008 г.
РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ
____«МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ»_______
( указывается наименование дисциплины в соответствии с ГОС и учебным планом)
для специальности 230102 Автоматизированные системы обработки информации и _____________________________управления_____________________________
( указывается индекс и наименование направления / специальности подготовки в соответствии с?
для факультета "И" Информационные и управляющие системы________________
(указывается индекс и полное наименование факультета университета, заказавшего программу)
форма обучения _______очная__________________
(очная, очно-заочная)
КАФЕДРА _И7__Прикладная математика и информатика ____________________
(указывается индекс и полное наименование кафедры, составившей и реализующей программу)
| КУРС | Семестр | ЧАСЫ (по наличию видов занятий) | Вид итогового контроля (экзамен, зачёт) | ||||||||||||
| ОБЩАЯ ТРУДОЁМКОСТЬ | АУДИТОРНЫЕ ЗАНЯТИЯ | САМОСТОЯТЕЛЬНАЯ РАБОТА | |||||||||||||
| ВСЕГО | ЛЕКЦИИ | АУДИТОРНЫЙ ПРАКТИКУМ | ЛабораторныЙ ПРАКТИКУМ | Другие виды занятий | ВСЕГО | КУРСОВОЙ ПРОЕКТ | КУРСОВАЯ РАБОТА | Расчётно - граф. работа | РЕФЕРАТ | Другие виды самост. работы | |||||
| ПРАКТИЧЕСКИЕ Занятия | СЕМИНАРЫ | ||||||||||||||
| 2 | 3 | 102 | 68 | 34 | 34 | | | | 34 | | | | | 34 | Экз. |