登入選單

返回Google圖書搜尋

Logik für Informatiker

Jürgen Dassow

出版	Vieweg+Teubner Verlag, 2005-04-29
主題	Mathematics / LogicComputers / Computer ScienceMathematics / AppliedMathematics / Discrete MathematicsComputers / Information Technology
ISBN	35190051829783519005186
URL	http://books.google.com.hk/books?id=5k69wAEACAAJ&hl=&source=gbs_api

註釋

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.