Logik in der Informatik - Detailseite

Logik spielt eine grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken und der theoretischen Informatik. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Jahrhunderts herausgebildet hat. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt. Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik.
Darüber hinaus wird die logikbasierte Programmiersprache Prolog eingeführt.