УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ. а) основная литература: Новиков Ф
а) основная литература:
- Новиков Ф. А. Дискретная математика: Учебник для вузов. Стандарт третьего поколения. - Издательство «Питер». 1 изд., 2011 г., 384 стр., ISBN 978-5-459-00452-6.
- Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. - 5-е изд.. — М.: Физматлит, 2004 г. ISBN 5-9221-0026-2.
б) дополнительная литература:
1. Анкудинов Г.И., Анкудинов И.Г., Петухов О.А. Математическая логика и теория алгоритмов: Учеб. пособие.– 2-е изд. − СПб.: СЗТУ, 2003. - 104 c.
2. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. 3-е издание. - м.: МЦНМО, 2008. ISBN 9785940573210.
3. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. 3-е издание. - м.: МЦНМО, 2008. ISBN 9785940573227.
4. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 3-е издание. - м.: МЦНМО, 2008. ISBN 9785940573234.
5. Гамова Н. Математическая логика и теория алгоритмов. Саратов; Изд-во СГУ, 1999.-76с.
6. Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108с.
7. Ершов Ю.Л., Палютин Е.А. Математическая логика. Учебное пособие. - СПб.: Лань, 2004. -336 с.
8. Игошин В.И. Математическая логика и теория алгоритмов: учеб. пособие для студ. высш. учеб. заведений / В.И. Игошин. – 2-е изд., стер. - М.: Академия, 2008. – 448 с.
9. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: Учеб. Пособие для вузов / В.И. Игошин. – М.: Академия, 2005. – 304с.
10. Кнут Д. Искусство программирования. – СПб: Питер, 2000.
11. Ковальский Р. Логика в решении проблем. - М.: Наука, 1990. - 280 с.
12. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. – М.: КомКнига, 2006. 240 с.
13. Маслов С.Ю. Теория дедуктивных систем и ее применение. - М.: Радио и связь, 1985.
14. Ульянов М.В., Шептунов М.В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: МГАПИ, 2003. – 47 с.
15. Ульянов М.В., Шептунов М.В. Математическая логика и теория алгоритмов, часть 2: Теория алгоритмов. – М.: МГАПИ, 2003. – 80 с.
в) программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:
1. http://demo.ifmo.ru — конспекты лекций, электронные тесты
2. http://pr_lect.ifmo.ru — презентации лекций, вспомогательные материалы
г) базы данных, информационно-справочные и поисковые системы:
1. http://www.intuit.ru/
2. http://www.edu.ru/
3. http://www.i-exam.ru/
4. http://gen.lib.rus.ec/
и др.
д) Электронно-библиотечная система. Издательство «Лань» [Электронный ресурс]
1. Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. — Лань, 2008. — Режим доступа: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=112
2. Лихтарников Л.М. Математическая логика. Курс лекций. Задачник-практикум и решения. — Лань, 2009. — Режим доступа: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=231
3. Мальцев И.А. Дискретная математика. — Лань, 2011. — Режим доступа: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=638
4. Паронджанов В.Д. Дружелюбные алгоритмы, понятные каждому. Как улучшить работу ума без лишних хлопот. — Лань, 2010. — Режим доступа: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=1083
5. Шоломов Л. А. Основы теории дискретных логических и вычислительных устройств. — Лань, 2011. — Режим доступа: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=1556
МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
1. Лекционные занятия:
a. комплект электронных презентаций/слайдов,
b. аудитория, оснащенная презентационной техникой (проектор, экран, компьютер/ноутбук).
2. Практические занятия:
a. компьютерный класс,
b. презентационная техника (проектор, экран, компьютер/ноутбук),
c. пакеты ПО общего назначения (текстовые редакторы, графические редакторы).
3. Прочее
a. рабочее место преподавателя, оснащенное компьютером с доступом в Интернет,
b. рабочие места студентов, оснащенные компьютерами с доступом в Интернет, предназначенные для работы в электронной образовательной среде,
Приложение 1
к рабочей программе дисциплины
«Математическая логика и теория алгоритмов»