Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов»





Скачать 374.54 Kb.
НазваниеУчебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов»
страница1/5
Дата публикации15.03.2015
Размер374.54 Kb.
ТипУчебно-методический комплекс
100-bal.ru > Информатика > Учебно-методический комплекс
  1   2   3   4   5
Государственное образовательное учреждение высшего

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

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


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


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


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

«Математическая логика и теория алгоритмов»
специальности 230102 «Автоматизированные системы обработки информации и управления»
направления подготовки 230100 «Информатика и вычислительная техника»


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

Составитель д. ф.-м. н., профессор /С.Д. Шапорев/
САНКТ-ПЕТЕРБУРГ

2008 г.

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

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


«УТВЕРЖДАЮ»

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

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

«____» _________________2008 г.

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

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

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


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

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


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

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

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

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

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

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



КУРС

Семестр

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

Вид итогового контроля

(экзамен, зачёт)

ОБЩАЯ

ТРУДОЁМКОСТЬ

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

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

ВСЕГО

ЛЕКЦИИ

АУДИТОРНЫЙ

ПРАКТИКУМ

ЛабораторныЙ

ПРАКТИКУМ

Другие виды

занятий

ВСЕГО


КУРСОВОЙ

ПРОЕКТ


КУРСОВАЯ

РАБОТА

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

работа

РЕФЕРАТ

Другие виды

самост. работы


ПРАКТИЧЕСКИЕ

Занятия





СЕМИНАРЫ



2

3

102

68

34

34










34













34

Экз.
  1   2   3   4   5

Добавить документ в свой блог или на сайт

Похожие:

Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconУчебно-методический комплекс по дисциплине математическая логика и теория алгоритмов
Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРабочая программа составлена в соответствии с требованиями фгос впо...
Дёгтев А. Н. Теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconПрограмма дисциплины «Информатика, математическая логика и теория...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направлений подготовки 231000....
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconУчебно-методический комплекс дисциплины логика федеральное агентство...
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconУчебно-методический комплекс дисциплины специальность: 050202 Информатика Канск
Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРефератов по курсу «Математическая логика и теория алгоритмов»
Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРадиофизический факультет
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРабочая программа составлена в соответствии с требованиями фгос впо...
Дёгтев А. Н. Теория автоматов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconВопросы к государственному экзамену по информатике
Дискретная математика. Теория алгоритмов. Математическая логика. Численные методы. Теоретические основы информатики. Исследование...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconУчебно-методический комплекс дисциплины «логика»
Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconУчебно-методический комплекс дисциплины математическая логика Основная образовательная программа
...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРабочая программа для студентов очной формы обучения, направление...
Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРабочая программа дисциплины «Математическая логика и теория алгоритмов»
Рабочая программа предназначена для преподавания дисциплины вариативной части профессионального цикла студентам очной формы обучения...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconРабочая программа для студентов очной формы обучения направление...
Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconВопросы к экзамену по курсу «Математическая логика и теория алгоритмов»
Методические указания предназначены для студентов, обучающихся по направлению 020400. 68 «Биология», магистерская программа 020400....
Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» iconПрограмма вступительных испытаний по дисциплине «Математика»
Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным...


Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Поиск