Logik Für Informatiker 2005 Edition Contributor(s): Dassow, Jürgen (Author) |
|||
ISBN: 3519005182 ISBN-13: 9783519005186 Publisher: Vieweg+teubner Verlag
Binding Type: Paperback Language: German Published: April 2005 |
Additional Information |
BISAC Categories: - Mathematics | Applied - Computers | Computer Science - Mathematics | Logic |
Dewey: 004 |
Physical Information: 0.39" H x 6.69" W x 9.61" L (0.67 lbs) 177 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |