Verwandte Artikel zu Mathematisch-strukturelle Grundlagen der Informatik...
Inhaltsangabe
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. 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. Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.
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.
Die Neuauflage enthält neue Kapitel Über Modellalgebra und Implementierung, über relevante Arten der Logik, sowie erweiterte Übungsaufgaben.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 39,99
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Mathematisch-strukturelle Grundlagen der Informatik...
Beispielbild für diese ISBN
Mathematisch-strukturelle Grundlagen der Informatik
Verlag:
Springer Berlin Heidelberg, 2001
ISBN 10: 3540419233
ISBN 13: 9783540419235
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 575801/3
Anzahl: 3 verfügbar
Foto des Verkäufers
Mathematisch-strukturelle Grundlagen der Informatik
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
235 x 155 mm. Zustand: Gut. 2. Aufl. 2001. 622 Seiten Innen sauberer, guter Zustand. Bibliotheksexemplar. Softcover, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). B10-03-05A|M29 Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch Gewicht in Gramm: 948. Artikel-Nr. 57854
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematisch-strukturelle Grundlagen der Informatik
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
235 x 155 mm. Zustand: Gut. 2. Aufl. 2001. 622 Seiten B10-03-05A|M29 Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch. Artikel-Nr. 57853
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematisch-strukturelle Grundlagen der Informatik
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. 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.Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt. Artikel-Nr. 9783540419235
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematisch-strukturelle Grundlagen der Informatik
ISBN 10: 3540419233
ISBN 13: 9783540419235
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. 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.Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 644 pp. Deutsch. Artikel-Nr. 9783540419235
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540419235_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematisch-Strukturelle Grundlagen Der Informatik
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 642 pages. German language. 9.21x6.06x1.46 inches. In Stock. Artikel-Nr. x-3540419233
Anzahl: 2 verfügbar