- •1. Цели освоения учебной дисциплины
- •2. Место учебной дисциплины в структуре ооп впо
- •3. Компетенции студента, формируемые в результате освоения учебной дисциплины / ожидаемые результаты образования и компетенции студента по завершении освоения программы учебной дисциплины
- •4. Структура и содержание учебной дисциплины (модуля)
- •Матрица межтематических связей в дисциплине
- •5. Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины и учебно-методическое обеспечение самостоятельной работы студентов
- •Задания для проведения текущего контроля и промежуточной аттестации
- •5.3. Курсовая работа
- •6. Учебно-методическое и информационное обеспечение учебной дисциплины
- •7. Материально-техническое обеспечение учебной дисциплины
МИНОБРНАУКИ РОССИИ
федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Вологодский государственный технический университет»
(ВОГТУ)
УТВЕРЖДАЮ
Проректор по учебной работе
____________ А.Н. Тритенко
«___»______________ 2012 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Математическая логика и теория алгоритмов
Направление подготовки: 231000.62 – ПРОГРАММНАЯ ИНЖЕНЕРИЯ
Профиль подготовки: разработка программно-информационных систем
Квалификация (степень) выпускника: бакалавр
Форма обучения: очная
Факультет: электроэнергетический
Кафедра: автоматика и вычислительная техника
Вологда
2012 г.
Составители рабочей программы
Доцент, к.т.н., доцент _________________ /Андрианов И.А./
(должность, уч.степень, звание) (подпись)
Рабочая программа утверждена на заседании кафедры автоматики и вычислительной техники
Протокол заседания № ___от «__»___ 20__ г.
Заведующий кафедрой
«___»________20___г. _________________ /Сердюков Н.А./
(подпись)
Рабочая программа одобрена методическим советом электроэнергетического факультета.
Протокол заседания № ___от «__»___ 20__ г.
Председатель методического совета
«___»________20___г. _________________ /Бабарушкин В.А. /
(подпись)
1. Цели освоения учебной дисциплины
Целями освоения учебной дисциплины «Математическая логика и теория алгоритмов» являются:
1. Изучение основных объектов, задач и методов математической логики и теории алгоритмов, а также способов их применения для решения различных задач в области программирования и информационных технологий.
2. Развитие у студентов логического и абстрактного мышления.
2. Место учебной дисциплины в структуре ооп впо
Дисциплина относится к математическому и естественнонаучному циклу ООП ВПО, изучается в 3 семестре.
Для освоения данной дисциплины как последующей необходимо изучение следующих дисциплин: «Информатика», «Построение и анализ алгоритмов», «Математика. Математический анализ». Взаимосвязь данной дисциплины с предшествующими отражена в матрице междисциплинарных связей.
Требования к «входным» знаниям, умениям и готовности студента, необходимым при освоении данной дисциплины и приобретенным в результате освоения предшествующих дисциплин, включают следующее:
знать: основные понятия теории множеств; системы счисления; способы представления и измерения информации; основы алгоритмизации; способы описания алгоритмов; понятие вычислительной сложности алгоритма и задачи.
уметь: выполнять программную реализацию алгоритма по его описанию на языке высокого уровня; выполнять расчёт асимптотических оценок сложности.
владеть: навыками программирования на языке высокого уровня; способами описания, основами построения и анализа алгоритмов.
Освоение данной дисциплины как предшествующей необходимо при изучении следующих дисциплин и практик: «Функциональное и логическое программирование», «Технологии хранения данных», «Объектно-ориентированное программирование», а также для выполнения выпускной квалификационной работы.
Взаимосвязь данной дисциплины с последующими отражена в матрице междисциплинарных связей.
3. Компетенции студента, формируемые в результате освоения учебной дисциплины / ожидаемые результаты образования и компетенции студента по завершении освоения программы учебной дисциплины
В результате освоения дисциплины студент должен:
знать: основные понятия математической логики, логические законы, формальные теории, исчисления высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгоритмы Маркова), понятия вычислимости, разрешимости, перечислимости; основные неразрешимые массовые проблемы; быть готовым к использованию методов и инструментальных средств исследования объектов профессиональной деятельности (ПК-3);
уметь: доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгоритмов Маркова для решения простых вычислительных задач; готовить презентации, оформлять научно-технические отчеты по результатам выполненной работы, публиковать результаты исследований в виде статей и докладов на научно-технических конференциях (ПК-5);
владеть: основами составления программ на языке логического программирования Пролог; культурой мышления, способами обобщения, анализа, восприятия информации; математическими методами формальной логики (ПК-3).