Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

Logbuch zur Vorlesung Logik in der Informatik

Wintersemester 2022/23

In diesem Logbuch finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungsstunden, die entsprechenden Teile des Skripts und gelegentlich auch Korrekturen und sonstige ergänzende Bemerkungen.

Am Dienstag, den 18.10.22, findet die Eröffnungsvorlesung statt, in der Organisatorisches geklärt wird.



Last modified: 21.09.22
Nicole Schweikardt