• Medientyp: E-Book
  • Titel: Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung
  • Beteiligte: Meinel, Christoph [VerfasserIn]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]
  • Erschienen: Wiesbaden: Vieweg+Teubner, 2009
  • Erschienen in: SpringerLink ; Bücher
    XLeitfäden der Informatik
  • Ausgabe: 4., überarbeitete Auflage
  • Umfang: Online-Ressource (335S. 28 Abb, online resource)
  • Sprache: Deutsch
  • DOI: 10.1007/978-3-8348-9310-9
  • ISBN: 9783834893109
  • Identifikator:
  • RVK-Notation: ST 120 : Grundlagen der Informatik
    SK 130 : Logik und Grundlagen, Metamathematik,
    SK 399 : Einführung in die höhere Mathematik
  • Schlagwörter: Mathematische Logik
    Beweis
    Mengenlehre
    Boolesche Algebra
    Graphentheorie
  • Entstehung:
  • Anmerkungen:
  • Beschreibung: Grundlagen -- Aussagen -- Mengen und Mengenoperationen -- Mathematisches Beweisen -- Relationen -- Abbildungen und Funktionen -- Techniken -- Grundlegende Beweisstrategien -- Vollständige Induktion -- Zählen -- Diskrete Stochastik -- Strukturen -- Boole’sche Algebra -- Graphen und Bäume -- Aussagenlogik -- Modulare Arithmetik.

    Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor. Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Umgang mit exakten mathematischen Beschreibungen und Argumentationen in der Informatik.