Literatur
- Kastens, Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser (2014)
[Uni-Bibliothek]
- Goos: Vorlesungen über Informatik, Band 1, Springer (2005)
[Uni-Bibliothek] [Download]
- Scheurer: Foundations of Computing: System Development With Set Theory and Logic, Addison-Wesley (1994)
[Uni-Bibliothek]
- Velleman: How to Prove It: A Structured Approach, Cambridge University Press (2006)
[Uni-Bibliothek]
- Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra[Taschenbuch], Springer Verlag Deutschland
[Uni-Bibliothek] [Download]
-
Schöning: Logik für Informatiker, Springer Spektrum (2000)
[Uni-Bibliothek]
-
Lehman, Leighton, Meyer: Mathematics for Computer Science, Samurai Media Limited (2017)
[Download]