КЫРГЫЗСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ

УНИВЕРСИТЕТ им. И. РАЗЗАКОВА

ИНСТИТУТ ЭЛЕКТРОНИКИ И ТЕЛЕКОММУНИКАЦИЙ

Кафедра «ИФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ

В ТЕЛЕКОММУНИКАЦИЯХ»

РАБОЧАЯ ПРОГРАММА
по дисциплине
«МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ»
(кредитная технология)

Направления:
690300 «Инфокоммуникационные технологии и системы связи»
Профили:
690300.1 – Сети связи и системы коммутации
690300.2 – Системы мобильной связи и радиодоступа
690300.3 – Цифровое телевизионное и звуковое вещание
690300.4 – Инфокоммуникационные технологии в сервисах и услугах связи

Всего кредитов: 3 кредита

Из них:
Аудиторная работа: 48 час.
Лекции 32час.
32 час.
Практические занятия 16 час.
Самостоятельная работа
студентов:72 часа

Форма отчетности (экзамен) 4 семестр

Учебно-методический комплекс составил: к.ф.-м.н. Дуйшоков К.Д.

"ОДОБРЕНО" "РАССМОТРЕНО"

методической комиссией на заседании кафедры

ИЭТ КГТУ им. И. Раззакова «Информационные системы и
технологии в телекоммуникации»
Протокол № от 2019 г. Протокол № от 2019 г.
___________________________ ____________________________
1
 МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ КЫРГЫЗКОЙ РЕСПУБЛИКИ

КЫРГЫЗСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ

УНИВЕРСИТЕТ им. И. РАЗЗАКОВА

ИНСТИТУТ ЭЛЕКТРОНИКИ И ТЕЛЕКОММУНИКАЦИЙ

«СОГЛАСОВАНО» «УТВЕРЖДАЮ»
Зав. проф. каф. ИСТТ Директор ИЭТ
____________ Дуйшоков К.Д. ___________Каримов Б.Т.
«____»_________ 2019 г.
Зав. проф. каф. ТКМ «____»_________ 2019 г.
__________Токонов А.Т.
«____»_________ 2019 г.

РАБОЧАЯ ПРОГРАММА

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

для студентов направления:
690300 «Инфокоммуникационные технологии и системы связи»
Профили:
690300.1 – Сети связи и системы коммутации
690300.2 – Системы мобильной связи и радиодоступа
690300.3 – Цифровое телевизионное и звуковое вещание
690300.4 – Инфокоммуникационные технологии в сервисах и услугах связи
(очная форма обучения, кредитная технология)

Всего кредитов: 4 кредита

в том числе:
Аудиторная работа: 48 час.
Лекции 32ч
Практические работы 16 час.
Самостоятельная работа студентов 72 час.
экзамен
Форма отчетности 4
Семестр
Рабочую программу разработал:

_________________к.ф.-.м.н. Дуйшоков К.Д.

Рабочая программа утверждена на заседании кафедры ИСТТ

протокол № ___ от «___» _______ 2019 г. _____________________ Дуйшоков К.Д.
(подпись зав. каф.)

Одобрено учебно-методической комиссией ИЭТ при КГТУ им. И. Раззакова

Протокол № ___ от «___» _______ 2019 г. _____________________
Кармышаков А.К.
(подпись пред. УМК)
Бишкек 2019 г.
 1. ВВЕДЕНИЕ (Пояснительная записка)
Курс «Математическая логика и теория алгоритмов» изучается студентами на 2
курсе, обучающихся по
направлению: 690300 «Инфокоммуникационные технологии и системы связи»
профили: 690300.1 – Сети связи и системы коммутации
690300.2 – Системы мобильной связи и радиодоступа
690300.3 – Цифровое телевизионное и звуковое вещание
690300.4 – Инфокоммуникационные технологии в сервисах и услугах связи

Как известно, логика широко применяется в технике при исследовании и

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

2. Цели и задачи дисциплины, ее место в учебном процессе

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

специализированных курсов, читаемых в технических вузах, университетах и академиях.
В частности применяется к направлению Информационные системы и технологии. Этот
курс является основой таких узкоспециализированных дисциплин как ««Теоретическая
информатика», «Теория принятия решений», «Технология обработки информации»,
«Технология программирования».

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

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

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

дисциплина «Дискретная математика».

2.2. Сфера применения результатов изучения дисциплины

Знания, полученные в ходе изучения дисциплины должны помочь студентам в их даль-
нейшей профессиональной деятельности.
Студент найдёт применение своих знаний при решении задач современного программи-
рования и моделирования, а также приложений к моделированию сложных
процессов, сочетающих как непрерывные, так и дискретные компоненты.

2.3. Задачи изучения дисциплины

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

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

знать
знать классическое исчисление предикатов гильбертовского и секвенциального
типа, теорему взаимосвязи, основанную на теореме о дедукции, семантику
исчисления высказываний истинностную и теоретико-множественную,
семантику исчислений предикатных на основе теории моделей (алгебраических
систем).
4
 3. Методы изучения дисциплины
Изучение данной дисциплины предполагает проведение:
Лекционных и практических занятий всего в объеме 10 часов в семестр, из них:
Лекционные занятия;
Практические занятия;
Промежуточное тестирование знаний студентов.
Контрольные работы.
Компьютерное тестирование.
Самостоятельная работа студентов.
Проведение итогового контроля по завершении курса.

4. Общая характеристика направления подготовки в контексте изучаемой

дисциплины

4.1. Объекты профессиональной деятельности

Объектами профессиональной деятельности являются:

представления о возможности погружения математических теорий в
аксиоматическую теорию множеств;
проблемы построения логических исчислений и их семантики;
решение задач информационной системы с применением аппарата математической
логики;
оценки временной и емкостной сложностей алгоритма при разработке программ.
Студент, прошедший курс «Математическая логика и теория алгоритмов» должен решать
следующие профессиональные задачи в соответствии с видами профессиональной
деятельности:
построение формул логики высказываний, анализа их свойств и преобразования в
КНФ;
для решения проблемы дедукции использовать метод резолюции в логике
высказываний;
оценки временной и емкостной сложности алгоритмов;
формальной записи рассуждений с использованием языка логики предикатов;
преобразования формул исчисления предикатов из стандартной формы в клау-
зальную.
использование метода резолюций в логике предикатов.
Студент, по завершению прохождения курса дисциплины «Математическая логика и
теория алгоритмов» должен обладать следующими компетенциями:

а) универсальными:
- общенаучными (ОК):

5
 способен использовать базовые положения математических /естественных/
гуманитарных/ экономических наук при решении профессиональных задач (ОК-2);
способен приобретать новые знания с большой степенью самостоятельности с
использованием современных образовательных и информационных технологий
(ОК-3);
способен понимать и применять традиционные и инновационные идеи, находить
подходы к их реализации и участвовать в работе над проектами, используя базовые
методы исследовательской деятельности (ОК-4);
- инструментальными (ИК):
способен воспринимать, обобщать и анализировать информацию, ставить цели и
выбирать пути ее достижения (ИК-1);
владеть основными методами, способами и средствами получения, хранения и
переработки информации, навыками работы с компьютером, как средством
управления информацией, в том числе в глобальных компьютерных сетях и
корпоративных информационных системах (ИК-5);
- социально-личностными и общекультурными (СЛК)
способен использовать полученные знания, необходимые для здорового образа
жизни, охраны природы и рационального использования ресурсов (СЛК-4);
способен работать в коллективе, в том числе над междисциплинарными проектами
(СЛК-5).
б) профессиональными (ПК):
Проектно-конструкторская деятельность:
способен проводить предпроектное обследование объекта проектирования,
системный анализ предметной области, их взаимосвязей (ПК-1);
способен проводить техническое проектирование (ПК-
2); способен проводить рабочее проектирование (ПK-3);
способен проводить выбор исходных данных для проектирования (ПК-4);
способен проводить моделирование процессов и систем (ПК-5);
способен оценивать надежность и качество функционирования объекта
проектирования (ПК-6);
способен осуществлять сертификацию проекта по стандартам качества (ПК-7);
способен проводить расчет обеспечения условий безопасной жизнедеятельности
(ПК-8);
способен проводить расчет экономической эффективности (ПК-9);
готов разрабатывать, согласовывать и выпускать все виды проектной документации
(ПК-10).
Проектно-технологическая деятельность:
способен к проектированию базовых и прикладных информационных технологий
(ПК-11);
способен разрабатывать средства реализации информационных технологий
(методические, информационные, математические, алгоритмические, технические и
программные) (ПК-12);
Организационно-управленческая деятельность:

6
 способен осуществлять организацию рабочих мест, их техническое оснащение,
размещение компьютерного оборудования (ПК-18);
готов осуществлять организацию контроля качества входной информации (ПК-21).
Научно-исследовательская деятельность:
способен проводить сбор, анализ научно-технической информации, отечественного
и зарубежного опыта по тематике исследования, способен участвовать в постановке и
проведении экспериментальных исследований (ПК-22);
способен обосновывать правильность выбранной модели, сопоставляя результаты
экспериментальных данных и полученных решений (ПК-23);
готов использовать математические методы обработки, анализа и синтеза
результатов профессиональных исследований (ПК-24);
способен оформлять полученные рабочие результаты в виде презентаций, научно-
технических отчетов, статей и докладов на научно- технических конференциях (ПK-25).
Монтажно-наладочная деятельность:
способен к инсталляции, отладке программных и настройке технических средств
для ввода информационных систем в опытную и в промышленную эксплуатацию (ПК-27);
Сервисно-эксплуатационная деятельность:
способен поддерживать работоспособность информационных систем и технологий
в заданных функциональных характеристиках и соответствии критериям качества,
составлять инструкции по эксплуатации информационных систем (ПК-29);
готов обеспечивать безопасность и целостность данных информационных систем и
технологий, адаптировать приложения к изменяющимся условиям функционирования
(ПК-30).

5. Необходимое обеспечение для изучения дисциплины

Занятия по дисциплине «Математическая логика и теория алгоритмов»

проводятся в обычных аудиториях.

6. Объем и содержание занятий

Структура дисциплины:

Перечень вопросов для подготовки к контролю

1. Чем занимается математическая логика?
2. Алфавит, буква, слово в алфавите. Формула, переменная, форма.
3. Логические операции и формулы.
4. Булева алгебра. Тождественные преобразования. Упрощение записи
формул.
5. Высказывание. Предикаты.
6. Алфавит языка логики высказываний: переменные для высказываний,
логические связки, формулы логики высказываний.
7. Истинностные таблицы для отрицания, конъюнкции, дизъюнкции,
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. Карты Карно.
37. Комплекс кубов.
38. Многовыходные схемы.
39. Метод Куайна - Мак-Класки.
40. Пример минимизации функции.
41. Алгебраический метод.
42. Метод Блейка-Порецкого.
43. Склеивание и поглощение кубов.
44. Частично определенные функции.
45. Преобразователь кодов. Сумматор.
46. Минимизация в других системах.
47. Основные определения. Состояния. Типы конечных автоматов.
Представления конечных автоматов.
48. Анализ конечных автоматов.
49. Синтез конечных автоматов.
50. Минимизация автоматов.
51. Эквивалентное разбиение.
8
52. Неполные автоматы.
53. Функции многозначной логики. Константы и функции одной переменной.
54. Функции двух переменных.
55. Нормальные формы.
56. Функционально полные системы.
57. Полиномиальные представления.
58. Минимизация многозначных функций.
59. Сведение к двузначным функциям.
60. Многозначные элементы. Другие логики.
61. Закон исключения третьего.
62. Сентенциональные связки.
63. Формулы и постановки.
64. Сложные высказывания и здравый смысл. Тавтологии.
65. Законы логики высказываний.
66. Равносильность. Логическое следствие.
67. Правила вывода. Дедуктивный метод.
68. Высказывания и предикаты.
69. Связанные и свободные переменные.
70. Категорические высказывания.
71. Непосредственные заключения.
72. Категорические силлогизмы.
73. Символизация языка. Оценочная процедура.
74. Общезначимость. Доказательство логического следствия.
75. Что такое алгоритм. Численные алгоритмы.
76. Логические алгоритмы. Общие свойства алгоритмов.
77. Ассоциативное исчисление. Эквивалентность слов.
78. Нормальный алгоритм Маркова.
79. Машина Тьюринга.
80. Алгоритмическая разрешимость.
81. Прикладная теория алгоритмов
82. Неформальные и формальные теории.
83. Польза теорий.
84. Теория частичного порядка.
85. Алгоритмы и разрешимость.
86. Алгоритмический язык Геделя
87. Алгоритмический язык Тьюринга.
88. Кодирование и тезис Черча.
89. Класс вычислимых функций.
9
 8. Модульно-рейтинговая аттестация студентов

Рейтинг I……………………………………………………………………….

КОЛИЧЕСТВО НЕДЕЛЬ 8
Модуль I. Включает в себя:
- Лекционные занятия в объеме __часов.
- Практические занятия в объеме 10 часов.
- Самостоятельная работа студентов с преподавателем в объеме
10 часов
- Самостоятельная работа студентов без преподавателя в объеме
100 часов
Сдача модуля комбинированная (бланочное тестирование,
контрольная работа)
Лекционный блок
Примечание
Темы занятий
Раздел 1. Исчисления высказываний и предикатов Основная
1. Основы логики высказываний теоретическая
информация
Получение практических навыков построения формул логики дисциплины
высказываний, анализа их свойств и преобразования в КНФ. дается студентам в
ходе групповых
2. Метод резолюций в логике высказываний лекционных
Практическое освоение метода резолюций в логике высказываний занятий.
для решения проблемы дедукции.

3. Оценка сложности алгоритмов

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

4. Язык логики предикатов

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

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

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

6. Метод резолюций в логике предикатов. Унификация.

Практическое освоение метода резолюций в логике предикатов.

Практический блок
1. Высказывания, операции над высказываниям, На
таблицы истинности для высказываний. Практических
занятиях
2. Булевские операции. Применение логических отрабатываются
операций для анализа контактных схем. приемы решения
3. Приведение логической формулы к ДНФ, КНФ. задач,
Логика предикатов. предусмотренных
4. Контрольная работа № 1. лекционных
занятиях.
10
 Самостоятельная работа студентов без преподавателя Для более
Множества и их мощности. Всюду определенное, глубокого
изучения
функциональное, сюръективное, инъективное отношение между отдельных
элементами двух множеств. Биекция. Равномощность аспектов
(эквивалентность) множеств. Сравнение мощностей двух. предмета,
Элементы комбинаторики. Основные принципы студентам будут
комбинаторики. Установление эквивалентностей, позволяющих предложены
следующие темы и
обосновать корректность понятий числа k-элементных задания для
подмножеств n-элементного множества, числа размещений из n самостоятельного
k k
по k. Числовые выражения для Cn , An , Pn. Установление освоения и
эквивалентностей, используемых при их получении. тренировки
Перестановка с повторениями, сочетание с повторениями. Бином практических
Ньютона. Формула включения и исключения. навыков
Логические и логико-предметные теории. Классические
(традиционные) логические системы.

Литература
Основная
1. Александров П.С. Введение в теорию множеств и общую
топологию. М.: Наука, 1977.
2. Ежов И.И., Скороход А.В., Ядренко М.И. Элементы
комбинаторики. М.: Наука, 1979.
3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств,
математической логике и теории алгоритмов. М.: Физ.-мат.
литература, 1995.
4. Мендельсон Э. Введение в математическую логику. М.: Наука,
1984.
5. Харари Ф. Теория графов. М.: Мир, 1973.
6. Черч А. Введение в математическую логику. М.: ИЛ, 1960.
7. Шиханович Ю.А. Введение в современную математику. М.:
Наука, 1965.
8. Тей А., Грибомон П. и др. Логический подход к искусственному
интеллекту: от классической логики к логическому программи-
рованию. Москва, «Мир», 1990.

Дополнительная
1. Берж К. Теория графов и ее применения. М.: ИЛ, 1962.
2. Бурбаки Н. Теория множеств. М.: Мир, 1965.
3. Виленкин Н.Я. Популярная комбинаторика. М.: Наука, 1975.
4. Клини С.К. Математическая логика. М.: Мир, 1973.
5. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.
6. Новиков П.С. Элементы математической логики. М.: Наука,
1973.
7. Оре О. Графы и их применение. М.: Мир, 1965.
8. Столл Р. Множества, логика, аксиоматические теории. М.:
Просвещение, 1968.
11
9. Фор Р., Кофман А., Дени-Папен М. Современная математика.
М.: Мир, 1966.
10. Френкель А., Бар-Хиллел И. Основания теории множеств. М.:
Мир, 1966.
11. Баракова Ж.Т. Математическая логика и теория алгоритмов.
Методические указания к практическим занятиям для студентов
специальности 552802. ИЦ «Текник» КГТУ, 2008.

Рейтинг II……………………………………………………

КОЛИЧЕСТВО НЕДЕЛЬ 8
Лекционный блок
Примечание
Темы занятий
Раздел 2. Математическая логика как одно из оснований Основная
современной математики теоретическая
информация
дисциплины
Тема 8. Многозначная логика дается студентам в
Функции многозначной логики. Константы и функции одной ходе групповых
переменной. Функции двух переменных. Нормальные формы. лекционных
Функционально полные системы. Полиномиальные занятий.
представления. Минимизация многозначных функций. Сведение
к двузначным функциям. Многозначные элементы. Другие
логики.
Тема 9. Логика высказываний
Закон исключения третьего. Сентенциональные связки. Формулы
и постановки. Сложные высказывания и здравый
смысл. Тавтологии. Законы логики высказываний.
Равносильность. Логическое следствие. Правила вывода.
Дедуктивный метод.
Тема 10. Классическая логика предикатов
Высказывания и предикаты. Связанные и свободные переменные.
Категорические высказывания. Непосредственные заключения.
Категорические силлогизмы. Символизация языка.
Оценочная процедура. Общезначимость. Доказательство
логического следствия.
Тема 11. Алгоритмы Что такое алгоритм. Численные
алгоритмы. Логические
алгоритмы. Общие свойства алгоритмов. Ассоциативное
исчисление. Эквивалентность слов. Нормальный алгоритм
Маркова. Машина Тьюринга. Алгоритмическая разрешимость.
Прикладная теория алгоритмов
Тема 12. Теории первого порядка Введение. Неформальные
и формальные теории. Польза теорий. Теория частичного
порядка.
Тема 12. Модели теории Алгоритмы и разрешимость.
Алгоритмический язык Геделя
Алгоритмический язык Тьюринга. Кодирование и тезис Черча.
Класс вычислимых функций.
12
 Практический блок
На
1. Способы задания соответствий. Операции над практических
занятиях
соответствиями. Отношения, способы задания отношений, отрабатываются
операции над отношениями. приемы решения
2. Основные Свойства отношений. Отношения задач,
эквивалентности, толерантности, порядка предусмотренных
3. Конечные автоматы. лекционных
4. Контрольная работа № 2. занятиях.

Самостоятельная работа студентов без преподавателя Для более

Метод резолюций. Аксиоматические системы, формальный глубокого
изучения
вывод. Материя формальных систем.
отдельных
Принцип логического программирования. Темпоральные аспектов
логики. Нечеткая и модальная логики. Нечеткая арифметика. предмета,
Алгоритмическая логика Ч. Хоара. студентам будут
Логико-математические теории. предложены
следующие темы и
Элементы теории графов. Псевдограф, мультиграф, граф.
задания для
Ориентированный граф. Помеченный граф. Вершина, ребро, самостоятельного
петля, кратные ребра. Маршрут, замкнутый маршрут, цепь, освоения и
простая цепь, цикл. Связный граф. Дерево. тренировки
Неклассические, формальные логические системы. практических
Поиск вывода и проблемы разрешения в логических и навыков
логико-математических исчислениях.
Классы задач P и NP. NP - полные задачи. Основы нечеткой
логики для алгоритмической логики.
Изоморфизм графов. Инварианты изоморфизма.
Функциональное программирование, лямбда-исчисления,
автоматический поиск логического вывода, методы работ с
равенствами.

Литература
Основная
9. Александров П.С. Введение в теорию множеств и общую
топологию. М.: Наука, 1977.
10. Ежов И.И., Скороход А.В., Ядренко М.И. Элементы
комбинаторики. М.: Наука, 1979.
11. Лавров И.А., Максимова Л.Л. Задачи по теории множеств,
математической логике и теории алгоритмов. М.: Физ.-мат.
литература, 1995.
12. Мендельсон Э. Введение в математическую логику. М.: Наука,
1984.
13. Харари Ф. Теория графов. М.: Мир, 1973.
14. Черч А. Введение в математическую логику. М.: ИЛ, 1960.
15. Шиханович Ю.А. Введение в современную математику. М.:
Наука, 1965.
16. Тей А., Грибомон П. и др. Логический подход к искусственному
интеллекту: от классической логики к логическому программи-
рованию. Москва, «Мир», 1990.
13
Дополнительная
12. Берж К. Теория графов и ее применения. М.: ИЛ, 1962.
13. Бурбаки Н. Теория множеств. М.: Мир, 1965.
14. Виленкин Н.Я. Популярная комбинаторика. М.: Наука, 1975.
15. Клини С.К. Математическая логика. М.: Мир, 1973.
16. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.
17. Новиков П.С. Элементы математической логики. М.: Наука,
1973.
18. Оре О. Графы и их применение. М.: Мир, 1965.
19. Столл Р. Множества, логика, аксиоматические теории. М.:
Просвещение, 1968.
20. Фор Р., Кофман А., Дени-Папен М. Современная математика.
М.: Мир, 1966.
21. Френкель А., Бар-Хиллел И. Основания теории множеств. М.:
Мир, 1966.
22. Баракова Ж.Т. Математическая логика и теория алгоритмов.
Методические указания к практическим занятиям для студентов
специальности 552802. ИЦ «Текник» КГТУ, 2008.

9. Требования об академической успеваемости

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

суммой набранных баллов (из 100 возможных). Распределение баллов распределяется
следующим образом:

Отлично (87-100)
Хорошо (74-86)
Удовлетворительно (61-763)
Неудовлетворительно (0-60)

За сдачу каждой контрольной работы студент максимально может получить 30 баллов.

Итоговый контроль 40 баллов.
По результатам изучения контрольной работы оценка знаний студента формируется
следующим образом:
1. Посещение занятий 3 баллов
2. Выполнение лабораторных заданий и самостоятельной работы с преподавателем 17
баллов.
3. Выполнение самостоятельной работы студента (0-10) баллов.
4. Модульно-рейтинговый контроль (on-line тестирование, бланочное тестирование,
устный опрос) (30 баллов за каждый модуль).

Штрафные баллы:
1. Опоздание на занятия (-0,3балла)
2. Использование мобильных средств на лекционных занятиях (-0,2 балла)
3. Несвоевременная сдача практических работ (проектов) (-0,5 балла)

9.1. Критерии при оценивании дисциплины

1. Логика мышления студента.

2. Анализ принятия решений.
3. Оценка работы группы.
 4. Вид оценки, вид контроля.
5. Элемент субъективности.
6. Мотивация студента.
7. Оценка посещаемости.
8. Психологический фактор.

9.2. Критерии оценивания сдачи самостоятельной работы студентов

Для успешного освоения курса «Математическая логика и теория алгоритмов»,

студенты должны сдать отчеты о выполнении практических работ. Критерии
оценивания СРС следующие:

1. Правильности выполнения задания.

2. Логический ход мышления.
3. Краткое описание применяемого метода.
4. Анализ результатов.
5. Оформление работы.

9.3. Индивидуальная работа

Работа в группах.
Использование современных средств на программном уровне.
Использование имитационных моделей.
Самостоятельная работа.
On-line тестирование.
Примечание:
Колличество баллов установливается индивидуально преподавателем в зависимости
от принятого критерия оценки

9.4. Общие компетенции

лидерство;
коммуникативность;
стрессовоустойчивость;
креативность;
знания;
умения;
навыки.
Ожидаемый результат: умение проводить формальный анализ основных элемен-
тарных функций, их графическое изображение, свойства фигур на плоскости и тел в
пространстве, математических методов решений иррациональных уравнений, неравенств
и систем, а также задач с параметрами.
Иметь теоретические и практические навыки выделять основные положения
лекционного курса, доказывать теоремы, решать уравнения, неравенства и системы,
строить графики функции, находить метрические соотношения в плоских фигурах и в
телах.
Использование рассматриваемого математического аппарата при изучении
вычислительной техники, информационной технологии и т.д.
 Оценивание:
Уровень бакалавра – решение стандартных задач, ситуационные задачи,
исследовательская часть, анализ полученных результатов.

9.5. Карта рейтинг контроля

Итоговое распределение баллов:

Удовлетворительно Хорошо Отлично

Сумма баллов 61-73 74-86 87-100
Содержание оценки ИЭТ
Отлично – замечательный результат при
5 A Отлично
нескольких незначительных недостатках

зач
ет
Очень хорошо – результат выше среднего,
4+ B Хорошо
несмотря на определённое количество недостатков

16
Хорошо – в общем, хорошая работа, несмотря на
4 C
определённое число значительных недостатков
Удовлетворительно – добросовестная работа,
3+ D
содержащая, однако, значительные недостатки Удовлет-
Посредственно – результат соответствует ворительно
минимально допустимым критериям 3 E

Неудовлетворительно - с правом пересдачи,

необходима дополнительная работа для получения 2 FX
кредита

незачет
Неудовлет-
Неудовлетворительно - без права пересдачи,
ворительно
необходимо повторить курс, необходима
F
значительная дополнительная работа
(повторный курс)
 10. Литература, рекомендуемая для самостоятельного изучения

Основная
1. Александров П.С. Введение в теорию множеств и общую топологию. М.: Наука, 1977.
2. Ежов И.И., Скороход А.В., Ядренко М.И. Элементы комбинаторики. М.: Наука, 1979.
3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и
теории алгоритмов. М.: Физ.-мат. литература, 1995.
4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
5. Харари Ф. Теория графов. М.: Мир, 1973.
5. Черч А. Введение в математическую логику. М.: ИЛ, 1960.
7. Шиханович Ю.А. Введение в современную математику. М.: Наука, 1965.
8. Тей А., Грибомон П. и др. Логический подход к искусственному интеллекту: от
классической логики к логическому программированию. Москва, «Мир», 1990.
9. Баракова Ж.Т. Математическая логика и теория алгоритмов. Методические указания к
практическим занятиям для студентов специальности 552802. ИЦ «Текник» КГТУ, 2008.

Дополнительная
10. Берж К. Теория графов и ее применения. М.: ИЛ, 1962.
11. Бурбаки Н. Теория множеств. М.: Мир, 1965.
12. Виленкин Н.Я. Популярная комбинаторика. М.: Наука, 1975.
13. Клини С.К. Математическая логика. М.: Мир, 1973.
14. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.
15. Новиков П.С. Элементы математической логики. М.: Наука, 1973.
16. Оре О. Графы и их применение. М.: Мир, 1965.
17. Столл Р. Множества, логика, аксиоматические теории. М.: Просвещение, 1968.
18. Фор Р., Кофман А., Дени-Папен М. Современная математика. М.: Мир, 1966.
19. Френкель А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966.

11. Контрольные вопросы к экзамену по дисциплине

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. Карты Карно.
37. Комплекс кубов.
38. Многовыходные схемы.
39. Метод Куайна - Мак-Класки.
40. Пример минимизации функции.
41. Алгебраический метод.
42. Метод Блейка-Порецкого.
43. Склеивание и поглощение кубов.
44. Частично определенные функции.
45. Преобразователь кодов. Сумматор.
46. Минимизация в других системах.
47. Основные определения. Состояния. Типы конечных автоматов. Представления
конечных автоматов.
48. Анализ конечных автоматов.
49. Синтез конечных автоматов.
50. Минимизация автоматов.
51. Эквивалентное разбиение.
52. Неполные автоматы.
53. Функции многозначной логики. Константы и функции одной переменной.
54. Функции двух переменных.
55. Нормальные формы.
56. Функционально полные системы.
57. Полиномиальные представления.
58. Минимизация многозначных функций.
59. Сведение к двузначным функциям.
60. Многозначные элементы. Другие логики.
61. Закон исключения третьего.
62. Сентенциональные связки.
63. Формулы и постановки.
64. Сложные высказывания и здравый смысл. Тавтологии.
65. Законы логики высказываний.
66. Равносильность. Логическое следствие.
67. Правила вывода. Дедуктивный метод.
68. Высказывания и предикаты.
69. Связанные и свободные переменные.
70. Категорические высказывания.
71. Непосредственные заключения.
72. Категорические силлогизмы.
73. Символизация языка. Оценочная процедура.
74. Общезначимость. Доказательство логического следствия.
75. Что такое алгоритм. Численные алгоритмы.
76. Логические алгоритмы. Общие свойства алгоритмов.
77. Ассоциативное исчисление. Эквивалентность слов.
78. Нормальный алгоритм Маркова.
79. Машина Тьюринга.
80. Алгоритмическая разрешимость.
81. Прикладная теория алгоритмов
82. Неформальные и формальные теории.
83. Польза теорий.
84. Теория частичного порядка.
85. Алгоритмы и разрешимость.
86. Алгоритмический язык Геделя
87. Алгоритмический язык Тьюринга.
88. Кодирование и тезис Черча.
89. Класс вычислимых функций.