Schedule
| Date | Lecture Notes | Extra | |
|
| Mon | 15.4. | Introduction | paradox | |
| Thu | 18.4. | Natural Deduction | | |
|
| Mon | 22.4. | Proofs as Programs | | |
| Thu | 25.4. | Ü: Propositions, judgements, proofs, terms, functional programs | | |
|
| Mon | 29.4. | Harmony | | |
| Thu | 02.5. | Verifications | | |
|
| Mon | 06.5. | Ü: Harmonic proofs and verifications | | |
| Thu | 09.5. | Free: Feiertag | | |
|
| Mon | 13.5. | Quantification | | |
| Thu | 16.5. | Sequent Calculus | | |
|
| Mon | 20.5. | Free: Pfingsten | | |
| Thu | 23.5. | Free: Pfingstferien | | |
|
| Mon | 27.5. | Cut Elimination | | |
| Thu | 30.5. | Free: Fronleichnam | | |
|
| Mon | 03.6. | Ü: Quantifiers, sequents and cuts | | |
| Thu | 06.6. | TBD | | |
|
| Mon | 10.6. | Heyting Arithmetic & Recursion | | |
| Thu | 13.6. | Propositional Theorem Proving | | |
|
| Mon | 17.6. | Inversion | | |
| Thu | 20.6. | Ü: Induction and inverted proofs | | |
|
| Mon | 24.6. | Certifying Theorem Provers | | |
| Thu | 27.6. | Focusing | | |
|
| Mon | 01.7. | Ü: Focused and certified proofs | | |
| Thu | 04.7. | Backward Logic Programming | | |
|
| Mon | 08.7. | Prolog | | |
| Thu | 11.7. | Chaining | | |
|
| Mon | 15.7. | Unification | | |
| Thu | 18.7. | Forward Logic Programming | | |
|
| Mon | 22.7. | Linear Logic | | |
| Thu | 25.7. | Ü: Moded and typed programming with prolog in chains, logic programming | | |
|
| Wed | 25.9. | Exam 8:00-10:00 | | |
The lecture schedule is tentative!
