Home
Publications
Research
Tools
Courses
A. Platzer
KIT Course: Constructive Logic (So'24)
Home
>>
Courses
>>
ConstLog. So24
>>
Schedule
LFCPS Wi24
ConstLog. So24
Schedule
LFCPS Wi23
ConstLog. So23
LFCPS Wi22
DL Sp22
LFCPS Fa21
ConstLog. Sp21
LFCPS Fa20
ConstLog. Sp20
LFCPS Fa19
LFCPS Fa18
PLS Sp18
Bug Catch Fa17
FCPS Sp17
ConstLog. Fa16
FCPS Sp16
ConstLog. Fa15
PLS Sp15
FCPS Fa14
PIC Sp14
FCPS @MAP-i
FCPS @ENSL
FCPS Fa13
PIC Sp13
Compiler Fa12
PIC Sp12
Compiler Fa11
LAHS Sp11
Compiler Fa10
ModalLog. Sp10
DCD Fa09
HSATP Sp09
Schedule
Date
Lecture Notes
Extra
Mon
15.4.
Introduction
paradox
Thu
18.4.
Natural Deduction
Mon
22.4.
Proofs as Programs
Thu
25.4.
Ü:
Propositions, judgements, proofs, terms, functional programs
Mon
29.4.
Harmony
Thu
02.5.
Verifications
Mon
06.5.
Ü:
Harmonic proofs and verifications
Thu
09.5.
Free:
Feiertag
Mon
13.5.
Sequent Calculus
Thu
16.5.
Cut Elimination
Mon
20.5.
Free:
Pfingsten
Thu
23.5.
Free:
Pfingstferien
Mon
27.5.
Quantification
Thu
30.5.
Free:
Fronleichnam
Mon
03.6.
Heyting Arithmetic & Recursion
Thu
06.6.
Ü:
Quantifiers, sequents and cuts
Mon
10.6.
Propositional Theorem Proving
Thu
13.6.
Inversion
Mon
17.6.
Certifying Theorem Provers
Thu
20.6.
Backward Logic Programming
code
Mon
24.6.
Prolog
code
Unify
Types
Thu
27.6.
Ü:
Propositional and inverted proofs
Mon
01.7.
Chaining
code
Thu
04.7.
Ü:
Programming in prolog
code
Mon
08.7.
Ü:
Logical and certified proofs
Thu
11.7.
Ü:
Intuitionistic logic in the rear mirror
Mon
15.7.
Forward Logic Programming
Thu
18.7.
Linear Logic
Mon
22.7.
Substructural Operational Semantics
Thu
25.7.
Ü:
Linearly lining up for food
Wed
25.9.
Exam 8:00-10:00
The lecture schedule is tentative!