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
Stock Image
Logik für Informatiker
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M03519005182-V
Stock Image
Logik für Informatiker (German Edition)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020146719
Stock Image
Logik für Informatiker (German Edition)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783519005186
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
Stock Image
Logik für Informatiker (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783519005186_new
Buy New
£ 32.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logik fur Informatiker
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783519005186
Buy New
£ 29.95
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 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
£ 42.08
£ 6.50 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
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