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