Beherrschung von Techniken des Lambda-Kalkuels und der Komputationalen Beweistheorie
Typisierter Lambda-Kalkuel. Die Systeme T und F, intuitionistische Logik, Curry-Howard Isomorphismus, Peano Arithmetik und Heyting Arithmetik, Konsistenz der Peano Arithmetik und der Heyting Arithmetik
Beginn am 10. Oktober 2017, 15:00 im Seminarraum Goedel, Favoritenstrasse 9, Erdgeschoss.
Um ein Zeugnis zu erwerben sind zwei Seminarvortraege notwendig.
Nicht erforderlich
Gute Kenntnisse aus Logik, Grundkenntnisse des Lambda-Kalkuels