Основна
1. Селлерс Ф. Методы обнаружения ошибок в работе ЭВМ. – М.: Мир, 1974. - С.32-41.
Додаткова
2. Бохман Д., Постхоф Х. Двоичные динамические системы. М.: Энергоатомиздат, 1986. - С.66-167.
Для практичних занять
3. Методичні вказівки і завдання до контрольних робіт з дисципліни «Основи дискретної математики» для студентів очної та заочної форм навчання фахів 6.0804, 6.0915 / О.М. Мартинюк. – Одеса: ОНПУ, 2001. – С.45-50.
Лекція 36. Логіка предикатів