65-429 Computability, Decidability, Incompleteness

Veranstaltungsdetails

Lehrende: Prof. Dr. Benedikt Löwe

Veranstaltungsart: Vorlesung

Anzeige im Stundenplan: M-VLM-V

Semesterwochenstunden: 2

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Modulkürzel:
Ma-M-VLM_n

Termine
Datum Von Bis Raum Lehrende
1 Di, 4. Apr. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
2 Di, 11. Apr. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
3 Di, 18. Apr. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
4 Di, 25. Apr. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
5 Di, 2. Mai 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
6 Di, 9. Mai 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
7 Di, 23. Mai 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
8 Di, 30. Mai 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
9 Di, 6. Jun. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
10 Di, 13. Jun. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
11 Di, 20. Jun. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
12 Di, 27. Jun. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
13 Di, 4. Jul. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
14 Di, 11. Jul. 2023 12:15 13:45 Geom H3 Prof. Dr. Benedikt Löwe
Prüfungen im Rahmen von Modulen
Modul (Startsemester)/ Kurs Leistungs­kombination Prüfung Datum Lehrende Bestehens­pflicht
Ma-M-VLM_1 Vertiefung Logik und Mengenlehre 1 (SoSe 23) / M-VLM-V  Computability, Decidability, Incompleteness Prüfung 1  Mündliche Prüfung k.Terminbuchung Prof. Dr. Benedikt Löwe Ja
Ma-M-VLM_2 Vertiefung Logik und Mengenlehre 2 (SoSe 23) / M-VLM-V  Computability, Decidability, Incompleteness Prüfung 1  Mündliche Prüfung k.Terminbuchung Prof. Dr. Benedikt Löwe Ja
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  •  
Lehrende
Prof. Dr. Benedikt Löwe