Informatik und Logik

Die Vorlesung führt in die Informatik und ihre Teilgebiete ein. Ein besonderer Schwerpunkt ist dabei die angewandte Logik.