851-0144-22L  Developments in Logic after Gödel: Applications to Theoretical Computer Science

SemesterHerbstsemester 2016
DozierendeG. Sommaruga, J. Copeland
Periodizitäteinmalige Veranstaltung
LehrspracheEnglisch
KommentarParticularly suitable for students of D-INFK


Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte3 KP
PrüfendeG. Sommaruga, J. Copeland
Formbenotete Semesterleistung
PrüfungsspracheEnglisch
RepetitionRepetition ohne erneute Belegung der Lerneinheit möglich.