Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (31 chapters)
-
Front Matter
-
Einleitung
-
Mathematische Grundbegriffe
-
Front Matter
-
-
Aussagenlogik
-
Front Matter
-
About this book
Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.
Keywords
Authors and Affiliations
-
Fachbereich Informatik, Technische Universität Berlin, Berlin, Deutschland
Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode
-
Webman AG, Berlin, Deutschland
Felix Cornelius
-
Spreebogen Plaza, RightStep Informationssysteme, Berlin, Deutschland
Philip Zeitz
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