Items related to Logik für Informatiker
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
Quantity: 2 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 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 (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
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
Quantity: 2 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
Seller Image
Logik für Informatiker
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783519005186
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: 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