KIT Course: Constructive Logic (So'24)

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

Schedule

DateLecture NotesExtra
Mon15.4.Introductionparadox
Thu18.4.Natural Deduction
Mon22.4.Proofs as Programs
Thu25.4.Ü: Propositions, judgements, proofs, terms, functional programs
Mon29.4.Harmony
Thu02.5.Verifications
Mon06.5.Ü: Harmonic proofs and verifications
Thu09.5.Free: Feiertag
Mon13.5.Sequent Calculus
Thu16.5.Cut Elimination
Mon20.5.Free: Pfingsten
Thu23.5.Free: Pfingstferien
Mon27.5.Quantification
Thu30.5.Free: Fronleichnam
Mon03.6.Heyting Arithmetic & Recursion
Thu06.6.Ü: Quantifiers, sequents and cuts
Mon10.6.Propositional Theorem Proving
Thu13.6.Inversion
Mon17.6.Certifying Theorem Provers
Thu20.6.Backward Logic Programmingcode 
Mon24.6.Prologcode Unify Types
Thu27.6.Ü: Propositional and inverted proofs
Mon01.7.Chainingcode 
Thu04.7.Ü: Programming in prologcode 
Mon08.7.Ü: Logical and certified proofs
Thu11.7.Ü: Intuitionistic logic in the rear mirror
Mon15.7.Forward Logic Programming
Thu18.7.Linear Logic
Mon22.7.Substructural Operational Semantics
Thu25.7.Ü: Linearly lining up for food
Wed25.9.Exam 8:00-10:00
The lecture schedule is tentative!