KIT Course: Constructive Logic (SS'23)

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

Schedule

DateLecture NotesExtra
Mon17.4.Introduction
Thu20.4.Natural Deduction
Mon24.4.Ü: Propositions, judgements, proofs
Thu27.4.Proofs as Programs
Mon01.5.Free: 
Thu04.5.Harmony
Mon08.5.Verifications
Thu11.5.Ü: Harmonic proofs and verifications, programs
Mon15.5.Quantification
Thu18.5.Free: 
Mon22.5.Sequent Calculus
Thu25.5.Cut Elimination
Mon29.5.Free: Pfingstferien
Thu01.6.Free: Pfingstferien
Mon05.6.Ü: Quantifiers, sequents and cuts
Thu08.6.Free: 
Mon12.6.Heyting Arithmetic & Recursion
Thu15.6.Propositional Theorem Proving
Mon19.6.Inversion
Thu22.6.Ü: Induction and inverted proofs
Mon26.6.Certifying Theorem Provers
Thu29.6.Focusing
Mon03.7.Ü: Focused and certified proofs
Thu06.7.Backward Logic Programmingcode 
Mon10.7.Prologcode Types
Thu13.7.Chainingcode 
Mon17.7.Unification
Thu20.7.Forward Logic Programmingcode 
Mon24.7.Linear Logic
Thu27.7.Ü: Moded and typed programming with prolog in chains, logic programming
Mon18.9.Exam: 14:00-16:00, 30.33 MTI
The lecture schedule is tentative!