Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fur die logische Programmierung und die Kunstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fur Studierende der Informatik und informatiknaher Studiengange halt. Es gibt eine Einfuhrung in die Logik aus der Sicht der Informatik.
- ISBN10 3519005182
- ISBN13 9783519005186
- Publish Date 29 April 2005
- Publish Status Active
- Publish Country DE
- Publisher Springer Fachmedien Wiesbaden
- Imprint Vieweg+Teubner Verlag
- Edition 2005 ed.
- Format Paperback
- Pages 177
- Language German