Стандарт организации (стр. 1 )

СТАНДАРТ ОРГАНИЗАЦИИ

Система качества АлтГТУ

Образовательный стандарт

высшего профессионального образования АлтГТУ

ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ

УЧЕБНОЙ ДИСЦИПЛИНЫ

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

для направления 090900 «Информационная безопасность», код дисциплины Б2.В8

для направления 230100 «Информатика и вычислительная техника», код дисциплины Б2.В7

ФГБОУ ВПО «Алтайский государственный технический университет

им. »

Предисловие

1) РАЗРАБОТАН кафедрой прикладной математики ФГБОУ ВПО «Алтайский государственный технический университет им. »;

2) Стандарт дисциплины разработан на основании ФГОС ВПО направления подготовки 090900 Информационная безопасность (квалификация (степень) "бакалавр"), утвержденного 28 октября 2009 г. (регистрационный номер 496) и ФГОС ВПО направления подготовки 230100 Информатика и вычислительная техника (квалификация (степень) "бакалавр"), утвержденного 09 ноября 2009 г. (регистрационный номер 553);

3) Стандарт дисциплины «Математическая логика и теория алгоритмов» по своему назначению, структуре и содержанию полностью соответствует требованиям УМКД.

4) ВВЕДЕН ВПЕРВЫЕ.

Содержание

1	Область применения……………………………………………………	1
2	Общие сведения о дисциплине. Паспорт дисциплины……………....	1
2.1	Выписка из рабочего учебного плана ООП…………………………..	1
2.2	Цели и задачи дисциплины…………………………………………….	2
2.3	Место дисциплины в структуре ООП направления (специальности)	3
2.4	Требования к результатам освоения дисциплины……………………	3
2.5	Объем и виды занятий по дисциплине………………………………..	5
3	Рабочая программа дисциплины………………………………………	6
3.1	Содержание дисциплины………………………………………………	6
3.1.1	Тематический план дисциплины………………………………………	6
3.1.2	Учебно-методическое и информационное обеспечение дисциплины	12
3.1.3	Формы и содержание текущей и промежуточной аттестации по дисциплине……………………………………………………………...	13
3.1.4	Учебно-методические карты дисциплины……………………………	14
3.2	Условия реализации дисциплины…………………………………….	15
3.2.1	Методические рекомендации студентам по изучению дисциплины	15
3.2.2	Организация самостоятельной работы студента (СРС) по дисциплине………………………………………………………………………	16
3.2.3	Методические рекомендации преподавателю дисциплины…………	16
3.2.4	Образовательные технологии………………………………………….	17
3.2.5	Особенности преподавания дисциплины	17
3.2.6	Материально-техническое обеспечение дисциплины……………….	17
3.3	Лист согласования рабочей программы………………………………	18
	етодические указания по выполнению лабораторных работ………………………………………………………………..	20
	етодические указания по выполнению расчетного задания	47
	есты текущего контроля знаний по дисциплине….	51
	есты промежуточного контроля знаний по дисциплине…………………………………………………………………….	56
	амятка для студентов направления 090900 «Информационная безопасность» по изучению дисциплины……………	58
	амятка для студентов направления 230100 «Информатика и вычислительная техника» по изучению дисциплины………………………………………………………………………...	63

Стандарт организации

Система качества АлтГТУ

Образовательный стандарт высшего

профессионального образования АлтГТУ

ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ Введён впервые

УЧЕБНОЙ ДИСЦИПЛИНЫ

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

УТВЕРЖДАЮ

Начальник УМУ

_________________________

(подпись) ( Ф. И.О.)

Дата__________________

(число, месяц, год)

1 Область применения

1.1  Стандарт дисциплины устанавливает общие требования к содержанию, структуре, объему дисциплины «Математическая логика и теория алгоритмов» и условиям ее реализации в АлтГТУ.

1.2  Действие стандарта распространяется:

на студентов, обучающихся по направлению 090900 «Информационная безопасность» (квалификация "бакалавр") очной формы обучения; на студентов, обучающихся по направлению 230100 «Информатика и вычислительная техника» (квалификация "бакалавр") очной формы обучения; на преподавателей и сотрудников структурных подразделений, задействованных в образовательном процессе по дисциплине.

2 Общие сведения о дисциплине. Паспорт дисциплины

2.1 Выписка из рабочего учебного плана ООП

ООП 090900 «Информационная безопасность»

Математический и естественнонаучный цикл.

Вариативная часть

№ п/п 8

Зачет – 4 семестр

Расчетное задание – 4 семестр

Трудоемкость – 3 зачетные единицы

Всего часов – 108

Из них без СРС в период сессий – 108 часов

Аудиторные – 51 час

из них

лекции – 17 часов

лабораторные работы – 17 часов

практические занятий – 17 часов

СРС

в семестре – 57 часов

в период сессий – 0 часов

Кафедра ПМ

Компетенции: ОК-8,11,12; ПК-1

Часов в интерактивной форме - 0

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

Математический и естественнонаучный цикл.

Вариативная часть

№ п/п 7

Зачет – 4 семестр

Трудоемкость – 3 зачетные единицы

Всего часов – 108

Из них без СРС в период сессий – 108 часов

Аудиторные – 51 час

из них

лекции – 17 часов

лабораторные работы – 17 часов

практические занятий – 17 часов

СРС

в семестре – 57 часов

в период сессий – 0 часов

Кафедра ПМ

Компетенции: ОК-1,10

Часов в интерактивной форме - 17

2.2 Цели и задачи освоения дисциплины

Дисциплина «Математическая логика и теория алгоритмов» предназначена для изучения основ теории логических исчислений, теории алгоритмов и теории сложности.

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

2.3 Место дисциплины в структуре ООП направлений

Дисциплина «Математическая логика и теория алгоритмов» относится к вариативной части математического и естественнонаучного цикла дисциплин. Дисциплина изучается в 4 семестре 2 курса. Для освоения предлагаемого материала требуются базовые знания, умения и навыки по дисциплинам направлений 090900 и 230100 «Математика», «Дискретная математика», «Информатика», «Введение в математику».

Для направления 090900 дополнительными базовыми дисциплинами для дисциплины «Математическая логика и теория алгоритмов» являются «Языки программирования», «Технологии и методы программирования», «Аппаратные средства вычислительной техники».

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

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

направление 090900 – «Основы моделирования»;

направление 230100 – «Теория формальных языков и компиляторов», «Теория автоматов», «Логический вывод и логическое программирование».

2.4 Требования к результатам освоения дисциплины

В результате изучения дисциплины студенты должны обладать знаниями, умениями и навыками, приведенными в таблице 2.1 для направления 090900 и в таблице 2.2 для направления 230100.

Таблица 2.1

Номер/индекс компетенции по ФГОС ВПО	Содержание компетенции	В результате изучения дисциплины обучающиеся должны:
знать	уметь	владеть
ОК-8	способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения, владеть культурой мышления	- предмет и задачи основных разделов математической логики и теории алгоритмов	- формализовать предложенную проблему и предложить пути ее решения; - формулировать, устно и письменно, важнейшие положения основных разделов математики и естественных наук, пояснять их примерами	- культурой мышления, способностью к обобщению, анализу и восприятию информации
ОК-11	способность к саморазвитию, самореализации, приобретению новых знаний, повышению своей квалификации и мастерства	- существующие информационные и образовательные ресурсы и технологии	- использовать для повышения профессиональной квалификации существующие информационные ресурсы и техническую документацию; - использовать программные и аппаратные средства персонального компьютера для приобретения новых знаний	- навыками использования поисковых систем, ресурсов сети Интернет, технической документации, в том числе и на иностранных языках;
ОК-12	способность критически оценивать свои достоинства и недостатки, определять пути и выбрать средства развития достоинств и устранения недостатков	- методы и средства познания и самопознания	- применять методы и средства познания для интеллектуального развития, повышения культурного уровня, профессионального роста	- способностью к переоценке накопленного опыта, анализу своих возможностей, готовностью приобретать новые знания - навыками самостоятельной, индивидуальной работы, способностью принимать решения в рамках своей профессиональной компетенции
ПК-1	способностью использовать основные естественнонаучные законы, применять математический аппарат в профессиональной деятельности, выявлять сущность проблем, возникающих в ходе профессиональной деятельности	- основные понятия и методы математической логики и теории алгоритмов; - методы разработки эффективных алгоритмов решения прикладных задач	- использовать математические методы для решения прикладных задач; - читать техническую литературу по своей специальности, использующую математический аппарат.	- техникой основных математических действий, преобразований и вычислений; - методами количественного анализа процессов обработки, поиска и передачи информации

Таблица 2.2