Скачать 374.54 Kb.
|
Государственное образовательное учреждение высшего профессионального образования Балтийский государственный технический университет «Военмех» им. Д.Ф.Устинова Факультет: И «Информационные и управляющие системы» Кафедра: И7 «Прикладной математики и информатики» УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ «Математическая логика и теория алгоритмов» специальности 230102 «Автоматизированные системы обработки информации и управления» направления подготовки 230100 «Информатика и вычислительная техника» Заведующий кафедрой И7 д. ф.-м. н., профессор /С.Д. Шапорев/ Составитель д. ф.-м. н., профессор /С.Д. Шапорев/ САНКТ-ПЕТЕРБУРГ 2008 г. ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ БАЛТИЙСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «ВОЕНМЕХ» им. Д.Ф. УСТИНОВА «УТВЕРЖДАЮ» Проректор по учебной работе _________________/С.М. Стажков/ «____» _________________2008 г. РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ ____«МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ»_______ ( указывается наименование дисциплины в соответствии с ГОС и учебным планом) для специальности 230102 Автоматизированные системы обработки информации и _____________________________управления_____________________________ ( указывается индекс и наименование направления / специальности подготовки в соответствии с? для факультета "И" Информационные и управляющие системы________________ (указывается индекс и полное наименование факультета университета, заказавшего программу) форма обучения _______очная__________________ (очная, очно-заочная) КАФЕДРА _И7__Прикладная математика и информатика ____________________ (указывается индекс и полное наименование кафедры, составившей и реализующей программу)
|
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... | Рабочая программа составлена в соответствии с требованиями фгос впо... Дёгтев А. Н. Теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,... | ||
Программа дисциплины «Информатика, математическая логика и теория... Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направлений подготовки 231000.... | Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... | ||
Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202... | Рефератов по курсу «Математическая логика и теория алгоритмов» Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика | ||
Радиофизический факультет Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория... | Рабочая программа составлена в соответствии с требованиями фгос впо... Дёгтев А. Н. Теория автоматов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,... | ||
Вопросы к государственному экзамену по информатике Дискретная математика. Теория алгоритмов. Математическая логика. Численные методы. Теоретические основы информатики. Исследование... | Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии... | ||
Учебно-методический комплекс дисциплины математическая логика Основная образовательная программа ... | Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы... | ||
Рабочая программа дисциплины «Математическая логика и теория алгоритмов» Рабочая программа предназначена для преподавания дисциплины вариативной части профессионального цикла студентам очной формы обучения... | Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы... | ||
Вопросы к экзамену по курсу «Математическая логика и теория алгоритмов» Методические указания предназначены для студентов, обучающихся по направлению 020400. 68 «Биология», магистерская программа 020400.... | Программа вступительных испытаний по дисциплине «Математика» Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... |