"Mathematical Methods in Computer Science" - читать интересную книгу автора (Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade )