Mathematisch-strukturelle Grundlagen der Informatik
Produktnummer:
18506ced6c5cba40d09512a2f44fc44917
| Autor: | Cornelius, F. Ehrig, Hartmut Große-Rhode, Martin Mahr, Bernd Zeitz, P. |
|---|---|
| Themengebiete: | Algebraische Strukturen und Spezifikation Datenstruktur Datenstrukturen Datentyp Grundlagen der Informatik Implementierung Informatik Kategorientheorie Logik Logische Kalküle |
| Veröffentlichungsdatum: | 12.04.2001 |
| EAN: | 9783540419235 |
| Auflage: | 2 |
| Sprache: | Deutsch |
| Seitenzahl: | 622 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
Produktinformationen "Mathematisch-strukturelle Grundlagen der Informatik"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen