theoretical informatics course webpageTheoretische Informatik - HS 2022 (ethz.ch) overview most important definitions and theorems of this course Überblick_TI_Endterms.pdf 1 MB download-circle