The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.

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

SemesterAutumn Semester 2016
LecturersG. Sommaruga, J. Copeland
Periodicitynon-recurring course
Language of instructionEnglish
CommentParticularly suitable for students of D-INFK


Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits3 credits
ExaminersG. Sommaruga, J. Copeland
Typegraded semester performance
Language of examinationEnglish
RepetitionRepetition possible without re-enrolling for the course unit.