Vieweg+teubner Verlag
Logik F?r Informatiker
Product Code:
9783519005186
ISBN13:
9783519005186
Condition:
New
$43.89
Logik F?r Informatiker
$43.89
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.
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.
| Author: J?rgen Dassow |
| Publisher: Vieweg+teubner Verlag |
| Publication Date: Apr 29, 2005 |
| Number of Pages: 177 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3519005182 |
| ISBN-13: 9783519005186 |
Related Products
