851-0144-22L
Developments in Logic after Gödel: Applications to Theoretical Computer Science
Semester | Herbstsemester 2016 |
Dozierende | G. Sommaruga,
J. Copeland |
Periodizität | einmalige Veranstaltung |
Lehrsprache | Englisch |
Kommentar | Particularly suitable for students of D-INFK |
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) |
Leistungskontrolle als Semesterkurs |
ECTS Kreditpunkte | 3 KP |
Prüfende | G. Sommaruga,
J. Copeland |
Form | benotete Semesterleistung |
Prüfungssprache | Englisch |
Repetition | Repetition ohne erneute Belegung der Lerneinheit möglich. |