• Produktbild: Mathematisch-strukturelle Grundlagen der Informatik
  • Produktbild: Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik

Aus der Reihe Springer-Lehrbuch

37,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.04.2001

Abbildungen

XXI, mit 103 Abbildungen 23,5 cm

Verlag

Springer Berlin

Seitenzahl

622

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

961 g

Auflage

2. Auflage 2001

Sprache

Deutsch

ISBN

978-3-540-41923-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.04.2001

Abbildungen

XXI, mit 103 Abbildungen 23,5 cm

Verlag

Springer Berlin

Seitenzahl

622

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

961 g

Auflage

2. Auflage 2001

Sprache

Deutsch

ISBN

978-3-540-41923-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in

  • Produktbild: Mathematisch-strukturelle Grundlagen der Informatik
  • Produktbild: Mathematisch-strukturelle Grundlagen der Informatik
  • 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.