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.