"Discrete Mathematics for Computer Science" - читать интересную книгу автора (Gallier J.)