Angebote zu "Dassow" (3 Treffer)

Logik für Informatiker - Jürgen Dassow
0,80 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 19.04.2019
Zum Angebot
Logik für Informatiker als Buch von Jürgen Dassow
34,99 € *
ggf. zzgl. Versand

Logik für Informatiker:Auflage 2005 Jürgen Dassow

Anbieter: Hugendubel.de
Stand: 02.04.2019
Zum Angebot
Logik für Informatiker
34,99 € *
ggf. zzgl. Versand

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen 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. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot

Ähnliche Suchbegriffe