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.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 10.07
From Germany to U.S.A.
Shipping:
FREE
Within U.S.A.
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: NEW. This item is printed on demand. Seller Inventory # 9783540419235
Quantity: 10 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: NEW. Seller Inventory # ABLIING23Mar3113020166831
Quantity: Over 20 available
Seller: medimops, Berlin, Germany
Condition: USED_FAIR. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn. Seller Inventory # M03540419233-B
Quantity: 1 available
Seller: medimops, Berlin, Germany
Condition: USED_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. Seller Inventory # M03540419233-G
Quantity: 2 available
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Condition: USED_VERYGOOD. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 2.07. Seller Inventory # 3540419233-2-3
Quantity: 1 available
Seller: Books Unplugged, Amherst, NY, U.S.A.
Condition: USED_GOOD. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 2.07. Seller Inventory # bk3540419233xvz189zvxgdd
Quantity: 1 available
Seller: Book Deals, Tucson, AZ, U.S.A.
Condition: USED_FINE. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 2.07. Seller Inventory # 353-3540419233-lkn
Quantity: 1 available
Seller: Book Deals, Tucson, AZ, U.S.A.
Condition: USED_VERYGOOD. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 2.07. Seller Inventory # 353-3540419233-vrg
Quantity: 1 available
Seller: avelibro OHG, Dinkelscherben, Germany
235 x 155 mm. Condition: USED_VERYGOOD. 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. Seller Inventory # 57854
Quantity: 1 available
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Condition: NEW. Book is in NEW condition. 2.07. Seller Inventory # 3540419233-2-1
Quantity: 1 available