Logik Für Informatiker [German]

by Jürgen Dassow and J\xfcrgen Dassow

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...

• Format: Paperback
• Language: German
• ISBN: 3519005182
• ISBN13: 9783519005186
• Release Date: April 2005
• Publisher: Vieweg+teubner Verlag
• Length: 177 Pages
• Weight: 0.67 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"