Grundlagen der höheren Informatik: Induktives Vorgehen
Book information
Description
Die auf drei Bände angelegte Reihe mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik. Der vorliegende erste Band "Induktives Vorgehen" intoniert das durch das Zusammenspiel von Struktur, Invarianz und Abstraktion geprägte Leitthema der Trilogie zu den Grundlagen der Höheren Informatik. Die beide Folgebände "Algebraisches Denken" und " Perfektes Modellieren" greifen dieses Thema dann variierend und in immer komplexer werdenden Zusammenhängen vertiefend auf. Wie beim Boléro von Ravel, wo die gleiche Melodie von immer mehr Musikern mit immer mehr Instrumenten gespielt wird, soll dies dazu führen, dass der Leser das Leitthema derart verinnerlicht, dass er es selbst an ungewohnter Stelle wiedererkennen und eigenständig auf neue Szenarien übertragen kann. Damit hat er beste Voraussetzungen für das weitere Informatikstudium und eine erfolgreiche berufliche Zukunft, sei es in Wissenschaft, Management oder Industrie.
Similar books
The Future Use of Nordic Forests: A Global Perspective
2015 · PDF
Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
2018 · PDF
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V
2024 · PDF
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V
2024 · EPUB
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Proceedings, Part II
2024 · PDF
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Proceedings, Part II
2024 · EPUB
Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV
2024 · PDF
Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV
2024 · EPUB