Куценко Д.А. Математическая логика и теория алгоритмов : Учеб. пособие / Д. А. Куценко, Д. В. Терехов, 2009. - 64 с. - Текст : непосредственный.
Гарибов А. И. Информатика : Учебное пособие / Гарибов А. И., 2012. - 224 с. - Текст : электронный.