Список основной литературы

1. Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов. - М. Горячая линия - Телеком, 2007.
2. Треногин В.А. Дискретная математика: Учебник для вузов. Стандарт третьего поколения 2011
3. Новиков Ф.А. Дискретная математика для программистов. - СПб.: Питер, 2001.
4. Пономарев, В. Ф. Дискретная математика для инженеров. – М. : Горячая линия-Телеком, 2009.
5. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. — М.: Финансы и статистика, 2006. — 368 с.

Список дополнительной литературы

1. Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с.
2. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с.
3. Зарипова Э.Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс]: учебное пособие/ Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.— Электрон. текстовые данные.— М.: Российский университет дружбы народов, 2014.— 120 c.— Режим доступа: http://www.iprbookshop.ru/22190— ЭБС «IPRbooks», по паролю.
4. Маньшин М.Е. Математическая логика и теория алгоритмов [Электронный ресурс]: учебное пособие/ Маньшин М.Е.— Электрон. текстовые данные.— Волгоград: Волгоградский институт бизнеса, Вузовское образование, 2009.— 106 c.— Режим доступа: http://www.iprbookshop.ru/11334— ЭБС «IPRbooks», по паролю.
5. Верещагин Н.К. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления [Электронный ресурс]/ Верещагин Н.К., Шень А.— Электрон. текстовые данные.— М.: МЦНМО, 2012.— 240 c.— Режим доступа: http://www.iprbookshop.ru/11947— ЭБС «IPRbooks», по паролю.
6. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс]: учебное пособие/ Лавров И.А., Максимова Л.Л.— Электрон. текстовые данные.— М.: ФИЗМАТЛИТ, 2009.— 256 c.— Режим доступа: http://www.iprbookshop.ru/12903— ЭБС «IPRbooks», по паролю.
7. Верещагин Н.К. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции [Электронный ресурс]/ Верещагин Н.К., Шень А.— Электрон. текстовые данные.— М.: МЦНМО, 2012.— 160 c.— Режим доступа: http://www.iprbookshop.ru/11948— ЭБС «IPRbooks», по паролю.