Logik für Informatiker. (Taschenbuch)
von Jürgen Dassow


 
Umschlagtext:
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.

Rezensionen ansehen...
 
Angebote zu  Logik  Informatiker  Taschenbuch  ab 1 Euro!

Siehe auch folgende Artikel:
Algorithmen und Datenstrukturen. Eine Einführung mit Java von Gunter Saake
Mathematik für Informatiker von Gerald Teschl
Mathematik für Informatiker 2. Analysis und Statistik: Teil 2 - Analysis Und Statistik: 2 von Gerald Teschl
Sonstige Artikel:
Management (Gebundene Ausgabe) von Horst Steinmann, Georg Schreyögg
Mehr zu  Programmierung,  Informatik,  Logik,  Logik,  Logik,  Computer & Internet
Home ...,    Angebote ansehen ...,    Begleitseite ...
Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de

Copyright © DomainLoc.com GmbH (Impressum)