Overview
- Konzeptuelle Einleitung und Zusammenfassung zu jedem Kapitel Sorgfältige didaktische Konzeption und verständliche, bildhafte Sprache
- Viele Diagramme, Tabellen, Abbildungen, Beispiele, Aufgaben
- Integrierte Darstellung mengentheoretischer, algebraischer und logischer Grundlagen
Part of the book series: Springer-Lehrbuch (SLB)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (29 chapters)
-
Einleitung
-
Mathematische Grundbegriffe
-
Algebraische Strukturen
-
Aussagenlogik
Keywords
About this book
Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Bibliographic Information
Book Title: Mathematisch-strukturelle Grundlagen der Informatik
Authors: H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz
Series Title: Springer-Lehrbuch
DOI: https://doi.org/10.1007/978-3-642-97986-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer 1999
eBook ISBN: 978-3-642-97986-6Published: 08 March 2013
Series ISSN: 0937-7433
Series E-ISSN: 2512-5214
Edition Number: 1
Number of Pages: XIX, 534
Topics: Programming Techniques, Math Applications in Computer Science, Symbolic and Algebraic Manipulation, Data Structures, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations