Literatur

Diskrete Mathematik

- Literatur -

H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, Ph. Zeitz. Mathematisch-strukturelle Grundlagen der Informatik. Springer, 2. Auflage 2001.
J. Gallier. Logic for Computer Science. Harper & Row 1985.
(auch: überarbeitete Version von 2003, copyright J. Gallier, siehe: //www.cis.upenn.edu/~jean/gbooks/logic.html für Datei und Nutzungsbedingungen)
Rod Haggarty. Diskrete Mathematik für Informatiker. Pearson Studium 2004.
D. Kalish, R. Montague. Logic. Techniques of Formal Reasoning.Arcourt, Brace & World, Inc. 1964.
Werner Nehrlich. Diskrete Mathematik. Basiswissen für Informatiker. Fachbuchverlag Leipzig im Carl Hanser Verlag 2003.
V. Sperschneider, G. Antoniou. Logic - A Foundation for Computer Science. Addison-Wesley Publishing Company 1991.