МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

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

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

«Чувашский государственный университет имени И.Н.Ульянова»

Факультет дизайна и компьютерных технологий

«УТВЕРЖДАЮ»

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

______________ А.Ю. Александров

«______»______________ 20__ г.

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

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

Направление подготовки

231000 Программная инженерия

Профиль подготовки

Разработка программно-информационных систем

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

Бакалавр

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

очная

Чебоксары

2011

Рабочая программа основана на требованиях Федерального государственного стандарта высшего профессионального образования по направлению подготовки 231000 Программная инженерия, утвержденного Приказом Минобрнауки 09.11.2009 г. № 542.

Составители: старший преподаватель Кузнецова Н.А. _______________

старший преподаватель Мытникова Е.А. ______________

Рабочая программа рассмотрена и одобрена на заседании обеспечивающей кафедры – компьютерных технологий (протокол № _____ от ___________2010 г.).

Зав. кафедрой: профессор Желтов В.П. ___________________

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

Председатель комиссии, декан: профессор Желтов В.П. ___________________

СОГЛАСОВАНО:

Зам. начальника УМУ: доцент Харитонов М.Ю. __________________

1. Цели освоения дисциплины

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

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

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

- знать и уметь использовать теоретические основы и прикладные средства математической логики и теории алгоритмов;

- иметь представление о тенденциях и перспективах развития инструментальных средств математической логики и теории алгоритмов.

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

Дисциплина входит в базовую часть математического и естественнонаучного цикла образовательной программы бакалавра. Студент должен иметь начальные сведения о математике в объеме школьного.

Дисциплина является предшествующей для изучения дисциплин «Нечеткая логика», «Введение в алгоритмы», «Системы искусственного интеллекта», «Логическое и функциональное программирование».

3. Компетенции обучающегося, формируемые в результате освоения дисциплины

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

научно-исследовательская деятельность:

- способность к формализации в своей предметной области с учетом ограничений используемых методов исследования (ПК-2);

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

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

аналитическая деятельность:

- способность формализовать предметную область программного проекта и разработать спецификации для компонентов программного продукта (ПК-6).

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

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

• Уметь: доказывать формулы в исчислении высказываний и предикатов 1-го порядка; составлять программы машин Тьюринга и схемы нормальных алгоритмов для решения простых вычислительных задач;