Logik in der Informatik Prof. Dr. Nicole Schweikardt

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, dem 15.10.24, findet die Eröffnungsvorlesung statt.