Skip to content

Releases: knowsys/TheoLog

Sommersemester 2021

07 Apr 06:19
@mkroetzsch mkroetzsch
sose2021
c523e94
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Sommersemester 2021 Latest
Latest

Diese Version der Folien wurde im Sommer 2021 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/TheoLog2021 zu finden. In diesem Jahr wurden außerdem Videos zur Vorlesung erstellt.

Assets 2
Loading

Sommersemester 2017

06 Oct 12:57
@mkroetzsch mkroetzsch
sose2017
524030d
Compare
Choose a tag to compare
Sommersemester 2017

Diese Version der Folien wurde im Sommer 2017 präsentiert. Die zugehörige Vorlesungswebseite ist unter https://iccl.inf.tu-dresden.de/web/TheoLog2017 zu finden.

Assets 2
Loading