Mathematisch-strukturelle Grundlagen der I...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

39,99 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik. Sie sind für das Verständnis des formalisierten Problemlösens entscheidend und damit für den Informatiker unerläßlich. Eine Einführung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden algebraische Strukturen in der Informatik behandelt. Außerdem stellt das Buch Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie für Informatiker führt schließlich in die Welt der Abstraktion ein.

Zusammenfassung

Inhaltsverzeichnis

1. Mengen.- 2. Relationen.- 3. Abbildungen.- 4. Ordnungen.- 5. Äquivalenzrelationen.- 6. Datenstrukturen.- 7. Signaturen und Algebren.- 8. Homomorphismen.- 9. Terme und strukturelle Induktion.- 10. Termalgebren.- 11. Algebraische Spezifikationen.- 12. Von der Modellalgebra tiber die Spezifikation zur Implementierung.- 13. Aussagenlogische Formeln und Gültigkeit.- 14. Folgerung.- 15. Logische Äquivalenz.- 16. Aussagenlogische Hilbert-Kalküle.- 17. Aussagenlogische Sequenzenkalktile.- 18. Das Resolutionsverfahren.- 19. Prädikatenlogische Formeln und Gültigkeit.- 20. Folgerung und logische Äquivalenz.- 21. Substitution und Umbenennung.- 22. Prädikatenlogische Hilbert-Kalküle.- 23. Ausblick.- 24. Kategorien in Mathematik und Informatik.- 25. Isomorphie, Mono- und Epimorphismen.- 26. Funktoren und natiirliche Transformationen.- 27. Produkte und Coprodukte.- 28. Universelle Konstruktionen.- 29. Adjunktionen.- 30. Anwendungen auf Algebra und Logik.- Literatur.

Details

Erscheinungsjahr:	2001
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Springer-Lehrbuch
Inhalt:	xxii 622 S.
ISBN-13:	9783540419235
ISBN-10:	3540419233
Sprache:	Deutsch
Herstellernummer:	10835172
Einband:	Kartoniert / Broschiert
Autor:	Ehrig, Hartmut Mahr, Bernd Cornelius, F. Große-Rhode, Martin Zeitz, P.
Auflage:	2. Auflage 2001
Hersteller:	Springer Springer Spektrum Springer-Verlag GmbH Springer-Lehrbuch
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 35 mm
Von/Mit:	Hartmut Ehrig (u. a.)
Erscheinungsdatum:	12.04.2001
Gewicht:	0,961 kg