Items related to Logik für Informatiker (German Edition)
Synopsis
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz.
Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik.
"synopsis" may belong to another edition of this title.
About the Author
Prof. Dr. Jürgen Dassow, Universität Magdeburg
From the Back Cover
Das Buch behandelt die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.
"About this title" may belong to another edition of this title.
Search results for Logik für Informatiker (German Edition)
Stock Image
Logik für Informatiker (German Edition) Dassow, J\xfcrgen and StaiÃ, Frithjof
Published by
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
New
Paperback Apr 29, 2005
Seller: myVend, Altötting, Germany
Seller rating 5 out of 5 stars
Paperback Apr 29, 2005. Condition: New. inkl. Rechnung nach §19. Seller Inventory # SI-9HFL-I3GE
Buy New
US$ 38.08
US$ 11.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Logik f? r Informatiker
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-133410
Stock Image
Logik für Informatiker
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: 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 # M03519005182-G
Buy Used
US$ 32.48
US$ 23.12 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Logik f?r Informatiker
Published by
Walter de Gruyter, Incorporated, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 177. Seller Inventory # 2654504499
Stock Image
Logik f?r Informatiker
Published by
Walter de Gruyter, Incorporated, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 177. Seller Inventory # 55055340
Buy New
US$ 57.96
US$ 8.77 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Logik für Informatiker
Published by
Vieweg+Teubner, Vieweg+Teubner Verlag Apr 2005, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch behandelt die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert. 176 pp. Deutsch. Seller Inventory # 9783519005186
Buy New
US$ 41.66
US$ 26.59 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Logik f?r Informatiker
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2005. Paperback. . . . . . Seller Inventory # V9783519005186
Buy New
US$ 58.42
US$ 10.98 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 15 available
Stock Image
Logik f?r Informatiker
Published by
Walter de Gruyter, Incorporated, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 177. Seller Inventory # 1854504505
Buy New
US$ 63.21
US$ 11.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Logik Für Informatiker
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2005 edition. 177 pages. German language. 9.45x6.54x0.39 inches. In Stock. Seller Inventory # x-3519005182
Buy New
US$ 63.38
US$ 13.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Logik f?r Informatiker
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 2005. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783519005186