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. | Ü: Quantifiers, sequents and cuts | ||
| Thu | 08.6. | Free: | ||
| Mon | 12.6. | Heyting Arithmetic & Recursion | ||
| Thu | 15.6. | Propositional Theorem Proving | ||
| Mon | 19.6. | Inversion | ||
| Thu | 22.6. | Ü: Induction and inverted proofs | ||
| Mon | 26.6. | Certifying Theorem Provers | ||
| Thu | 29.6. | Focusing | ||
| Mon | 03.7. | Ü: Focused and certified proofs | ||
| Thu | 06.7. | Backward Logic Programming | code | |
| Mon | 10.7. | Prolog | code Types | |
| Thu | 13.7. | Chaining | code | |
| Mon | 17.7. | Unification | ||
| Thu | 20.7. | Forward Logic Programming | code | |
| Mon | 24.7. | Linear Logic | ||
| Thu | 27.7. | Ü: Moded and typed programming with prolog in chains, logic programming | ||
| Mon | 18.9. | Exam: 14:00-16:00, 30.33 MTI | ||