703317 VU Advanced Topics in Logic and Learning: Computability Theory
winter semester 2023/2024 | Last update: 18.12.2023 | Place course on memo list703317
VU Advanced Topics in Logic and Learning: Computability Theory
VU 3
5
weekly
annually
English
Advanced understanding of selected advanced areas of specialisation in logic and learning; acquisition of the ability to independently educate themselves in the field. Students who have completed this course will have a thorough understanding of computability theory. They are prepared to prove Turing-completeness of models of computation.
The course will introduce and relate different models of computation:
- recursive function theory
- combinatory logic
- LOOP/WHILE programs
- term rewrite systems
- lambda calculus
Continuous assessment based on regular written and oral contributions. An optional written test is offered at the end of the course.
Extensive slides. Accompanying literature will be linked from the course website.
None.
The course is taught in English.
see dates
- Faculty of Mathematics, Computer Science and Physics
- Master's Programme Computer Science according to the Curriculum 2021 (120 ECTS-Credits, 4 semesters)
- Faculty of Teacher Education
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2023-10-02
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-10-09
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-10-16
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-10-23
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-10-30
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-11-06
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-11-13
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-11-20
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-11-27
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-12-04
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2023-12-11
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2024-01-08
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2024-01-15
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2024-01-22
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |
|
Mon 2024-01-29
|
15.15 - 17.45 | HS 10 HS 10 | Barrier-free | |