Overview
- Konzeptuelle Einleitung und Zusammenfassung zu jedem Kapitel Sorgfältige didaktische Konzeption
- Viele Diagramme, Tabellen, Abbildungen, Beispiele, Aufgaben
- Integrierte Darstellung mengentheoretischer, algebraischer und logischer Grundlagen
- Includes supplementary material: sn.pub/extras
Part of the book series: Springer-Lehrbuch (SLB)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.
Similar content being viewed by others
Keywords
Table of contents (31 chapters)
-
Einleitung
-
Mathematische Grundbegriffe
-
Algebraische Strukturen
-
Aussagenlogik
Authors and Affiliations
Bibliographic Information
Book Title: Mathematisch-strukturelle Grundlagen der Informatik
Authors: Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz
Series Title: Springer-Lehrbuch
DOI: https://doi.org/10.1007/978-3-642-56792-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-41923-5Published: 12 April 2001
eBook ISBN: 978-3-642-56792-6Published: 07 March 2013
Series ISSN: 0937-7433
Series E-ISSN: 2512-5214
Edition Number: 2
Number of Pages: XXII, 622
Topics: Theory of Computation, Mathematical Logic and Foundations, Math Applications in Computer Science, Symbolic and Algebraic Manipulation, Data Structures, Mathematical Logic and Formal Languages