Logik und Berechenbarkeit
Modulnummer:
1100580
Leistungspunkte:
6 ECTS
Lehrveranstaltungen:
- Vorlesung Logik und Berechenbarkeit (3 SWS)
- Übung Logik und Berechenbarkeit (2 SWS)
Prüfung:
Klausur (120 min) oder mündliche Prüfung (20 min)
Prüfungsvorleistungen:
Lösen von Übungsaufgaben
Inhalt:

Wir vollziehen Entwicklungen nach, die in der ersten Hälfte des 20. Jahrhunderts in die Erfindung funktionstüchtiger Computer mündeten. Im Teil Logik studieren wir die Prinzipien präzisen Denkens. Es geht darum, Ihren Verstand "scharfzustellen" und Ihnen dadurch den gesamten weiteren Studienverlauf zu erleichtern. Im Teil Berechenbarkeit begeben wir uns auf eine Reise zu den Grenzen der Informatik, lernen Mögliches von Unmöglichem zu unterscheiden. Die Maschine im Bild kann im Chat nicht von einem 13-jährigen Jungen unterschieden werden.