Schedule
| Date | Lecture Notes | Extra | |
|
| Mon | 17.4. | Introduction | | |
| Thu | 20.4. | Natural Deduction | | |
|
| Mon | 24.4. | Ü: Propositions, judgements, proofs | | |
| Thu | 27.4. | Proofs as Programs | | |
|
| Mon | 01.5. | Free: | | |
| Thu | 04.5. | Harmony | | |
|
| Mon | 08.5. | Verifications | | |
| Thu | 11.5. | Ü: Harmonic proofs and verifications, programs | | |
|
| Mon | 15.5. | Quantification | | |
| Thu | 18.5. | Free: | | |
|
| Mon | 22.5. | Sequent Calculus | | |
| Thu | 25.5. | Cut Elimination | | |
|
| Mon | 29.5. | Free: Pfingstferien | | |
| Thu | 01.6. | Free: Pfingstferien | | |
|
| Mon | 05.6. | Ü: Sequents and cuts and sequent proofs, proof search | | |
| Thu | 08.6. | Free: | | |
|
| Mon | 12.6. | ?Heyting Arithmetic & Induction / Recursion | | |
| Thu | 15.6. | Propositional Theorem Proving | | |
|
| Mon | 19.6. | Inversion | | |
| Thu | 22.6. | Certifying Theorem Provers | | |
|
| Mon | 26.6. | TBD | | |
| Thu | 29.6. | Focusing | | |
|
| Mon | 03.7. | Ü: Focused, inverted, and certified proofs | | |
| Thu | 06.7. | Backward Logic Programming | | |
|
| Mon | 10.7. | Prolog | | |
| Thu | 13.7. | Types as Predicates | | |
|
| Mon | 17.7. | Ü: Moded and typed programming in prolog, logic programming | | |
| Thu | 20.7. | Chaining | | |
|
| Mon | 24.7. | Forward Logic Programming | | |
| Thu | 27.7. | Linear Logic | | |
|
| Mon | 18.9. | Exam: 14:00-16:00, 30.33 MTI | | |
The lecture schedule is tentative!
