Учебная программа Дисциплины б5 «Математическая логика и теория алгоритмов» по направлению 010300 «Фундаментальная информатика и информационные технологии» Нижний Новгород icon

Учебная программа Дисциплины б5 «Математическая логика и теория алгоритмов» по направлению 010300 «Фундаментальная информатика и информационные технологии» Нижний Новгород


Смотрите также:
Учебная программа Дисциплины р5 «Теория электрической связи» по направлению 010300...
Учебная программа Дисциплины б4 «Алгоритмы и анализ сложности» по направлению 010300...
Учебная программа Дисциплины р11 «Квантовая теория» по направлению 010300 «Фундаментальная...
Учебная программа Дисциплины р4 «Теория электрических цепей» по направлению 010300...
Учебная программа Дисциплины р1 «Моделирование информационных процессов» по направлению 010300...
Учебная программа Дисциплины р2 «Математическая логика и теория алгоритмов» по специальности...
Учебная программа Дисциплины б9 «Компьютерные сети» по направлению 010300 «Фундаментальная...
Учебная программа Дисциплины б2 «Дискретная математика» по направлению 010300 «Фундаментальная...
Учебная программа Дисциплины р12 «Квантовая и оптическая электроника» по направлению 010300...
Учебная программа Дисциплины б8 «Технологии баз данных» по направлению 010300 «Фундаментальная...
Учебная программа Дисциплины б7 «Дифференциальные и разностные уравнения» по направлению 010300...
Учебная программа Дисциплины р8 «Электродинамика» по направлению 010300 «Фундаментальная...



Загрузка...
скачать


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

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

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

«Нижегородский государственный университет им. Н.И. Лобачевского»


Радиофизический факультет

Кафедра математики


УТВЕРЖДАЮ

Декан радиофизического факультета


____________________Якимов А.В.

«18» мая 2011 г.


Учебная программа


Дисциплины Б2.Б5 «Математическая логика и теория алгоритмов»


по направлению 010300 «Фундаментальная информатика и информационные технологии»


Нижний Новгород

2011 г.

1. ^ Цели и задачи дисциплины

Дисциплина «Математическая логика и теория алгоритмов» обеспечивает приобретение знаний и умений в соответствии с ФГОС ВПО, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория алгоритмов» является подготовка специалистов к деятельности в сфере разработки, исследования и эксплуатации информационных систем.


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

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

Знания, приобретённые в процессе изучения дисциплины «Математическая логика и теория алгоритмов» используются при изучении дисциплин «Алгоритмы и анализ сложности», «Методы оптимизации и исследования операций» и «Операционные системы».


3.^ Требования к уровню освоения содержания дисциплин

В результате освоения дисциплины «Математическая логика и теория алгоритмов» формируются следующие компетенции:

  • владеть основными методами, способами и средствами получения, переработки информации, иметь навыки работы с компьютером как средством управления информацией (ОК–12);

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

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

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

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

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


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

  • познакомиться с принципами построения формальных теорий, исключающими возможность возникновения противоречий.

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

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

  • познакомиться с тремя универсальными алгоритмическими моделями (рекурсивные функции, машины Тьюринга, нормальные алгоритмы Маркова), уметь с их помощью реализовывать простейшие алгоритмические задачи.


4. ^ Объём дисциплины и виды учебной работы:

Общая трудоемкость дисциплины составляет 4 зачетные единицы, 144 часа.


Виды учебной работы

Всего часов

Семестры

^ Общая трудоемкость дисциплины

144

3

Аудиторные занятия

51

51

Лекции

34

34

Практические занятия (ПЗ)

17

17

Семинары (С)





Лабораторные работы (ЛР)





Другие виды аудиторных занятий





Самостоятельная работа

57

57

Курсовой проект (работа)





Расчетно-графическая работа





Реферат





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





Вид итогового контроля (зачет, экзамен)

экзамен (36)

экзамен (36)


5. Содержание дисциплины

5.1. Разделы дисциплины и виды занятий


№ п/п

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

Лекции

ПЗ (или С)

ЛР

1

Введение.

2

-

-

2

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

8

6

-

3

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

10

5

-

4

Рекурсивные функции.

6

2

-

5

Машина Тьюринга.

4

2

-

6

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

2

2

-

7

Формальная арифметика.

2

-

-


5.2. Содержание разделов дисциплины


Раздел 1. Введение.

Принципы построения формальных теорий. Определение и виды формальных теорий.


Раздел 2. Математическая логика.

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

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


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

Определение предиката. Операции над предикатами, кванторы существования и всеобщности. Формулы логики предикатов. Свободные и связанные переменные. Равносильность формул в логике предикатов и в различных интерпретациях. Основные равносильности. Нормальные формы логики предикатов. Выполнимость и общезначимость для предикатов. Основные общезначимые формулы в логике предикатов. Теоремы об общезначимости и выполнимости в логике предикатов. Проблема разрешимости в общем случае (теорема Черча) и для формул, содержащих только одноместные предикатные символы. Язык, система аксиом и основные правила вывода исчисления предикатов. Производные правила вывода в исчислении предикатов: правила переименования связанных переменных, правило связывания квантором. Теорема об общезначимых формулах в исчислении предикатов. Проблемы аксиоматического исчисления предикатов.


Раздел 3. Теория алгоритмов.

^ 3.1. Формализация понятия алгоритма.

Характерные черты произвольного алгоритма. Необходимость формализации алгоритма. Универсальные алгоритмические модели.

^ 3.2. Рекурсивные функции.

Понятие рекурсивных функций. Примитивно рекурсивные функции: базовые функции и элементарные операции. Простейшие примитивно рекурсивные функции. Теорема о примитивной рекурсивности суммы и произведения примитивно рекурсивных функций. Ограниченный оператор минимизации и его применения. Теорема Робинсона об одноместных примитивно рекурсивных функциях. Неограниченный оператор минимизации. Частично рекурсивные функции. Тезис Черча о вычислимых функциях. Общерекурсивные функции. Функция Аккермана. Теорема Аккермана.

^ 3.3. Машина Тьюринга.

Словарные функции. Определение машины Тьюринга. Способы задания машин Тьюринга. Композиция машин Тьюринга. Неприменимость машины Тьюринга к исходной информации. Тезис Тьюринга. Теорема о соответствии между частично рекурсивными функциями и функциями, вычислимыми по Тьюрингу.

^ 3.4. Нормальные алгоритмы Маркова.

Определение нормального алгоритма Маркова и порядок его работы. Тезис Маркова. Эквивалентность машин Тьюринга и нормальных алгоритмов Маркова.

^ 3.5. Неразрешимость алгоритмических проблем.

Сравнительный анализ трех типов алгоритмических моделей. Оценка сложности алгоритма. Проблема остановки машины Тьюринга и проблема ее самоприменимости. Теорема Райса и ее смысл. Проблема эквивалентности слов для ассоциативных исчислений и проблема соответствий Поста.


Раздел 4. Теории первого порядка.

Особенности прикладных исчислений. Свойства равенства в теории с равенством. Формальная арифметика. Теоремы Геделя о неполноте (без доказательства) и их смысл.


5.3. План практических занятий

  1. Формулы логики высказываний. Правильность рассуждений.

  2. Исчисление высказываний: правила вывода и доказуемость формул.

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

  4. Логические и кванторные операции над предикатами.

  5. Формулы логики предикатов. Их выполнимость и общезначимость. Нормальные формы. Вывод формул из аксиом исчисления предикатов.

  6. Контрольная работа по темам “Исчисление высказываний” и “Исчисление предикатов”.

  7. Рекурсивные функции.

  8. Составление программ для машин Тьюринга.

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


6. Лабораторный практикум

Не предусмотрен.


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

7.1. Рекомендуемая литература.

а) основная литература:

  1. Шапорев С.Д. Математическая логика. Курс лекций и практических занятий: Учеб. пособие. - СПб: БХВ-Петербург, 2005. – 416 с.

  2. Гуц А.К. Математическая логика и теория алгоритмов: Учеб. пособие. - Омск: Наследие. Диалог-Сибирь, 2003. – 108 с.

  3. Фалевич Б.Я. Теория алгоритмов. М.: Машиностроение, 2004. – 160 с.

  4. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. М.: Энергоатомиздат, 1988. 2-е изд., переработанное и дополненное.

  5. Нефедов В.Н., Осипова В.А. Курс дискретной математики: Учеб. пособие. - М.: Изд-во МАИ, 1992.

  6. Новиков Ф.А. Дискретная математика для программистов. СПб: Питер, 2001.


8. Вопросы для контроля

  1. Определение и виды формальных теорий.

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

  3. Язык, системы аксиом и основные правила вывода исчисления высказываний.

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

  5. Теорема об общезначимых формулах в исчислении высказываний.

  6. Метод резолюций в исчислении высказываний.

  7. Проблемы аксиоматического исчисления высказываний.

  8. Определение предиката. Область определения, множество истинности предиката. Операции над предикатами, кванторы существования и всеобщности.

  9. Формулы логики предикатов. Свободные и связанные переменные.

  10. Равносильность формул в логике предикатов и в различных интерпретациях. Основные равносильности: перестановка кванторов и переименование связанных переменных.

  11. Правила переноса квантора через отрицание в формулах логики предикатов.

  12. Правила выноса квантора за скобки в формулах логики предикатов.

  13. Нормальные формы логики предикатов. Теорема о предваренной нормальной форме.

  14. Выполнимость и общезначимость для предикатов. Основные общезначимые формулы в логике предикатов.

  15. Теоремы об общезначимости и выполнимости в логике предикатов. Проблема разрешимости в общем случае (теорема Черча) и для формул, содержащих только одноместные предикатные символы.

  16. Язык, система аксиом и основные правила вывода исчисления предикатов.

  17. Производные правила вывода в исчислении предикатов: правила переименования связанных переменных, правило связывания квантором.

  18. Теоремы об общезначимых формулах и о замене эквивалентных подформул в исчислении предикатов.

  19. Наиболее важные эквивалентности исчисления предикатов и их применение для построения предваренной нормальной формы.

  20. Проблемы аксиоматического исчисления предикатов.

  21. Формализация понятия алгоритма.

  22. Понятие рекурсивных функций. Примитивно рекурсивные функции: базовые функции и элементарные операции.

  23. Простейшие примитивно рекурсивные функции. Теорема о примитивной рекурсивности суммы и произведения примитивно рекурсивных функций.

  24. Ограниченный оператор минимизации и его применения. Теорема Робинсона об одноместных примитивно рекурсивных функциях.

  25. Неограниченный оператор минимизации. Частично рекурсивные функции. Тезис Черча о вычислимых функциях.

  26. Общерекурсивные функции. Функция Аккермана. Теорема Аккермана.

  27. Словарные функции. Определение машины Тьюринга.

  28. Способы задания машин Тьюринга. Реализация на машине Тьюринга программы “перенос нуля”. Композиция машин Тьюринга.

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

  30. Определение нормального алгоритма Маркова и порядок его работы.

  31. Пример работы нормального алгоритма Маркова. Тезис Маркова. Теорема об эквивалентности машин Тьюринга и нормальных алгоритмов Маркова.

  32. Сравнительный анализ трех типов алгоритмических моделей. Оценка сложности алгоритма.

  33. Проблема остановки машины Тьюринга и проблема ее самоприменимости. Теорема Райса и ее смысл.

  34. Проблема эквивалентности слов для ассоциативных исчислений и проблема соответствий Поста.

  35. Особенности прикладных исчислений. Теорема об основных свойствах равенства в теории с равенством.

  36. Формальная арифметика. Теоремы Геделя о неполноте и их смысл.


9. Критерии оценок


Превосходно

Превосходная подготовка с очень незначительными погрешностями.

Отлично

Подготовка, уровень которой существенно выше среднего с некоторыми ошибками.

Очень хорошо

В целом хорошая подготовка с рядом заметных ошибок.

Хорошо

Хорошая подготовка, но со значительными ошибками.

Удовлетворительно

Подготовка, удовлетворяющая минимальным требованиям.

Неудовлетворительно

Необходима дополнительная подготовка для успешного прохождения испытания.

Плохо

Подготовка совершенно недостаточная.


10. ^ Примерная тематика курсовых работ и критерии их оценки

Не предусмотрены.


Программа составлена в соответствии с Федеральным государственным образовательным стандартом высшего профессионального образования по направлению 010300 «Фундаментальная информатика и информационные технологии»


Автор программы: _________________ Павлов И.С.


Программа рассмотрена на заседании кафедры 18 марта 2011 г. протокол № 10-11-04


Заведующий кафедрой _________________ Дубков А.А.


Программа одобрена методической комиссией факультета 11 апреля 2011 года

протокол № 05/10


Председатель методической комиссии_________________ Мануилов В.Н.





Скачать 127,27 Kb.
оставить комментарий
Дата20.07.2012
Размер127,27 Kb.
ТипПрограмма дисциплины, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх