Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Bildinformationen anzeigen

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

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]

 

Sie interessieren sich für:

Die Universität der Informationsgesellschaft