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






Скачать 113.75 Kb.
НазваниеРабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет
Дата публикации16.02.2015
Размер113.75 Kb.
ТипРабочая программа
l.120-bal.ru > Математика > Рабочая программа







МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ


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


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

ВЛАДИВОСТОКСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ЭКОНОМИКИ И СЕРВИСА
ИНСТИТУТ ИНФОРМАТИКИ, ИННОВАЦИЙ И

БИЗНЕС-СИСТЕМ
КАФЕДРА МАТЕМАТИКИ И МОДЕЛИРОВАНИЯ

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ


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

по специальностям

230201.65 Информационные системы и технологии

230101.65 Вычислительные машины, комплексы, системы и сети


Владивосток

Издательство ВГУЭС

2014


ББК 22.12



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

Предназначена для студентов специальностей 230201.65 Информационные системы и технологии», 230101.65 «Вычислительные машины, комплексы, системы и сети»


Составитель: А.А. Степанова, профессор кафедры Математики и моделирования.
Утверждена на заседании кафедры математики и моделирования от 7.02.2011 г., протокол № 7, редакция 2014г.
Рекомендована к изданию учебно-методической комиссией Института информатики, инноваций и бизнес – систем.


© Издательство Владивостокского государственного университета

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

Дисциплина «Математическая логика и теория алгоритмов» включает в себя такие разделы, как алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов.

Данная программа построена в соответствии с требованиями Государственного образовательного стандарта России к дисциплине «Математическая логика и теория алгоритмов». Учебная программа разработана на основе учебных планов специальностей 230201.65 «Информационные системы и технологии», 230101.65 «Вычислительные машины, комплексы, системы и сети».

1. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЕ УКАЗАНИЯ

1.1. Цели и задачи изучения дисциплины

Задача изучения дисциплины – формирование логического мышления, развитие абстрактного мышления, освоение аппарата математической логики. Изучая математическую логику студенты по сути знакомятся с современным математическим языком, являющимся, как известно, языком любой науки.

Цель преподавания дисциплины – знакомство студентов с основными разделами логики.
1.2. Компетенции, которыми должен обладать студент в результате изучения дисциплины

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

- демонстрировать понимание основных терминов данной дисциплины;

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

-должен ясно и точно реализовывать знания в экономических приложениях;

- владеть способностью к аналитическому мышлению.

1.3. Объем и сроки изучения курса

Курс «Математическая логика и теория алгоритмов» общим объемом 102 часа изучается в течение третьего семестра.

1.4. Основные виды занятий и особенности их проведения при изучении данного курса

1.4.1. Лекционные занятия

Построены как типичные лекционные занятия по математической логики и теории алгоритмов в соответствии с требованиями государственных стандартов для подготовки специалистов вышеперечисленных специальностей. Недельная аудиторная нагрузка составляет 2 часа.
1.4.2. Практические занятия

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

1.5. Взаимосвязь аудиторной и самостоятельной работы студентов при изучении курса

В ходе изучения данного курса студент слушает лекции по основным темам, посещает практические занятия, занимается индивидуально. Освоение курса предполагает, помимо посещения лекций и практических занятий, выполнение контрольных заданий. Особое место в овладении данным курсом отводится самостоятельной работе по решению текущих и индивидуальных домашних заданий. Учебным планом предусмотрены консультации, которые студент может посещать по желанию.

1.6. Виды контроля знаний студентов и их отчетности

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

2. Содержание курса

Тема 1. «Логическое следствие в алгебре высказываний». Понятия логического следствия, противоречивого множества высказываний, тождественно истинного высказывания. Связь между этими понятиями.

Тема 2. «Исчисление высказываний (ИВ). Доказуемые формулы ИВ». Понятие исчисления. Язык ИВ. Определение формулы ИВ. Аксиомы и правила вывода ИВ. Доказуемые и выводимые формулы ИВ. Примеры доказуемых и выводимых формул ИВ.

Тема 3. «Теорема о дедукции в ИВ». Формулировка и доказательство теоремы о дедукции. Следствия из данной теоремы.

Тема 4. «Эквивалентные формулы ИВ». Понятие эквивалентных формул ИВ. Формулировка и доказательство основных законов ИВ: законы идемпотентности, коммутативности, ассоциативности, дистрибутивности, де Моргана, двойного отрицания.

Тема 5. «Дизъюнктивная и конъюнктивная нормальные формы (ДНФ и КНФ)». Определения элементарной конъюнкции, элементарной дизъюнкции, ДНФ, КНФ. Теорема о существовании для любой формулы ИВ эквивалентной ей ДНФ (КНФ).

Тема 6. «Логика предикатов (ЛП). Алгебраические системы. Подсистемы». Понятия сигнатуры, алгебраической системы данной сигнатуры, подсистемы, подсистемы, порожденной множеством. Примеры. Понятия терма данной сигнатуры, значение терма на кортеже в алгебраической системе. Теорема о подсистеме, порожденной множеством.

Тема 7. «Формулы ЛП. Истинность формул ЛП в алгебраической системе». Понятие формулы данной сигнатуры. Определение истинности формулы ЛП на кортеже элементов в алгебраической системе. Примеры.

Тема 8. «Логическое следствие в ЛП. Эквивалентные формулы ЛП». Понятия логического следствия, противоречивого множества формул ЛП, тождественно истинной формулы ЛП. Связь между этими понятиями. Определение эквивалентных формул ЛП. Основные эквивалентности в ЛП.

Тема 9. «Пренексная нормальная форма (ПНФ) для формул ЛП». Понятия ДНФ и ПНФ для формул ЛП. Теорема о существовании для любой формулы ЛП эквивалентной ей ПНФ.

Тема 10. «Исчисление предикатов (ИП). Доказуемые формулы ИП». Язык ИП. Определение формулы ИП. Аксиомы и правила вывода ИП. Доказуемые и выводимые формулы ИП. Примеры доказуемых и выводимых формул ИП. Тавтологии. Связь между тавтологией и доказуемой формулой.

Тема 11. «Теорема о дедукции в ИП Формулировка и доказательство теоремы о дедукции. Следствия из данной теоремы.

Тема 12. «Эквивалентные формулы ИП». Понятия эквивалентных формул ИП, пропозиционально эквивалентных формул ИП. Связь между этими понятиями. Формулировка и доказательство основных эквивалентностей ИП.

Тема 13. «Пренексная нормальная форма для формул ИП». Понятия ДНФ и ПНФ для формул ИП. Теорема о существовании для любой формулы ИП эквивалентной ей ПНФ.

Тема 14. «Машины Тьюринга». Определение машины Тьюринга. Понятие функций, вычислимых по Тьюрингу. Примеры таких функций.

Тема 15. «Примитивно рекурсивные функции». Понятия базисных функций, операторов суперпозиции, примитивной рекурсии, примитивно рекурсивных функций. Примеры.

Тема 16. «Частично рекурсивные функции». Понятия оператора минимизации, частично рекурсивных функций. Примеры. Эквивалентность классов функций, вычислимых по Тьюрингу с классом частично рекурсивных функций.
3. методические рекомендации по изучению курса

3.1. Перечень и тематика самостоятельных работ

студентов по курсу
Самостоятельная работа студентов заключается в выполнении аудиторных контрольных работ, текущих и индивидуальных домашних заданий. В семестре студентами выполняются по две аудиторные контрольные работы и по два индивидуальных домашних задания.

Аудиторные контрольные работы по 2 часа каждая проводятся по темам: «Алгебраические системы. Подсистемы. Истинность формул ЛП в алгебраической системе, «Доказуемые формулы ИП. Эквивалентные формулы ИП».

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

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

3.2. Обзор рекомендованной литературы

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

Наиболее подробно и просто темы «Исчисление высказываний» и «Исчисление предикатов» изложены в книге Новикова П.С. «Элементы математической логики». Темы «Логика предикатов» и «Теория алгоритмов» более доступно изложены в книге Ершова Ю.Л., Палютина Е.А. «Математическая логика».

В качестве учебника для формирования практических навыков решения задач по математической логике и теории алгоритмов наилучшим образом подходит «Задачи по теории множеств, математической логике и теории алгоритмов» Лавров И.А., Максимова Л.Л.

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

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

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

3.4. Контрольные вопросы для самостоятельной оценки качества освоения дисциплины

  1. Дать определение дизъюнктивной и конъюнктивной нормальных форм в алгебре высказываний. Привести примеры формул, находящихся в ДНФ и КНФ; в ДНФ, но не в КНФ; в КНФ, но не в ДНФ.

  2. Что такое тождественно истинная формула алгебры высказываний? Тождественно ложная формула алгебры высказываний? Противоречивое множество формул алгебры высказываний? Привести примеры.

  3. Сформулировать определение логического следствия в АВ. Дать эквивалентные формулировки логического следствия. Доказать эквивалентность. Привести примеры.

  4. Что такое формула исчисления высказываний? Дать определение доказуемой и выводимой из множества формул формулы исчисления высказываний Показать доказуемость формулы .

  5. Сформулировать и доказать теорему о дедукции, а также следствия из этой теоремы. Продемонстрировать применение этой теоремы на примерах.

  6. Какие формулы исчисления высказываний называются эквивалентными? Доказать законы идемпотентности в исчислении высказываний.

  7. Доказать законы коммутативности в исчислении высказываний.

  8. Доказать законы ассоциативности в исчислении высказываний.

  9. Доказать законы дистрибутивности в исчислении высказываний.

  10. Доказать законы двойного отрицания в исчислении высказываний.

  11. Доказать законы де Моргана в исчислении высказываний.

  12. Дать определение элементарной конъюнкции, элементарной дизъюнкции, дизъюнктивной и конъюнктивной нормальных форм в исчислении высказываний. Доказать теорему о существовании формулы, находящейся в ДНФ (КНФ) и эквивалентной данной формуле исчисления высказываний.

  13. Что такое сигнатура? Алгебраическая система данной сигнатуры? Подсистема алгебраической системы? Привести примеры.

  14. Дать определение подсистемы алгебраической системы, порожденной множеством. Как строятся термы данной сигнатуры? Как, применяя понятие терма, можно построить подсистему, порожденную множеством, для данной системы?

  15. Что такое формула логики предикатов? Подформула логики предикатов? Свободная и связанная переменная формулы логики предикатов? Привести примеры формул. Указать все свободные и связанные переменные этих формул.

  16. Дать определение истинности формулы логики предикатов в алгебраической системе на кортеже элементов из носителя системы. Привести примеры.

  17. Что такое логическое следствие в логике предикатов. Дать определение тождественно истинной и тождественно ложной формулы логики предикатов. Определить понятие противоречивого множества формул логики предикатов. Сформулировать и доказать утверждения, эквивалентные понятию логического следствия. Привести примеры.

  18. Что такое формула исчисления предикатов? Дать определение доказуемой и выводимой из множества формул формулы исчисления предикатов, тавтологии исчисления предикатов.. Привести примеры тавтологий исчисления предикатов.

  19. Сформулировать и доказать теорему о дедукции в исчислении предикатов, а также следствия из этой теоремы. Продемонстрировать применение этой теоремы на примерах.

  20. Какие формулы исчисления предикатов называются пропозиционально эквивалентными? Эквивалентными? Доказать основные эквивалентности исчисления предикатов.

  21. Что такое пренексная нормальная форма для формул исчисления предикатов? Доказать теорему существования формулы, эквивалентной данной, находящейся в пренексной нормальной форме.

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

  23. Доказать, что простейшие арифметические операции вычислимы по Тьюрингу.

  24. Доказать, что простейшие арифметические операции являются примитивно рекурсивными функциями.

4. Список рекомендованной литературы

4.1 Основная литература

1. В. И. Игошин, Математическая логика. - М.: ИНФРА-М, 2012.

2. Д. В. Гринченков, С. И. Потоцкий, Математическая логика и теория алгоритмов для программистов. - М.: КНОРУС, 2013.

3. А. А. Набебин, Ю. П. Кораблин, Математическая логика и теория алгоритмов. - М.: Научный мир, 2008.

4. В. И. Игошин, Задачи и упражнения по математической логике и теории алгоритмов. - М.: Академия, 2007.

5. И. А. Лавров, Математическая логика. М.: Академия, 2006.

    1. Дополнительная литература.

1. Новиков П.С. Элементы математической логики. – М.: Наука,1973.

2. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987.

3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука,1981.

4. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. М.: Инфра-М, 2004.

5. Мендельсон Э. Введение в математическую логику. – М.: Наука,1976.

6. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. С.П.:Лань,1998.

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

Похожие:

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconРабочая программа учебной дисциплины Министерство образования и науки...
Рабочая программа учебной дисциплины «Информационные технологии и программирование» в соответствии с требованиями основной образовательной...

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconНовосибирский государственный университет
Министерство образования и науки Российской Федерации новосибирский государственный университет экономики и управления «нинх»

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconРоссийской Федерации Министерство образования и науки Российской...
Аннотация: программа курса предполагает раскрытие студентам содержания современной культурологической теории, ознакомление их с культурными...

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconРоссийской Федерации Министерство науки и образования
Государственное образовательное бюджетное учреждение высшего профессионального образования Государственный университет

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconОтчет защищен с оценкой
Министерство образования и науки Российской Федерации новосибирский государственный университет экономики и управления «нинх»

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

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconДиссертация на соискание ученой степени кандидата
...

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconРоссийской Федерации Министерство образования и науки
Министерство экономического развития и торговли Российской Федерации Министерство образования и науки Российской Федерации

Рабочая программа дисциплины министерство образования и науки российской федерации владивостокский государственный университет iconРабочая программа дисциплины (модуля) финансовое право направление...
Министерство образования и науки российской федерации ноу впо «московская академия экономики и права»

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

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


Литература


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