KIT Course: Constructive Logic (SS'24)

  1. Home
  2. >>
  3. Courses
  4. >>
  5. ConstLog. SS24
  6. >>
  7. Schedule

Schedule

DateLecture NotesExtra
Mon15.4.Introduction
Thu18.4.Natural Deduction
Mon22.4.Ü: Propositions, judgements, proofs
Thu25.4.Proofs as Programs
Mon29.4.Harmony
Thu02.5.Verifications
Mon06.5.Ü: Harmonic proofs and verifications, programs
Thu09.5.Free: Feiertag
Mon13.5.Quantification
Thu16.5.Sequent Calculus
Mon20.5.Free: Pfingsten
Thu23.5.Cut Elimination
Mon27.5.TBD
Thu30.5.Free: Fronleichnam
Mon03.6.Ü: Quantifiers, sequents and cuts
Thu06.6.TBD
Mon10.6.Heyting Arithmetic & Recursion
Thu13.6.Propositional Theorem Proving
Mon17.6.Inversion
Thu20.6.Ü: Induction and inverted proofs
Mon24.6.Certifying Theorem Provers
Thu27.6.Focusing
Mon01.7.Ü: Focused and certified proofs
Thu04.7.Backward Logic Programming
Mon08.7.Prolog
Thu11.7.Chaining
Mon15.7.Unification
Thu18.7.Forward Logic Programming
Mon22.7.Linear Logic
Thu25.7.Ü: Moded and typed programming with prolog in chains, logic programming
TBDExam
The lecture schedule is tentative!