Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Mathematisch-strukturelle Grundlagen der Informatik
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
Edité par
Springer Berlin, Berlin, 2001
ISBN 10 : 3540419233
ISBN 13 : 9783540419235
Ancien ou d'occasion
Softcover
Vendeur : Versandantiquariat Jena, Jena, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : deutliche Gebrauchsspuren. mak. Bibl. TitelMathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen / H. Ehrig . Person(en)Ehrig, Hartmut (Mitwirkender) Ausgabe2. Aufl. VerlagBerlin ; Heidelberg ; New York ; Barcelona ; Hongkong ; London ; Mailand ; Paris ; Singapur ; Tokio : Springer Zeitliche EinordnungErscheinungsdatum: 2001 Umfang/FormatXXI, 621 S. : graph. Darst. ; 24 cm ISBN/Einband/Preis978-3-540-41923-5 kart. : DM 65.90 3-540-41923-3 kart. : DM 65.90 BeziehungenSpringer-Lehrbuch SchlagwörterMengenlehre Algebraische Spezifikation Aussagenlogik Prädikatenlogik Kategorientheorie Sachgruppe(n)28 Informatik, Datenverarbeitung ; 27 Mathematik In deutscher Sprache. 622 Seiten Hauptinhalt, 22 Seiten vor dem Hauptinhalt pages. 235 mm × 155 mm. N° de réf. du vendeur 261618
Acheter D'occasion
EUR 10
Expédition à EUR 8
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)
Edité par
Springer, 2001
ISBN 10 : 3540419233
ISBN 13 : 9783540419235
Ancien ou d'occasion
Couverture souple
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M03540419233-G
Acheter D'occasion
EUR 19,60
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematisch-strukturelle Grundlagen der Informatik
Edité par
Springer Berlin, 2001
ISBN 10 : 3540419233
ISBN 13 : 9783540419235
Ancien ou d'occasion
235 x 155 mm
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
235 x 155 mm. Etat : 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. N° de réf. du vendeur 57854
Acheter D'occasion
EUR 20
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
Edité par
Springer Berlin, 2001
ISBN 10 : 3540419233
ISBN 13 : 9783540419235
Ancien ou d'occasion
235 x 155 mm
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
235 x 155 mm. Etat : Gut. 2. Aufl. 2001. 622 Seiten B10-03-05A|M29 Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch. N° de réf. du vendeur 57853
Acheter D'occasion
EUR 37,99
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540419235_new
Acheter neuf
EUR 42,28
Expédition à EUR 13,88
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540419235
Acheter neuf
EUR 38,70
Expédition à EUR 17,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Mathematisch-strukturelle Grundlagen der Informatik
Edité par
Springer Berlin Heidelberg Apr 2001, 2001
ISBN 10 : 3540419233
ISBN 13 : 9783540419235
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 644 pp. Deutsch. N° de réf. du vendeur 9783540419235
Acheter neuf
EUR 39,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 644. N° de réf. du vendeur 262178207
Acheter neuf
EUR 65,21
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 644 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5669696
Acheter neuf
EUR 65,27
Expédition à EUR 7,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Mathematisch-strukturelle Grundlagen der Informatik
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 644. N° de réf. du vendeur 182178197
Acheter neuf
EUR 64,18
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)