Produktinformation
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.Produktkennzeichnungen
ISBN-103519005182
ISBN-139783519005186
eBay Product ID (ePID)44096904
Produkt Hauptmerkmale
VerlagVieweg+Teubner Verlag, Vieweg & Teubner
Erscheinungsjahr2005
Anzahl der Seiten184 Seiten
PublikationsnameLogik für Informatiker
SpracheDeutsch
ProduktartLehrbuch
AutorJürgen Dassow
FormatTaschenbuch
Zusätzliche Produkteigenschaften
HörbuchNo
InhaltsbeschreibungPaperback
Item Height10mm
Item Length24cm
Item Weight323g
Item Width17cm