Module Handbook

Lin, Anthony, Prof. Dr. (PROF | DEPT: INF)

AG Automatic Reasoning

Responsible for Modules

INF-02-05-M-2
Logic and Semantics of Programming Languages
[INF-PFL] Mandatory Modules
INF-50-45-M-4
Algorithms and Deduction (Project)
[INF-ALG] Algorithmics and Deduction
INF-56-11-M-4
Logic and Verification (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-72-M-7
Logic and Verification (Seminar)
[INF-ALG] Algorithmics and Deduction
INF-59-51-M-6
Automated Reasoning
[INF-ALG] Algorithmics and Deduction

Lecturer for Modules

INF-02-05-M-2
Logic and Semantics of Programming Languages
[INF-PFL] Mandatory Modules
INF-50-45-M-4
Algorithms and Deduction (Project)
[INF-ALG] Algorithmics and Deduction
INF-54-11-M-4
Algorithmics (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-11-M-4
Logic and Verification (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-72-M-7
Logic and Verification (Seminar)
[INF-ALG] Algorithmics and Deduction
INF-59-51-M-6
Automated Reasoning
[INF-ALG] Algorithmics and Deduction
INF-82-51-M-2
Formal Foundations of Computer Science
[INF-LA] Teacher Education

Lecturer for Courses

INF-02-05-K-2
Logic and Semantics of Programming Languages
3V+2U [INF-PFL] Mandatory Modules
INF-50-45-K-4
Algorithms and Deduction (Project)
4L [INF-ALG] Algorithmics and Deduction
INF-54-11-K-4
Algorithmics (Ba-Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-56-11-K-4
Logic and Verification (Ba-Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-56-72-K-7
Logic and Verification (Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-59-51-K-6
Automated Reasoning
4V+2U [INF-ALG] Algorithmics and Deduction