04-10-0572-vu Selected Topics in Logics: Higher-order Computability

Veranstaltungsdetails

Lehrende: Dr.of Phil. Thomas Powell

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Sel Top Logic & Comp

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Ausgewählte vertiefende Themen zu grundlegenden Phänomenen der Entscheidbarkeit, Bererechenbarkeit und algorithmischen Komplexiät logischer Probleme bzw. zur logischen Analyse der Struktur und komplexitätstheoretischen Einordnung von Problemen aus einschlägigen anderen Bereichen der Mathematik oder auch der theoretischen Informatik

Literatur:
themenabhängig

Voraussetzungen:
empfohlen: themenabhängig

Online-Angebote:
moodle

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Higher-order Computability Übung

    Dr.of Phil. Thomas Powell

    Di, 16. Apr. 2019 [11:40]-Di, 16. Jul. 2019 [13:20]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mo, 15. Apr. 2019 09:50 11:30 S103/11 Dr.of Phil. Thomas Powell
2 Mo, 29. Apr. 2019 09:50 11:30 S103/11 Dr.of Phil. Thomas Powell
3 Mo, 6. Mai 2019 09:50 11:30 S103/11 Dr.of Phil. Thomas Powell
4 Mo, 13. Mai 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
5 Mo, 20. Mai 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
6 Mo, 27. Mai 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
7 Mo, 3. Jun. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
8 Mo, 17. Jun. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
9 Mo, 24. Jun. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
10 Mo, 1. Jul. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
11 Mo, 8. Jul. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
12 Mo, 15. Jul. 2019 09:50 11:30 S215/201 Dr.of Phil. Thomas Powell
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Lehrende
Dr.of Phil. Thomas Powell