Both sides previous revisionPrevious revisionNext revision | Previous revision |
lectures [2018-07-09] – Martin Ziegler | lectures [2023-07-28] (current) – Martin Ziegler |
---|
| ====== List of Recent Lectures ====== |
| |
| * Fall 2023: [[https://kaist.theoryofcomputation.asia/23cs422|Theory of Computing]], |
| * Fall 2023: [[https://theoryofcomputation.asia/23cs492|세상의 미래]] |
| * Spring 2023: [[https://kaist.theoryofcomputation.asia/23cs500|Design and Analysis of Algorithms]] |
| * Fall 2022: [[https://kaist.theoryofcomputation.asia/22cs300|Introduction to Algorithms]] |
| * Fall 2022: [[https://kaist.theoryofcomputation.asia/22cs492|Foundations of VR/AI/MMORPGs]] |
| * Fall 2021: [[https://kaist.theoryofcomputation.asia/21cs300|Introduction to Algorithms]] (online lecture) |
| * Fall 2021: [[https://kaist.theoryofcomputation.asia/21cs422|Theory of Computing]] (online lecture) |
| * Spring 2021: [[https://kaist.theoryofcomputation.asia/21cs300a|Introduction to Algorithms]] (online lecture) |
| * Fall 2020: [[https://kaist.theoryofcomputation.asia/20cs700|Computer Science of Continuous Data:Algorithmic Foundation of Numerics]] (online lecture) |
| * Spring 2020: [[https://kaist.theoryofcomputation.asia/20cs500|Design and Analysis of Algorithms]] (online lecture) |
| * Spring 2019: [[https://kaist.theoryofcomputation.asia/19cs422|Theory of Computation]] (lecture) |
| * Fall 2018: [[https://kaist.theoryofcomputation.asia/18CS204b|Discrete Mathematics for Computer Science]] (lecture) |
| * Fall 2018: [[https://kaist.theoryofcomputation.asia/18CS300|Introduction to Algorithms]] (lecture) |
| * Summer 2018: [[https://kaist.theoryofcomputation.asia/18CS493|Algorithmic Foundations of Numerics]] (summer school) |
| * Spring 2018: [[https://kaist.theoryofcomputation.asia/18CS500|Design and Analysis of Algorithms]] (lecture) |
| * Spring 2018: [[https://kaist.theoryofcomputation.asia/18CS204c|Discrete Mathematics for Computer Science]] (lecture) |
| * Spring 2018: [[http://realcomplexity.de/18CS408/|Tensor Calculus in Exact Real Computation]] (capstone programming) |
| * Fall 2017: [[lectures:2017:CS204|Discrete Mathematics]] (lecture) |
| * Fall 2017: [[https://theoryofcomputation.asia/17CS422|Theory of Computation]] (lecture) |
| * Spring 2017: [[https://kaist.theoryofcomputation.asia/17CS500|Design and Analysis of Algorithms]] (lecture) |
| * Fall 2016: [[https://theoryofcomputation.asia/16CS700|Algorithmic Foundations of Numerics]] (lecture) |
| * Spring 2016: [[https://kaist.theoryofcomputation.asia/16CS500|Design and Analysis of Algorithms]] (lecture) |
| * Fall 2015: [[https://theoryofcomputation.asia/15CS422/|Theory of Computation]] (lecture) |
| * Spring 2015: [[https://www.tucan.tu-darmstadt.de/scripts/mgrqcgi?APPNAME=CampusNet&PRGNAME=COURSEDETAILS&ARGUMENTS=-N000000000000001,-N000334,-N0,-N356546217153706,-N356546217143707,-N0,-N0,-N0|Computability in Analysis]] (lecture+tutorial, 2+1h/week, held by [[http://www.mathematik.tu-darmstadt.de/~mschroeder|Dr. Matthias Schröder]]) |
| * Spring 2015: [[https://kaist.theoryofcomputation.asia/15a_ComplexityInAnalysis|Computational Complexity in Analysis]] (lecture+tutorial, 2+1h/week) |
| * Fall 2014: [[http://www3.mathematik.tu-darmstadt.de/evs/1037|Nonuniform Complexity Theory]] (seminar, 2h/week) |
| * Spring 2014: [[http://www3.mathematik.tu-darmstadt.de/evs/1033|Algebraic Complexity Theory]] (lecture+tutorial, 2+1h/week) |
| * Spring 2013: [[http://www3.mathematik.tu-darmstadt.de/evs/1012|Computability in Analysis]] (lecture+tutorial, 2+1h/week) |
| * Spring 2013: [[http://www.tucan.tu-darmstadt.de/scripts/mgrqcgi?APPNAME=CampusNet&PRGNAME=COURSEDETAILS&ARGUMENTS=-N000000000000001,-N000334,-N0,-N347773685540100,-N347773685521101|Logical Foundations of Computer Science I]] (lecture+tutorial, 2+1h/week) |
| * Spring 2013: [[http://www.tucan.tu-darmstadt.de/scripts/mgrqcgi?APPNAME=CampusNet&PRGNAME=COURSEDETAILS&ARGUMENTS=-N000000000000001,-N000334,-N0,-N347773685038096,-N347773685068097|Logical Foundations of Computer Science II]] (lecture+tutorial, 2+1h/week) |
| * Fall 2012: [[http://www3.mathematik.tu-darmstadt.de/evs/1000|Structural Complexity Theory]] (seminar, 2h/week, held jointly with [[https://www.informatik.tu-darmstadt.de/en/department/lehrbeauftragte-und-gastdozenten/ulrike-brandt/|PD Dr. Ulrike Brandt]] |
| * Spring 2012: [[http://www3.mathematik.tu-darmstadt.de/evs/989|Algebraic, Topological, and Physical Aspects of Computing]] (lecture+tutorial, 2+1h/week) |
| * Fall 2011: [[http://www3.mathematik.tu-darmstadt.de/evs/962|Complexity Theory]] (lecture+tutorial, 2+2h/week) |
| * Spring 2011: [[http://www3.mathematik.tu-darmstadt.de/evs/948|Real Complexity]] (seminar, 2h/week, held jointly with [[https://www.informatik.tu-darmstadt.de/en/department/lehrbeauftragte-und-gastdozenten/ulrike-brandt/|PD Dr. Ulrike Brandt]] |
| * Spring 2011: [[http://www3.mathematik.tu-darmstadt.de/evs/946|Advanced Complexity Theory]] (lecture+tutorial, 2+1h/week) |
| * Spring 2011: [[http://www3.mathematik.tu-darmstadt.de/?id=84&evsid=23&evsver=947|Logical Foundations of Computer Science I+II]] (lecture+tutorial, 4+2h/week) |
| * Fall 2010: [[http://www3.mathematik.tu-darmstadt.de/evs/916|Complexity Theory]] (lecture+tutorial, 2+2h/week) |
| * Spring 2010: [[https://www3.mathematik.tu-darmstadt.de/evs/839|Introduction to Mathematical Logic]] (lecture+tutorial, 4+2h/week) |
| * Fall 2009: [[http://www.mathematik.tu-darmstadt.de/~ziegler/PROSEM09/|Computable Analysis]] (seminar, 2h/week) |
| * Fall 2008: [[http://www2.cs.upb.de/cs/ag-madh/WWW/Teaching/2008WS/EinfKomplex|Introduction to Computability, Complexity, and Formal Languages]] (lecture+tutorial, 4+2h/week) |
| * Fall 2008: [[http://tclab.kaist.ac.kr/~ziegler/|Special Topics in Computer Science]] (lecture, 1CP) |
| * Spring 2008: [[http://www2.cs.upb.de/cs/ag-madh/WWW/Teaching/2008SS/Komplex/|Complexity Theory]] (lecture+tutorial, 2+1h/week) |
| |
| See also our [[https://www.youtube.com/channel/UCSehZy20EPRqgV0uiTzJkEA|YouTube-Channel]]... |