5. Учебно-методическое и информационное обеспечение дисциплины

а) основная литература:

1. Новиков Ф. А. Дискретная математика: Учебник для вузов. Стандарт третьего поколения. - Издательство «Питер». 1 изд., 2011 г., 384 стр., ISBN 978-5-459-00452-6.

2. Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. - 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