Angebote zu "Dassow" (3 Treffer)

Logik für Informatiker - Jürgen Dassow
€ 0.73 *
zzgl. € 3.99 Versand
Anbieter: trade-a-game
Stand: Feb 16, 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: Dec 19, 2018
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: Feb 14, 2019
Zum Angebot

Ähnliche Suchbegriffe