- •«Математическая логика и теория алгоритмов»
- •231000 Программная инженерия
- •1. Цели освоения дисциплины
- •2. Место дисциплины в структуре ооп бакалавриата
- •3. Компетенции обучающегося, формируемые в результате освоения дисциплины
- •4. Структура и содержание дисциплины
- •1. Логика высказываний - 9 часов.
- •1.1. Высказывания и логические операции над ними – 1 час.
- •1.4. Логическое следование формул (отношение логического следования формул) – 1 час.
- •2. Логика предикатов – 10 часов.
- •2.1. Предикаты – 2 часа.
- •2.2. Логические и кванторные операции над предикатами - 2 часа.
- •3. Варианты логики – 4 часа.
- •3.1. Классическая логика и клаузальная логика – 1 час.
- •5. Образовательные технологии
- •6. Учебно-методическое обеспечение самостоятельной работы студентов. Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины.
- •7. Учебно-методическое и информационное обеспечение дисциплины
- •8. Материально-техническое обеспечение дисциплины
7. Учебно-методическое и информационное обеспечение дисциплины
а) основная литература:
Игошин В.И. Математическая логика и теория алгоритмов: учеб. пособие для студ. высш. учеб. заведений / В.И. Игошин. – 2-е изд., стер. - М.: Академия, 2008. – 448 с.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: Учеб. Пособие для вузов / В.И. Игошин. – М.: Академия, 2005. – 304с.
Анкудинов Г.И., Анкудинов И.Г., Петухов О.А. Математическая логика и теория алгоритмов: Учеб. пособие.– 2-е изд. − СПб.: СЗТУ, 2003. - 104 c.
Гамова Н. Математическая логика и теория алгоритмов. Саратов; Изд-во СГУ, 1999.-76с.
Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108с.
Ершов Ю.Л., Палютин Е.А. Математическая логика. Учебное пособие. - СПб.: Лань, 2004. -336 с.
Ковальский Р. Логика в решении проблем. - М.: Наука, 1990. - 280 с.
Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. – М.: КомКнига, 2006. 240 с.
Ульянов М.В., Шептунов М.В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: МГАПИ, 2003. – 47 с.
Ульянов М.В., Шептунов М.В. Математическая логика и теория алгоритмов, часть 2: Теория алгоритмов. – М.: МГАПИ, 2003. – 80 с.
б) дополнительная литература:
Мощенский С.С. Лекции по математической логике. М.: Наука, 1970
Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. Учебник. М.: Инфра-М, 2004. -224 с.
Эдельман С.Л. Математическая логика: Учебное пособие для институтов / С.Л. Эдельман. – М.: Высшая школа, 1975. – 176с.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982. – 416с.
Лорьер Ж.-Л. Системы искусственного интеллекта. - М.: Мир, 1991. - 568 с.
Матросов В.Л. Теория алгоритмов. - М.: Прометей, 1989.
Тей А. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. - М.: Мир, 1990. - 432 с.
Успенский В.А. Машина Поста. - М.: Наука, 1988.
Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М.: Наука, 1987.
Марков А.А., Нагорный Н.М. Теория алгоритмов. М.: Наука, 1984.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1984. 320с
в) программное обеспечение и Интернет-ресурсы
необязательно:
- среда логического программирования (Prolog и пр.)
8. Материально-техническое обеспечение дисциплины
Для обеспечения данной дисциплины необходимо: лекционная аудитория, соответствующая действующим санитарным и противопожарным нормам.
Возможно провести одно практическое занятие на компьютере для ознакомления с одним из языков логического программирования (более подробно изучение логического программирования предусмотрено на следующих курсах).