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]

 

Further information: