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. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.
"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
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
Quantity: 2 available
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
Quantity: Over 20 available
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
Quantity: Over 20 available
Stock Image
Logik für Informatiker (German Edition) Dassow, J\xfcrgen and StaiÃ, Frithjof
Seller: myVend, Altötting, Germany
Seller rating 2 out of 5 stars
Paperback. Condition: New. inkl. Rechnung nach §19. Seller Inventory # SI-9HFL-I3GE
Quantity: 1 available
Stock Image
Logik für Informatiker
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Seller Inventory # 1701214/202
Quantity: 4 available
Stock Image
Logik für Informatiker
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Seller Inventory # 1701214/203
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
Quantity: 4 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
Quantity: 10 available
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
Quantity: Over 20 available
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 5 out of 5 stars
Condition: New. Print on Demand pp. 177. Seller Inventory # 55055340
Quantity: 4 available