Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

From the reviews of the first edition: "This is the first of two volumes on mathematics for computer scientists. a ] To facilitate reading of other literature, alternative or differing definitions of standard terms are frequently given. a ] The work is abundant with exercises a ] . A special feature is the adoption of a computer algebra system, namely Mathematica, for calculation and visualization. a ] The exposition is always clear, most proofs are complete, layout is marvelous a ] . The volume is equally well suited as a textbook for university courses as for self-study." (Dieter Riebesehl, Zentralblatt MATH, Vol. 1080, 2006)