Logik für Informatiker (German Edition) - Softcover

Dassow, J\xfcrgen

 
9783519005186: Logik für Informatiker (German Edition)

Inhaltsangabe

Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Von der hinteren Coverseite

Das Buch behandelt 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 Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.