МИНОБРНАУКИ РОССИИ

федеральное государственное бюджетное образовательное учреждение

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

«Вологодский государственный технический университет»

(ВОГТУ)

УТВЕРЖДАЮ

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

____________ А.Н. Тритенко

«___»______________ 2012 г.

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

Математическая логика и теория алгоритмов

Направление подготовки: 231000.62 – ПРОГРАММНАЯ ИНЖЕНЕРИЯ

Профиль подготовки: разработка программно-информационных систем

Квалификация (степень) выпускника: бакалавр

Форма обучения: очная

Факультет: электроэнергетический

Кафедра: автоматика и вычислительная техника

Вологда

2012 г.

Составители рабочей программы

Доцент, к.т.н., доцент _________________ /Андрианов И.А./

(должность, уч.степень, звание) (подпись)

Рабочая программа утверждена на заседании кафедры автоматики и вычислительной техники

Протокол заседания № ___от «__»___ 20__ г.

Заведующий кафедрой

«___»________20___г. _________________ /Сердюков Н.А./

(подпись)

Рабочая программа одобрена методическим советом электроэнергетического факультета.

Протокол заседания № ___от «__»___ 20__ г.

Председатель методического совета

«___»________20___г. _________________ /Бабарушкин В.А. /

(подпись)

1. Цели освоения учебной дисциплины

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

1. Изучение основных объектов, задач и методов математической логики и теории алгоритмов, а также способов их применения для решения различных задач в области программирования и информационных технологий.

2. Развитие у студентов логического и абстрактного мышления.

2. Место учебной дисциплины в структуре ооп впо

Дисциплина относится к математическому и естественнонаучному циклу ООП ВПО, изучается в 3 семестре.

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

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

знать: основные понятия теории множеств; системы счисления; способы представления и измерения информации; основы алгоритмизации; способы описания алгоритмов; понятие вычислительной сложности алгоритма и задачи.

уметь: выполнять программную реализацию алгоритма по его описанию на языке высокого уровня; выполнять расчёт асимптотических оценок сложности.

владеть: навыками программирования на языке высокого уровня; способами описания, основами построения и анализа алгоритмов.

Освоение данной дисциплины как предшествующей необходимо при изучении следующих дисциплин и практик: «Функциональное и логическое программирование», «Технологии хранения данных», «Объектно-ориентированное программирование», а также для выполнения выпускной квалификационной работы.

Взаимосвязь данной дисциплины с последующими отражена в матрице междисциплинарных связей.

3. Компетенции студента, формируемые в результате освоения учебной дисциплины / ожидаемые результаты образования и компетенции студента по завершении освоения программы учебной дисциплины

В результате освоения дисциплины студент должен:

знать: основные понятия математической логики, логические законы, формальные теории, исчисления высказываний и предикатов 1-го порядка; основные понятия теории алгоритмов: интуитивная концепция алгоритма, уточнения понятия алгоритма (машины Тьюринга и нормальные алгоритмы Маркова), понятия вычислимости, разрешимости, перечислимости; основные неразрешимые массовые проблемы; быть готовым к использованию методов и инструментальных средств исследования объектов профессиональной деятельности (ПК-3);

уметь: доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгоритмов Маркова для решения простых вычислительных задач; готовить презентации, оформлять научно-технические отчеты по результатам выполненной работы, публиковать результаты исследований в виде статей и докладов на научно-технических конференциях (ПК-5);

владеть: основами составления программ на языке логического программирования Пролог; культурой мышления, способами обобщения, анализа, восприятия информации; математическими методами формальной логики (ПК-3).