Logik Fur Informatiker By Uwe Schoning


Logik Fur Informatiker By Uwe Schoning
Download

Dieses gut im Markt eingefuhrte Standardwerk konzentriert sich auf die fur Informatiker wesentlichen Teile der Logik. Es steht auf der Empfehlungsliste vieler Hochschuldozenten und wird teilweise als Skript zur Vorlesung verwendet. Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedurfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. So gelingt dem Autor eine kompakte und verstandliche Darstellung der Aussagen- und Pradikatenlogik.

Leave a Reply