Новиков Ф.А.
Дискретная математика для программистов
Ноокулон. Управление реальностью.