А. Л. Гудков 16 января 2012 г






Скачать 181.65 Kb.
НазваниеА. Л. Гудков 16 января 2012 г
Дата публикации16.02.2015
Размер181.65 Kb.
ТипДокументы
l.120-bal.ru > Документы > Документы
Федеральное государственное бюджетное образовательное учреждение

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

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

университет»


Утверждаю

Проректор по учебно-методической работе

А.Л. Гудков

16 января 2012 г.

Рабочая программа дисциплины

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
Математический и естественнонаучный цикл, вариативная часть

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

230100 Информатика и вычислительная техника
Профиль подготовки

Автоматизированные системы обработки информации и управления (АСОИУ)
Квалификация (степень) выпускника

«бакалавр»
Форма обучения

очная
Факультет автоматизации производства и управления
Кафедра–разработчик – кафедра систем управления и вычислительной техники


Калининград 2012

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



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

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

- приобретение навыков решения практических задач по моделированию предметной области с помощью инструментария различных разделов классической логики; навыков моделирования алгоритмов и определения их сложности.
2 Место дисциплины в структуре ООП
Дисциплина «Математическая логика и теория алгоритмов» входит в состав вариативной части математического и естественнонаучного цикла ООП и изучается в четвертом семестре. Ее освоение обеспечивает расширение знаний, умений и навыков, определяемых содержанием дисциплин базовой части цикла, а также способствует более эффективному освоению этих дисциплин. При изучении дисциплины используются знания и навыки, полученные при изучении дисциплин: «Информационные технологии», «Программирование», «Высокоуровневые технологии программирования», «Дискретная математика». Знания и навыки, полученные при изучении дисциплины, используются при изучении дисциплин: «Базы данных», «Разработка программных комплексов», «Сетевые информационные технологии и программирование», «Высокоуровневые технологии программирования».
3 Компетенции обучающегося, формируемые в результате освоения дисциплины «Математическая логика и теория алгоритмов»
В результате освоения дисциплины у обучающегося будут сформированы следующие общекультурные (ОК) и профессиональные (ПК) компетенции (или их элементы), предусмотренные ФГОС ВПО:

  • владеет культурой мышления, способен к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения (ОК-1),

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

  • способен разрабатывать модели компонентов информационных систем, включая модели баз данных (ПК-4),

а также дополнительные к ним компетенции:

  • способен логически верно, аргументировано и ясно строить устную и письменную речь,

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

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

  • способен применять математические методы в формализации решения прикладных задач.

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

  • Знать: логику высказываний и предикатов, элементы теории сложности, введение в теорию алгоритмов и алгоритмических языков;

  • Уметь: применять математические методы для решения практических задач;

  • Владеть: методами математической логики и теории алгоритмов.


4 Структура и содержание дисциплины
4.1 Структура дисциплины
Дисциплина изучается в четвертом семестре ООП. Общая трудоемкость ее - 4 зачетные единицы, т.е. 144 академических часа, в т.ч. аудиторные занятия (АЗ) – 60 часов, самостоятельная работа студента (СРС) – 84 часа. Аттестация по дисциплине проводится в форме экзамена. Более подробные сведения о структуре дисциплины, видах, трудоемкости и формах контроля учебной работы студентов приведены в нижерасположенной таблице.




п/п

Раздел дисциплины

Неделя

семестра

Трудоемкость учебной работы по ее видам (час.)

Формы текущей (промежуточной) и итоговой аттестации по дисциплине

АЗ

СРС

Всего

Лекции

ПЗ

1

Классическая логика

18

14

16

18

48

Проверка результатов выполнения индивидуальных заданий по СРС и результатов выполненных на ПЗ заданий

2

Неклассическая логика

913

8

10

10

28

3

Основы теории алгоритмов

1417

6

6

10

22

Подготовка к экзамену и его сдача в период экзаменационной сессии







46

46

Экзамен

Итого по дисциплине

28

32

84

144

  • Экзамен

60

ПЗ – практические занятия
4.2 Теоретические занятия (лекции)




п/п

Тема

Содержание

Кол-во

часов

1

2

3

4

1

Раздел «Классическая логика»

14

1.1

Алгебра высказываний

Основные понятия и формальное представление алгебры высказываний. Законы и правила. Конъюнктивная и дизъюнктивная нормальные формы формул, их совершенный вид, эквивалентные преобразования формул

2

1.2

Исчисление высказываний

Основные понятия и формальное определение. Аксиоматические системы, правила вывода. Методы вывода: дедукция и метод резолюций, подстановка и унификация дизъюнктов

2

1.3

Алгебра предикатов


Основные понятия и формальное определение. Логические операции и формулы, законы и правила. Префиксная нормальная и сколемовская стандартная формы. Алгоритмы перевода формул в эти формы

2

1.4

Исчисление предикатов

Системы аксиом, правила вывода, методы дедукции и резолюции, подстановка и унификация дизъюнктов

4

1.5

Алгебра реляционная

Основные понятия. Унарные и бинарные операторы

2

1.6

Исчисление реляционное

Переменные-кортежи. Правила исполнения бинарных и унарных операторов

2

2

Раздел «Неклассическая логика»

8

2.1

Алгебраические операции над нечеткими множествами и отношениями

Основные понятия и правила формирования нечетких множеств и отношений

4

2.2

Нечеткое исчисление

Лингвистические переменные и нечеткие высказывания, формулы и предикаты, исчисление нечетких высказываний и правила вывода

2

2.3

Модальная логика

Основные понятия. Темпоральная и алгоритмическая логики

2

3

Раздел «Основы теории алгоритмов»

6

3.1

Рекурсивные функции как модель алгоритма

Базовые функции, элементарные операторы. Примеры вычисления частично-рекурсивных функций

2

3.2

Машина Тьюринга как модель алгоритма

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

2

3.3

Нормальный алгоритм Маркова как модель алгоритма

Основные понятия и правила преобразования слов, структура алгоритма. Примеры вычисления частично-рекурсивных функций

1

3.4

Меры сложности алгоритмов

Алгоритмически неразрешимые проблемы. Понятие меры сложности алгоритмов. Легко и трудноразрешимые задачи. Классы задач P и NP. NP – полные задачи. Эффективные алгоритмы. Понятие сложности вычислений

1

Итого

28


4.3 Практические занятия


занятия

Номер раздела дисциплины

Темы практических занятий

Кол-во часов ПЗ

1,2

1

Алгебра высказываний

4

3,4

1

Метод дедуктивного вывода, принцип резолюции

4

5,6

1

Алгебра предикатов, ПНФ и ССФ, методы дедукции и резолюции

4

7,8

1

Реляционная алгебра, реляционное исчисление

4

9-11

2

Операции нечеткой алгебры

6

12,13

2

Нечеткие отображения и свойства нечетких отношений

4

14

3

Рекурсивные функции, вычисления частично-рекурсивных функций

2

15

3

Машина Тьюринга, вычисления частично-рекурсивных функций

2

16

3

Нормальный алгоритм Маркова, вычисления частично-рекурсивных функций


2

Итого


32



4.4 Лабораторные работы – учебным планом не предусмотрены
4.5 Самостоятельная работа студента (СРС)


п/п

Виды (содержание) СРС

Кол-во часов

Формы контроля (аттестации)

1

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

38

Проверка результатов выполнения заданий на ПЗ и по СРС

2

Подготовка к экзамену и его сдача

46

Экзамен

Итого

84





5 Образовательные технологии
На лекциях рассматриваются методы и модели представления вербальных знаний, математические средства моделирования алгоритмов, меры сложности алгоритмов; по окончании рассмотрения раздела контролируются результаты освоения учебного материала с помощью тестирования с использованием традиционной «бумажной» технологии.

Занятия проводятся в медиаклассах университета, что позволяет использовать презентации, подготовленные в Power Point. Это экономит время на написание большого числа формул, что способствует передаче бóльшего количества учебного материала обучающимся во время аудиторных занятий и более доходчивому его освоению. Кроме того, не успевающие записать текст лекции студенты имеют возможность восстановить его с помощью проецируемого слайда.

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

По всем разделам выполняются индивидуальные задания внеаудиторно. Защита заданий заключается в пояснениях по ходу решения, при этом студент демонстрирует уровень освоения материала. Результаты защиты рассматриваются как допуск к экзамену.

Сдача экзамена осуществляется письменно. В билет входит как теоретический вопрос, так и практическая задача. После объявления оценки студенту дается возможность путем устного опроса повысить ее (за исключением случаев, когда оценка не удовлетворительна, тогда назначается пересдача), при условии добросовестного отношения к учебному процессу в течение семестра.
6 Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины и учебно-методическое обеспечение самостоятельной работы студентов
По всем разделам дисциплины полученные знания контролируются при помощи индивидуальных заданий, выполняемых внеаудиторно.

На практических занятиях проверяются результаты решения задач.

Экзаменационные вопросы предусматривают итоговую аттестацию по дисциплине в целом – как в части теории, так и в части умений решать практические задачи.

7 Учебно-методическое и информационное обеспечение дисциплины «Математическая логика и теория алгоритмов»
а) основная литература

  1. Пономарёв В. Ф. Математическая логика: учеб. пособие. – Калининград: Изд-во КГТУ, 2005.

  2. Пономарёв В. Ф. Основы теории алгоритмов: учеб. пособие. – Калининград: Изд-во КГТУ, 2005.

  3. Электронные учебно-методические материалы по дисциплине - http:/www.klgtu.ru/departments/fapu/suvt/toporkova/index.php?phrase_id=121917

б) дополнительная литература:

  1. Лихтарников Л. М. Математическая логика: курс лекций /Л. М.Лихтарников, В. М. Сукачёва. – СПб: Лань, 1998.

  2. Непейвода Н. Н. Прикладная логика: учеб. пособие. –2-е изд. испр. и доп./ Н.Н. Непейвода. – Новосибирск: Изд-во Новосиб. Ун-та, 2000.

  3. Пономарёв В. Ф. Модели вычислительных алгоритмов: учеб. пособие/ В.Ф. Пономарёв. – Калининград: Изд-во КГТУ, 1998.


в) программное обеспечение и Интернет-ресурсы: сайт ФГБОУ ВПО «КГТУ»,
г) методические материалы и материалы по видам занятий – презентации в PowerPoint, используются при чтении лекций и проведении практических занятий.
8 Материально-техническое обеспечение дисциплины
8.1 Специализированные аудитории - медиаклассы ФГБОУ ВПО «КГТУ».

8.2 Учебно-лабораторное оборудование – медиаклассы университета.
9 Особенности изучения дисциплины при заочной (очно-заочной) форме обучения
Такие формы обучения отсутствуют.


Лист согласования рабочей программы дисциплины
Рабочая программа дисциплины разработана в соответствии с федеральным государственным образовательным стандартом высшего профессионального образования по направлению подготовки 230100 Информатика и вычислительная техника (квалификация «бакалавр») (утвержден 9 ноября 2009 г. № 553), учебным планом университета по этому же направлению, утвержденным ученым советом 27.10.2011 г.
Автор программы – Топоркова О.М., к.т.н., доцент, доцент каф. СУиВТ
Рабочая программа рассмотрена и одобрена на заседании кафедры систем управления и вычислительной техники (рецензент – доцент Николаев В.В., протокол № от )
Заведующий кафедрой Петрикин В.А.

к.т.н., доцент



№ п/п

Учебно-методическое обеспечение дисциплины

Наименование литературы

Наличие в учебном абонементе НТБ (кол-во)

Наличие в электронной библиотеке

1

Пономарёв В. Ф. Математическая логика: учеб. пособие. – Калининград: Изд-во КГТУ, 2005

45

-

2

Пономарёв В. Ф. Основы теории алгоритмов: учеб. пособие. – Калининград: Изд-во КГТУ, 2005

64

-


Директор НТБ Вареницына М.В.


№ п/п

Информационное обеспечение дисциплины

Наименование информационного обеспечения

Наличие в ЦНИТ

Наличие на кафедре

1

MS Office








Директор ЦНИТ Петрикин В.А.
Рабочая программа рассмотрена и одобрена на заседании методической комиссии факультета автоматизации производства и управления, протокол № 6 от 27.06.2012.

Председатель комиссии Николаев В.В.

к.т.н., доцент

Согласовано
Зам. начальника учебного Огнев В.Е.

управления



Дополнения и изменения рабочей программы дисциплины

УТВЕРЖДАЮ
Проректор по учебно-методической работе

__________________________________

(подпись) (И.О. Фамилия)

«____» ___________________ 20 г.

В рабочую программу дисциплины Математическая логика и теория алгоритмов ООП ВПО по направлению подготовки 230100 Информатика и вычислительная техника (квалификация «бакалавр») вносятся следующие дополнения и изменения:

1). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2). . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Дополнения и изменения рабочей программы одобрены на заседании кафедры СУиВТ (протокол №___ от _________________), методической комиссии факультета автоматизации производства и управления (протокол №___ от ______________).

Заведующий кафедрой _____________ В.А. Петрикин ______

( к.т.н., доцент)


№ п/п

Учебно-методическое обеспечение дисциплины

Наименование литературы

Наличие в учебном абонементе НТБ (кол-во)

Наличие в электронной библиотеке






























































Директор НТБ ____________ _________________ _________

(подпись) (И.О.Фамилия) (дата)


№ п/п

Информационное обеспечение дисциплины

Наименование информационного обеспечения

Наличие в ЦНИТ

Наличие на кафедре














Директор ЦНИТ ____________ _________________ _________

(подпись) (И.О.Фамилия) (дата)


Председатель

методической комиссии ____________ _________________ _________

(подпись) (И.О.Фамилия) (дата)

Согласовано
Зам. начальника учебного __________ _________________ ______

управления (подпись) (И.О.Фамилия) (дата)

№_______дата_____

Добавить документ в свой блог или на сайт

Похожие:

А. Л. Гудков 16 января 2012 г iconРабочая программа по обществознанию 8 класс
Рф от 3 июня 2008 г. №164, от 31 августа 2009 г. №320, от 19 октября 2009 г. №427, от 10 ноября 2011 г. №2643, от 24 января 2012...

А. Л. Гудков 16 января 2012 г iconЗадание 2 блок лето 2012
Письменные задания должны быть сданы 1 месяц до начала 3 блока обучения (к 8 января 2012 г.)

А. Л. Гудков 16 января 2012 г iconПриказ от «22» февраля 2012 г. № г. Сосновоборск Об утверждении списков...
На основании приказа Управления образования администрации города Сосновоборска от 27 января 2012 г. №14

А. Л. Гудков 16 января 2012 г iconИнформационное письмо о дне открытых дверей
Свердловского округа г. Иркутска, проводимого согласно плану мероприятий VII городского образовательного форума «Образование Иркутска...

А. Л. Гудков 16 января 2012 г iconСведения о доходах, об имуществе и обязательствах имущественного...
...

А. Л. Гудков 16 января 2012 г iconДомашнее задание с 29 января по 31 января 2014 года Основная школа
Группа Смирновой Н. В. тема «Предлоги», употребление оборотов «There is. There are”

А. Л. Гудков 16 января 2012 г iconО таблице соответствия
Министерством юстиции Российской Федерации 8 декабря 2009 г., регистрационный n 15408), от 10 января 2012 г. N 5 (зарегистрирован...

А. Л. Гудков 16 января 2012 г iconРабочая программа По русской литературе
Приказ мо и н РФ (Минобрнауки России) от 19 декабря 2012 г. №1067 г. Москва, зарегистрирован в Минюсте РФ 30 января 2013 года Регистрационный...

А. Л. Гудков 16 января 2012 г iconРабочая программа специальной дисциплины послевузовского профессионального...
Ученым советом гбоу впо оргма минздрасоцразвития России от «20» января 2012 г., протокол №8

А. Л. Гудков 16 января 2012 г iconС 20 по 26 января 2014 года в мбоу «Тургеневская сош» прошла Неделя русского языка и литературы
Января в 7 классе учитель Кузьмина С. А. подготовила и провела речевую мозаику «Учимся культуре общения»

Вы можете разместить ссылку на наш сайт:


Литература


При копировании материала укажите ссылку ©ucheba 2000-2015
контакты
l.120-bal.ru
..На главную