Merkzettel Warenkorb
  • Produktbild: Mathematisch-strukturelle Grundlagen der Informatik
  • Produktbild: Mathematisch-strukturelle Grundlagen der Informatik
Gebraucht - 61%

Mathematisch-strukturelle Grundlagen der Informatik

Aus der Reihe Springer-Lehrbuch
61% sparen

14,72 € 37,99 € *

inkl. gesetzl. MwSt., Versandkostenfrei

*ggü. gebundenem Ladenpreis bzw. UVP für Neuware.

Lieferung nach Hause

Beschreibung

Produktdetails

Zustand

Akzeptabel

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

EAN

2710004715517

Beschreibung

Produktdetails

Zustand

Akzeptabel

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

EAN

2710004715517

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

Weitere Artikel findest du 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.