| Online-Ressource |
Verfasst von: | Meinel, Christoph [VerfasserIn] |
| Mundhenk, Martin [VerfasserIn] |
Titel: | Mathematische Grundlagen der Informatik |
Titelzusatz: | mathematisches Denken und Beweisen - eine Einführung |
Verf.angabe: | Christoph Meinel, Martin Mundhenk |
Ausgabe: | 7. Auflage |
Verlagsort: | Wiesbaden |
Verlag: | Springer Vieweg |
E-Jahr: | 2024 |
Jahr: | [2024] |
Umfang: | 1 Online-Ressource (XXI, 317 Seiten, 97 Abb.) |
ISBN: | 978-3-658-43136-5 |
Abstract: | Aussagen -- Mengen und Mengenoperationen -- Mathematisches Beweisen -- Relationen -- Abbildungen und Funktionen -- Grundlegende Beweisstrategien -- Vollständige Induktion -- Zählen -- Diskrete Stochastik -- Boole'sche Algebra -- Graphen und Bäume -- Aussagenlogik -- Modulare Arithmetik. |
| Die mathematischen Grundlagen der Informatik werden anhand von Definitionen und Beispielen anschaulich eingeführt. Ziel des Buches, nun in einer korrigierten und aktualisierten Fassung, ist es, systematisch die für die Informatik typischen und grundlegenden mathematischen Denkweisen vorzustellen – ohne dabei auf besondere, die übliche Schulmathematik übersteigende Vorkenntnisse aufzubauen. Der Inhalt Aussagen Mengen und Mengenoperationen Mathematisches Beweisen Relationen Abbildungen und Funktionen Grundlegende Beweisstrategien Vollständige Induktion Zählen Diskrete Stochastik Boole'sche Algebra Graphen und Bäume Aussagenlogik Modulare Arithmetik Die Zielgruppen Studierende der Informatik in Haupt- und Nebenfach ab 1. Semester an Universitäten, Technischen Hochschulen und Fachhochschulen, sowie an der Informatik Interessierte aus anderen Fächern. Die Autoren Prof. Dr. Christoph Meinel war 2004-2023 Direktor des Hasso-Plattner-Instituts und Professor für Internet-Technologien und Systeme an der Universität Potsdam. Er ist Autor, Koautor und Herausgeber von zahlreichen Büchern, Tagungsbänden und Artikeln. Prof. Dr. Martin Mundhenk ist seit 2001 Professor für Informatik an der Friedrich-Schiller-Universität Jena. Er ist dort in Forschung und Lehre für Haupt- und Nebenfach Informatik tätig. |
DOI: | doi:10.1007/978-3-658-43136-5 |
URL: | Resolving-System: https://doi.org/10.1007/978-3-658-43136-5 |
| DOI: https://doi.org/10.1007/978-3-658-43136-5 |
Schlagwörter: | (s)Mathematische Logik |
| (s)Beweis |
| (s)Mengenlehre |
| (s)Boolesche Algebra |
| (s)Graphentheorie |
| (s)Mathematische Logik / (s)Beweis / (s)Mengenlehre / (s)Boolesche Algebra / (s)Graphentheorie |
Datenträger: | Online-Ressource |
Sprache: | ger |
Bibliogr. Hinweis: | Erscheint auch als : Druck-Ausgabe: Meinel, Christoph, 1954 - : Mathematische Grundlagen der Informatik. - 7. Auflage. - Wiesbaden : Springer Vieweg, 2024. - XXI, 317 Seiten |
RVK-Notation: | SK 130 |
| ST 120 |
K10plus-PPN: | 189105564X |
|
|
| |
Lokale URL UB: | Zum Volltext |
978-3-658-43136-5
Mathematische Grundlagen der Informatik / Meinel, Christoph [VerfasserIn]; [2024] (Online-Ressource)
69222455