Математическая логика - Основные образовательные программы

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
Институт математики и компьютерных наук
Кафедра алгебры и математической логики
Горечин Е.Н.
Математическая логика
Учебно-методический комплекс. Рабочая программа
для студентов направления 02.03.03 «Математическое обеспечение и администрирование информационных систем»,
профиль подготовки «Технологии программирования»
Форма обучения - очная
Тюменский государственный университет
2014
2
Горечин Е.Н. Математическая логика. Учебно-методический комплекс. Рабочая программа для студентов направления 02.03.03 «Математическое обеспечение и администрирование информационных систем», профиль подготовки «Технологии программирования»,
форма обучения – очная. Тюмень, 2014, 17 стр. Рабочая программа составлена в соответствии с требованиями ФГОС ВО с учетом рекомендаций и ПрООП ВО по бакалавриату.
Рабочая программа дисциплины (модуля) опубликована на сайте ТюмГУ: «Математическая логика» [электронный ресурс] / Режим доступа: http://www.umk3plus.utmn.ru, свободный.
Рекомендовано к изданию кафедрой алгебры и математической логики. Утверждено директором Института математики и компьютерных наук.
ОТВЕТСТВЕННЫЙ РЕДАКТОР: Кутрунов В.Н., д.ф.-м.н., профессор
© Тюменский государственный университет, 2014.
© Горечин Е.Н., 2014.
3
1. Пояснительная записка.
1.1.
Цели и задачи дисциплины (модуля).
Дисциплина "Математическая логика" обеспечивает приобретение знаний и умений в
соответствии с Федеральным государственным образовательным стандартом, содействует
фундаментализации образования, формированию мировоззрения и развитию логического
мышления.
Цели дисциплины:
- овладение студентами математическим аппаратом, необходимым для применения
математических методов в практической деятельности и в исследованиях;
- ознакомление студентов с понятиями, фактами и методами, составляющими теоретические основы информатики;
- развитие логического мышления;
- обеспечение студентов знаниями по математической логике, необходимые для понимания математики, теории вероятностей и других математических дисциплин.
Задачи изучения дисциплины:
- изучить материал дисциплины;
- усвоить основные понятия и методы, изучаемые в процессе освоения материала
дисциплины;
- приобрести навыки самостоятельного решения задач различной степени сложности;
- выработать умение проводить анализ полученных в процессе решения фактов и результатов;
- обобщить и систематизировать полученные знания, умения и навыки.
1.2.Место дисциплины в структуре образовательной программы.
Дисциплина «Математическая логика» входит в цикл профессиональных дисциплин
в базовой части. Дисциплина «Математическая логика» базируется на знаниях, полученных в рамках школьного курса математика или соответствующих дисциплин среднего
профессионального образования.
В ходе изучения дисциплины «Математическая логика» студенты должны усвоить
основные понятия и методы математической логики, получить основные сведения о
структурах, используемых в персональных компьютерах.
Освоение дисциплины предусматривает приобретение навыков работы с соответствующими учебниками, учебными пособиями, монографиями, научными статьями.
На основе приобретенных знаний формируются умения применять математические
методы при решении профессиональных задач повышенной сложности, владеть методами
построения математической модели профессиональных задач и содержательной интерпретации полученных результатов. Знания, умения и навыки, полученные студентами в
результате усвоения материала учебной дисциплины «Математическая логика», могут
быть использованы для успешного освоения дальнейших курсов: «Алгоритмы и технологии параллельного программирования», «Методы оптимизаций», «Задачи оптимального
управления», «Системы искусственного интеллекта».
Знание математической логики и теории алгоритмов может существенно помочь в
научно-исследовательской работе
4
Таблица 1.
Разделы дисциплины и междисциплинарные связи с обеспечиваемыми (последующими) дисциплинами.
№
п/п
Наименование обеспечиваемых (последующих) дисциплин
1.
Алгоритмы и технологии параллельного
программирования
Методы оптимизаций
Задачи оптимального
управления
Системы искусственного интеллекта
2.
3.
4.
Темы дисциплины необходимые для изучения обеспечиваемых (последующих) дисциплин
1.1
1.2
2.1
2.2
2.3
3.1
3.2
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
1.3. Компетенции обучающегося, формируемые в результате освоения данной образовательной программы.
В результате освоения ОП выпускник должен обладать следующими компетенциями:

способностью самоорганизации и самообразованию (ОК-7);

способностью применять в профессиональной деятельности знания математических основ информатики (ОПК-2);
1.4. Перечень планируемых результатов обучения по дисциплине (модулю):
В результате освоения дисциплины обучающийся должен:

Знать: основные понятия математической логики и теории алгоритмов,
определения и свойства математических объектов в этой области, формулировки утверждений, методы их доказательства, возможные сферы их приложений, основы компьютерного моделирования стохастических объектов и явлений.

Уметь: решать задачи вычислительного и теоретического характера в области математической логики и теории алгоритмов, доказывать утверждения из этой области.

Владеть: математическим аппаратом логики и теории алгоритмов, методами
решения задач и доказательства утверждений в этой области.
2. Структура и трудоемкость дисциплины.
Семестр – пятый. Форма промежуточной аттестации зачет. Общая трудоемкость
дисциплины составляет 3 зачетных единиц, 108 академических часов, из них 74,6 часа,
выделенных на контактную работу с преподавателем, 33,4 часа, выделенных на самостоятельную работу.
Таблица 2.
Вид учебной работы
Всего часов
Контактная работа со студентами
Аудиторные занятия (всего)
В том числе:
Лекции
Практические занятия (ПЗ)
74,6
72
36
36
5
Семинары (С)
Лабораторные работы (ЛР)
Иные виды работ
Самостоятельная работа (всего)
Вид промежуточной аттестации (зачет, экзамен)
Общая трудоемкость
час.
зач. ед.
2.6
33,4
зачет
108
3
3. Тематический план
Из них в интерактивной форме
1
1.1.
1.2.
2.1.
2.2.
2.3.
3.1.
3.2.
2
Модуль 1
Булевы функции и логика
высказываний.
Исчисление
высказываний.
Всего*
Модуль 2
Логика предикатов.
Фильтры, теорема компактности.
Исчисление
предикатов.
Всего*
Модуль 3
Частично рекурсивные
функции.
Машина
Тьюринга
Всего*
Итого (часов,
баллов) *
Из них часов в
3
4
5
7
8
9
10
1–5
10
8
6
24
5
0 – 25
6–8
6
8
6
20
16
16
12
44
9 – 10
4
4
4
12
11
2
-
4
6
2
0–4
12 – 13
4
8
4
16
2
0 – 14
10
12
12
34
4
0 – 20
14 – 16
6
4
6
16
2
0 – 10
17 – 18
4
4
6
14
2
0 – 20
10
36
8
36
12
36
30
108
4
0 – 30
0 – 100
8
5
Самостоятельная работа
Итого часов по теме
Виды учебной работы и самостоятельная работа, в час.
Лекции
Тема
недели
семестра
Семинарские (практические) занятия
№
Таблица 3.
Итого
количество
баллов
0 – 25
5
0 – 50
0–2
13
6
интерактивной
форме
*-с учетом иных видов работ
4. Виды и формы оценочных средств в период текущего контроля
0-15
0-15
0-30
0-5
0-5
0-5
0-5
0 – 25
0 – 25
0 – 50
-
-
0–2
0–4
0 – 14
0 – 20
0-5
0-4
0-4
0-9
0 – 10
0 – 20
0 – 30
0 – 100
-
0-2
0-2
0-4
0-2
0-2
0-2
0-6
0-10
0-10
0-2
0-2
0-2
0-4
0-4
0-5
0-9
0-25
0-40
0-15
0-15
0-15
тест
реферат
0-5
0-5
0-10
Компьютерное
моделирование
контрольная работа
-
Письменные работы
ответ на
семинаре
Модуль 1
1.1.
1.2.
Всего
Модуль 2
2.1.
2.2.
2.3.
Всего
Модуль 3
3.1.
3.2.
Всего
Итого
дискуссии
Устный опрос
собеседование
№ темы
Итого количество баллов
Таблица 4.
5. Содержание дисциплины.
Модуль 1.
Тема 1.1. Булевы функции и логика высказываний.
Функции алгебры логики. Существенные и несущественные переменные. Формулы. Представление функций формулами. Операция суперпозиции. Операция введения
несущественной переменной. Замыкание множества функций. Замкнутые классы. Равенство функций. Эквивалентность формул. Элементарные функции и их свойства. Совершенная дизъюнктивная нормальная форма. Совершенная конъюнктивная нормальная
форма. Полные системы функций. Достаточное условие полноты. Примеры полных систем. Полиномы Жегалкина. Представление булевых функций полиномами. Линейные
функции и их свойства. Функции, сохраняющие константы. Самодвойственные функции и
их свойства. Монотонные функции и их свойства. Теорема Поста о полноте системы булевых функций. Возможность выделить из каждой полной системы полную подсистему,
состоящую не более чем из 4-х функций. Базисы замкнутых классов. Примеры базисов в
P2. Предполные классы. Свойства предполных классов в P2. Теорема Поста о конечной
порожденности замкнутых классов булевых функций.
Тема 1.2. Исчисление высказываний.
Высказывания и операции над ними. Аксиомы классического исчисления высказываний. Схемы аксиом. Правила вывода. Вывод. Выводимые формулы. Вывод из системы
гипотез. Простые свойства выводимости. Примеры вывода. Вывод формулы A → A. Теорема о дедукции. Тождественная истинность выводимых формул. Непротиворечивость
7
классического исчисления высказываний. Теорема о полноте. Независимость схем аксиом
исчисления высказываний. Теорема о независимости схем аксиом исчисления высказываний.
Модуль 2.
Тема 2.1. Логика предикатов.
Понятие предиката. Примеры. Логические операции над предикатами; кванторы.
Теоретико-множественный смысл операций над предикатами. Условия полноты системы
предикатов на конечном множестве. Формулы; свободные и связанные переменные. Модель, сигнатура модели. Значение формулы в модели. Формула, истинная в модели. Формула, истинная на множестве. Тождественно истинная формула. Правила эквивалентных
преобразований формул логики предикатов. Нормальная форма. Приведение формул к
нормальной форме.
Тема 2.2. Фильтры, теорема компактности.
Фильтры, максимальные фильтры. Теорема о вложении фильтров. Теорема об ультрафильтрах. Фильтрованные произведения, ультрапроизведения. Теорема об ультрапроизведениях. Теорема компактности. Предложение о бесконечных моделях. Нестандартные
арифметики. Теорема о нестандартных арифметиках.
Тема 2.3. Исчисление предикатов.
Аксиомы классического исчисления предикатов. Правила вывода. Выводимые
формулы. Примеры вывода. Специальный вывод из системы гипотез, теорема о дедукции. Тождественная истинность выводимых формул. Непротиворечивость классического
исчисления предикатов. Теорема Гёделя о полноте.
Модуль 3.
Тема 3.1. Частично рекурсивные функции.
Частичные числовые функции. Простейшие функции. Операции суперпозиции и
примитивной рекурсии. Примитивно рекурсивные функции. Операция минимизации. Частично рекурсивные функции, общерекурсивные функции. Тезис Чёрча. Теорема о совпадении класса частично рекурсивных функций и класса частичных числовых функций, вычислимых по Тьюрингу. Рекурсивные множества, разрешимые предикаты, рекурсивно перечислимые множества, частично разрешимые предикаты. Теорема Райса. Нормальные
алгоритмы Маркова. Принцип нормализации.
Тема 3.2. Машина Тьюринга.
Машина Тьюринга и универсальные функции. Машина Поста. Сводимости и степени. Сводимость по Тьюрингу, степени неразрешимости.
6. Планы семинарских занятий.
Модуль 1.
Тема 1.1. Булевы функции и логика высказываний. Занятия 1-5. Булевы функции и логика высказываний. Основные бинарные отношения: эквивалентность и частичный порядок. Принципы трансфинитной индукции, максимума и теорема об эквивалентностях. Задание булевых функций, контактно-релейные схемы. Предложения о КНФ и
ДНФ. Теорема об описании предполных классов Поста.
Тема 1.2. Исчисление высказываний. Занятия 6-8. Исчисление высказываний.
Формулировка ИВ: алфавит, формулы, секвенции доказуемые и правила вывода, доказательство секвенций. Вспомогательные леммы и теоремы о полноте ИВ а узком и широком
смыслах.
Модуль 2.
Тема 2.1. Логика предикатов. Занятия 9-10. Логика предикатов. Язык логики
предикатов. Истинность формул в системах данной сигнатуры. Эквивалентные и конгруэнтные и формулы. Основные эквивалентности. Приведение формул к предваренному виду.
8
Тема 2.2. Фильтры, теорема компактности. Занятие 11. Фильтры и фильтрованные произведения. Фильтры и ультрафильтры. Теорема о вложении фильтров в ультрафильтры и описание ультрафильтров. Понятие фильтрованного произведения систем.
Теоремы об ультрапроизведениях и компактности. Предложения о нестандартных арифметиках и бесконечных моделях.
Тема 2.3. Исчисление предикатов. Занятия 12-13. Исчисление предикатов. Формулировка исчисления, предварительные результаты. Две леммы и теорема о существовании модели непротиворечивого множества формул. Теоремы о полноте ИП и независимости аксиом.
Модуль 3.
Тема 3.1. Частично рекурсивные функции. Занятия 14-16. Вычислимые функции. Тезис Чёрча. Частично рекурсивные функции. Общерекурсивные функции. Рекурсивно перечислимые множества и их классы.
Тема 3.2. Машина Тьюринга. Занятия 17-18. Машина Тьюринга. Машина Поста.
Сводимости.
7. Темы лабораторных работ (Лабораторный практикум).
Не предусмотрены
8. Примерная тематика курсовых работ
Не предусмотрены
9. Учебно-методическое обеспечение и планирование самостоятельной
работы студентов.
Таблица 5.
№
Модули и темы
1.1
Модуль 1
Булевы функции и логика высказываний.
1.2
2.1
2.2
Исчисление высказываний.
Всего по модулю 1*
Модуль 2
Логика предикатов.
Фильтры, теорема компактности.
2.3
Исчисление предикатов.
3.1
Всего по модулю 2*
Модуль 3
Частично рекурсивные
Виды СРС
обязательдополнительные
ные
Проработка
лекций, работа с литературой,
решение
типовых задач.
Проработка
лекций, работа с литературой,
решение
типовых задач.
Проработка
Подготовка
рефератов,
составление
задач.
Написание
Программы.
Чтение до-
Неделя
семестра
Объем
часов
Колво
баллов
1–5
6
0-25
6–8
6
0-25
12
0-50
9 – 10
11
4
4
0-2
0-4
12 – 13
4
0-14
12
0-20
6
0-10
14 – 16
9
функции.
3.2
Машина Тьюринга.
Всего по модулю 3*
ИТОГО
*-с учетом иных видов работ
лекций, работа с литературой,
решение
типовых задач.
полнительной
литературы;
Знакомство с
содержанием
электронных
источников.
Решение задач повышенной сложности.
Подготовка
рефератов.
17 – 18
6
0-20
12
36
0-30
0-100
10.Фонд оценочных средств для проведения промежуточной аттестации
по итогам освоения дисциплины (модуля).
10.1 Перечень компетенций с указанием этапов их формирования в процессе освоения образовательной программы (выдержка из матрицы компетенций):
10
ОПК-2
+
+
+
+
+
Математический анализ*
Аналитическая геометрия*
+
+
+
+
Теория чисел*
Дифференциальная геометрия и топология*
Иностранный язык в профессиональной сфере*
Дифференциальная геометрия и топология*
Дифференциальные уравнения*
Функциональный анализ*
Иностранный язык в профессиональной сфере*
Научно-технический перевод*
Теория вероятностей и математическая статистика*
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Имитационное моделирование
Планирование эксперимента и обработка экспериментальных данных
Задачи оптимального управления
6 семестр
Методы оптимизации
+
Философия
5 семестр
Физика
4 семестр
Теория игр
3 семестр
Исследование операций
2 семестр
Компьютерная графика
Математический анализ*
1 семестр
Дискретная математика*
Алгебра*
Информатика*
Циклы,
дисциплины (модули) учебного плана
ООП бакалавра
Дискретная математика*
Математический анализ*
ОК-7
Алгебра*
Индекс
компетенции
История*
Б.1 – Б.3. Дисциплины (модули)
7 семестр
+
10.2 Описание показателей и критериев оценивания компетенций на различных этапах их формирования, описание шкал оценивания:
Таблица 7.
Карта критериев оценивания компетенций
пороговый
(удовл.)
61-75 баллов
базовый (хор.)
76-90 баллов
повышенный
(отл.)
91-100 баллов
Знает: простейшие
утверждения математической логики
Умеет: доказывать
простейшие утверждения
Знает:
основные
утверждения математической логики
Умеет: сформулировать результат,
доказывать основные утверждения
математической
логики, самостоятельно
получать
следствия из них
Владеет: методами
доказательств
стандартных
утверждений
Знает:
основные
утверждения математической логики
Знает: теоремы математической логики
ОК-7
Код компетенции
Критерии в соответствии с уровнем освоения ОП
ОПК-2
Владеет: методами
доказательств простейших утверждений
Знает: простейшие
утверждения математической логики
Умеет: доказывать Умеет: применять
простейшие утвер- полученные знания
ждения
при решении стандартных прикладных задач
Владеет: методами
доказательств простейших утверждений
Владеет: методами
доказательств
стандартных
утверждений
Умеет: сформулировать результат, доказывать утверждения
математической логики, самостоятельно получать следствия из них
Виды
занятий
(лекции,
семинар
ские,
практические,
лабораторные)
Лекции,
практические
занятия
Оценочные
средства
(тесты,
творческие
работы,
проекты и
др.)
Контрольные
работы, тесты,
домашние
задания.
Лекции,
практические
занятия
Контрольные
работы, тесты,
домашние
задания.
Владеет: методами
доказательств
утверждений
Знает: теоремы математической логики
и области их применения при решении
прикладных задач
Умеет:
применять
полученные знания
при решении стандартных и нестандартных прикладных
задач
Владеет: методами
доказательств
утверждений, аппаратом математической логики
10.3 Типовые контрольные задания или иные материалы, необходимые для оценки
знаний, умений, навыков и (или) опыта деятельности, характеризующей этапы формирования компетенций в процессе освоения образовательной программы.
Темы контрольных работ и варианты контрольных работ:
Контрольная работа №1.
1. Составьте таблицу истинности булевой функции, реализованную данной формулой. Составьте по таблице истинности СДНФ и СКНФ:
((𝑥|𝑦̅) → (𝑧 + 𝑥𝑦
̅̅̅)) ↔ (𝑥̅ ↓ 𝑦).
2. Проверьте, будут ли эквивалентны формулы, применяя следующие способы:
a) составлением таблиц истинности;
b) приведением формул к СДНФ или СКНФ с помощью эквивалентных преобразований.
𝑥 → (𝑦 + 𝑥) и (𝑥 → 𝑦) + (𝑥 → 𝑧).
3. С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ,
СДНФ, СКНФ. Постройте полином Жегалкина.
(𝑥 v 𝑦̅) → (𝑥̅ + 𝑧̅).
4. Найдите сокращенную, все тупиковые и минимальные ДНФ булевой функции,
следующими способами:
a) методом Квайна;
b) с помощью карт Карно.
f(0, 1, 0)= f(1, 0, 0)= f(1, 0, 1)=0.
Выяснить, каким классам Поста принадлежит данная функция.
Контрольная работа №2.
Доказать секвенции:
1.
˥ (X→Y) ├ X,
2.
X, Y ├ ˥ (X→˥ Y),
3.
˥ X→Y├˥ Y→X,.
4.
X→Z, Y→Z ├ (˥ X→Y)→Z,
5.
X→Y, X→˥ Y├ X→Z.
Контрольная работа №3.
1. Предикатный символ D(x,y) интерпретируется на множестве натуральных чисел N
как «x делитель y», + интерпретируется стандартно. Записать формулами языка I-го порядка в сигнатуре {+, D} условия «x=0» и «x=2».
2. Привести к предваренному виду формулу
(x)((z)(z<x→P(z))→P(x))→(x)P(x).
Будет ли эта формула истинной на множестве натуральных чисел, когда < интерпретируется стандартно, а P(x) означает произвольное свойство натуральных чисел?
3. Проверить, что ПВ4 сохраняет тождественную истинность секвенций.
4. Показать, что (x)A(x)v(x)B(x)≡(x)(A(x)v(x)B(x)) не является тождеством.
Контрольная работа №4.
1. Построить стандартную машину Тьюринга, вычисляющую функцию x+y.
2. Пусть A={a0, a1,…,an} внешний алфавит машины Тьюринга. Построить машину
Тьюринга, которая меняет слово, записанное на ленте, на слово, состоящее из букв исходного, но записанных в обратном порядке.
13
Тест:
Запись АUВ=С означает
Правильный ответ: Объединение множества А с множеством В
Объединение двух множеств А=(-5,4) и В=[-5,0] равно
Правильный ответ: множеству С=[-5,4)
Множество D={-3;0;6} является результатом пересечения множеств:
Правильный ответ: А={-6-3;-1;0;1;4;6} и В={-3;-2;0;6}
Решением уравнения |х-2|=4 являются числа:
Правильный ответ: -2 и 6
Пересечение двух множеств А=(-2,13] и В=[-15,0] равно
Правильный ответ: множеству С=(-2,0]
Для множеств А={-3;-1,5; 0; 1; 2; 3} и {-1,5; 0; 1; 2; 11; 30}найдите их пересечение
Правильный ответ: {-1,5; 1; 2}
Для множеств А={-3;-1,5; 0; 1; 2; 3} и {-1,5; 0; 1; 2; 11; 30} найдите разность множеств ВА.
Правильный ответ: {11; 30}
Множество, состоящее из общих элементов А, В, С, … называется …
Правильный ответ: пересечением множеств
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Темы рефератов:
Нейронные сети.
Вероятностные вычисления.
Квантовые вычисления.
Биомолекулярные вычисления.
Вычисления над кольцом целых чисел.
Вычисления над кольцом действительных чисел.
Вычисления над кольцом комплексных чисел.
Структурная сложность.
Коммуникационная сложность.
Дескриптивная сложность.
Алгебраическая сложность.
Вопросы к экзамену (коллоквиуму):
1. Булевы функции, КНФ и ДНФ, контактно-релейные схемы.
2. Теорема Поста о предполных классах.
3. Аксиоматика ИВ, вспомогательные леммы и теорема о полноте ИВ.
4. Формулы ЛП, их истинность в системах данной сигнатуры.
5. Предложения о конгруэнтных формулах и предваренной форме.
6. Основные эквивалентности.
7. Фильтры и ультрафильтры, две теоремы о них.
8. Теорема об ультрапроизведениях и компактности.
9. Предложения о нестандартной модели арифметики и бесконечных моделях.
14
10. ИП. Теорема о существовании модели.
11. Теоремы о полноте ИП и независимости аксиом.
12. ЧРФ и машины Тьюринга.
13. Рекурсивно перечислимые множества. Теорема Поста. Построение простого
множества.
14. Неразрешимые проблемы. Элементарная теория арифметики. Тождественно истинные формулы ИП.
10.4 Методические материалы, определяющие процедуры оценивания знаний,
умений, навыков и (или) опыта деятельности характеризующих этапы формирования компетенций.
Текущая аттестация:
Контрольные работы и тесты проводятся на семинарах.
Компьютерное моделирование.
Промежуточная аттестация:
Зачет (письменно-устная форма). Зачет оценивается по системе: зачтено, незачтено.
Текущий и промежуточный контроль освоения и усвоения материала дисциплины
осуществляется в рамках рейтинговой (100-балльной) системы оценок..
11.
Образовательные технологии.
При организации самостоятельной работы применяются технологии проблемного
обучения, проблемно-исследовательского обучения (в частности, при самостоятельном
изучении теоретического материала), дифференцированного обучения, репродуктивного
обучения, проектная технология, а также современные информационные технологии обучения.
В процессе проведения аудиторных занятий используются следующие активные и
интерактивные методы и формы обучения: проблемное практическое занятие, работа в
малых группах, дискуссия, самостоятельная работа с учебными материалами, представленными в электронной форме, защита проектов.
12. Учебно-методическое и информационное обеспечение дисциплины
(модуля).
12.1 Основная литература:
1. Балюкевич, Э.Л. Математическая логика и теория алгоритмов [Электронный ресурс]: учебно-практическое пособие / Э.Л. Балюкевич, Л.Ф. Ковалева. - М. :
Евразийский открытый институт, 2009. - 189 с. URL:
http://biblioclub.ru/index.php?page=book&id=93166
(Дата
обращения:
23.12.2014).
2. Дегтев, А.Н. Алгебра и логика: учеб. пособие по спец. "Математика"/ А. Н. Дегтев. 3-е изд.. - Тюмень: Изд-во ТюмГУ, 2008. - 88 с.
3. Игошин, В.И. Математическая логика и теория алгоритмов: учеб. пособие для студ.
вузов, обуч. по спец. 050201 "Математика"/ В. И. Игошин. - 2-е изд., стер.. Москва: Академия, 2008. - 448 с.
15
12.2 Дополнительная литература:
1. Дегтев, А. Н. Алгебра. Математическая логика и теория алгоритмов: учеб.-метод.
комплекс : сб. индивид. контр. заданий для студ. спец. "Математика"/ А. Н. Дегтев;
Тюм. гос. ун-т. - Тюмень: Изд-во ТюмГУ, 2010. - 38 с.
2. Дегтев, А. Н. Избранные результаты по теории алгоритмов: моногр./ Александр
Николаевич Дегтев; А. Н. Дегтев ; Тюм. гос. ун-т. - Тюмень: Изд-во ТюмГУ
Ч. 1. - 2008. - 184 с.
3. Зарипова, Э.Р. Лекции по дискретной математике. Математическая логика. [Электронный ресурс]: учебное пособие / Э.Р. Зарипова, М.Г. Кокотчикова,
Л.А. Севастьянов. - М. : Российский университет дружбы народов, 2014. - 118 с. URL:
http://biblioclub.ru/index.php?page=book&id=226799
(Дата
обращения:
13.10.2014).
4. Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. вузов, обуч. по спец. 032100 "Математика"/ В. И.
Игошин. - 3-е изд., стер.. - Москва: Академия, 2007. - 304 с.
5. Лавров,
И.
А.
Задачи по теории множеств,
математической
логике
и теории алгоритмов: [учеб. пособие]/ И. А. Лавров, Л. Л. Максимова. - 5-е изд.,
испр.- Москва: Физматлит, 2006. - 256 с.
6. Судоплатов, С.В. Математическая логика и теория алгоритмов [Электронный ресурс]: учебник / С.В. Судоплатов, Е.В. Овчинникова. - 3-е изд. - Новосибирск :
НГТУ, 2012. - 254 с. URL:
http://biblioclub.ru/index.php?page=book&id=135676
(Дата
обращения:
13.10.2014).
7. Успенский, В. А. Вводный курс математической логики: [учеб. пособие]/ В. А.
Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд.. - Москва: Физматлит, 2007. 128 с.
12.3 Интернет-ресурсы:
1. Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета http://lib.mexmat.ru
2. eLIBRARY – Научная электронная библиотека (Москва) http://elibrary.ru
13. Перечень информационных технологий, используемых при осуществлении образовательного процесса по дисциплине (модулю), включая перечень программного
обеспечения и информационных справочных систем (при необходимости).
1. Microsoft Word.
2. Microsoft Excel.
3. Microsoft PowerPoint.
14. Технические средства и материально-техническое обеспечение дисциплины (модуля).
Учебные аудитории для проведения лекционных и практических занятий, в частности,
оснащенные интерактивной доской и/или проектором.
16
15. Методические указания для обучающихся по освоению дисциплины (модуля).
Для более эффективного освоения и усвоения материала рекомендуется ознакомиться с теоретическим материалом по той или иной теме до проведения семинарского
занятия. Работу с теоретическим материалом по теме с использованием учебника или конспекта лекций можно проводить по следующей схеме:
- название темы;
- цели и задачи изучения темы;
- основные вопросы темы;
- характеристика основных понятий и определений, необходимых для усвоения
данной темы;
- список рекомендуемой литературы;
- наиболее важные фрагменты текстов рекомендуемых источников, в том числе
таблицы, рисунки, схемы и т.п.;
- краткие выводы, ориентирующие на определенную совокупность сведений, основных идей, ключевых положений, систему доказательств, которые необходимо усвоить.
В ходе работы над теоретическим материалом достигается
- понимание понятийного аппарата рассматриваемой темы;
- воспроизведение фактического материала;
- раскрытие причинно-следственных, временных и других связей;
- обобщение и систематизация знаний по теме.
При подготовке к экзамену рекомендуется проработать вопросы, рассмотренные на
лекционных и практических занятиях. и представленные в рабочей программе, используя
основную литературу, дополнительную литературу и интернет-ресурсы.
17