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.
Read More
Specifications
Book Details
Imprint
Vieweg+Teubner Verlag
Dimensions
Height
240 mm
Length
170 mm
Weight
319 gr
Be the first to ask about this product
Safe and Secure Payments.Easy returns.100% Authentic products.