703317 VU Weiterführende Themen in Logik und Lernen: Computability Theory
Wintersemester 2023/2024 | Stand: 18.12.2023 | LV auf Merkliste setzenVertieftes Verständnis in ausgewählten weiterführenden Vertiefungsgebieten aus Logik und Lernen; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden. Absolventinnen und Absolventen dieses Kurses haben ein tiefgreifendes Verständnis über die Berechenbarkeitstheorie. Sie sind darauf vorbereitet, die Turing-Vollständigkeit von Berechnungsmodellen zu beweisen.
Verschiedene Berechnungsmodelle werden eingeführt und miteinander in Beziehung gebracht:
- Rekursive Funktionen
- Kombinatorische Logik
- LOOP/WHILE-Programme
- Lambda-Kalkül
Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.
Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.
Keine.
Der Kurs wird auf Englisch abgehalten.
- Fakultät für Mathematik, Informatik und Physik
- Fakultät für LehrerInnenbildung
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 02.10.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 09.10.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 16.10.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 23.10.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 30.10.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 06.11.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 13.11.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 20.11.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 27.11.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 04.12.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 11.12.2023
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 08.01.2024
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 15.01.2024
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 22.01.2024
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |
|
Mo 29.01.2024
|
15.15 - 17.45 | HS 10 HS 10 | Barrierefrei | |