| Lerninhalte |
Die Studierenden
- erwerben vertiefte Kenntnisse auf dem Gebiet der Logik (griech.: Lehre vom Denken), die sie zum Verständnis logischer Schaltungen, logischer Programmierungen, automatischer Beweisverfahren und anderer Aspekte der Künstlichen Intelligenz benötigen,
- lernen den sicheren und richtigen Gebrauch von Symbolen aus der Mathematischen Logik, wobei sie auch in der Lage sind, bestimmte Regeln für den Umgang mit solchen Symbolen zu beweisen,
- verstehen, was z.B. eine Folgerung aus einer Formel (Theorem) oder was ein Beweis für eine Formel (Theorem) ist, und sie lernen automatische Beweisverfahren kennen, wobei sie auch die prinzipiellen Grenzen dieser Verfahren verstehen lernen. |
