Logik für Informatiker (German Edition) - Couverture souple

Dassow, J\xfcrgen

 
9783519005186: Logik für Informatiker (German Edition)

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.