Logic
Aus International Center for Computational Logic
Logic
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2015
Dozent
- Prof. Hölldobler
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Klausur
This course will introduce you to propositional logic and first-order predicate logic. After reviewing syntax and semantics, we will cover some basic concepts like normal forms, substitution, and unification. You will be introduced to proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Lecture - History of Logic and Propositional Logic, till slide 'recursion' | DS6, 12. Oktober 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Lecture - Propositional Logic, till 'Replacement Theorem' (slide 27) | DS2, 14. Oktober 2015 in APB E005 | |
| Übung | Tutorial: Training on Induction, Recursive Functions | DS4, 15. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial: The set L(R) | DS5, 16. Oktober 2015 in APB E005 | |
| Vorlesung | Lecture | DS6, 19. Oktober 2015 in APB E005 | |
| Vorlesung | Lecture, till slide 62 | DS2, 21. Oktober 2015 in APB E005 | |
| Übung | Tutorial: Training on entailment, proof structure (iff, implication), counter examples | DS4, 22. Oktober 2015 in APB E005 | |
| Übung | Tutorial: Entailment and unsatisfiability, proof structure | DS5, 23. Oktober 2015 in APB E005 | |
| Vorlesung | Lecture | DS6, 26. Oktober 2015 in APB E005 | |
| Vorlesung | Lecture - finished propositional logic | DS2, 28. Oktober 2015 in APB E005 | |
| Übung | Tutorial: Replacement Theorem and Normal Forms | DS4, 29. Oktober 2015 in APB E005 | |
| Übung | Tutorial: Resolution | DS5, 30. Oktober 2015 in APB E005 | |
| Vorlesung | Test Exam I | DS6, 2. November 2015 in APB E005 | |
| Vorlesung | Introduction into Predicate Logic | DS2, 4. November 2015 in APB E005 | Datei |
| Übung | Test Exam Inspection | DS4, 5. November 2015 in APB E005 | |
| Übung | Tutorial - Compactness Theorem | DS5, 6. November 2015 in APB E005 | |
| Vorlesung | Lecture - till Lemma 4.25 | DS6, 9. November 2015 in APB E005 | Datei |
| Vorlesung | Lecture - till slide 55 | DS2, 11. November 2015 in APB E005 | |
| Übung | Tutorial - Natural Deduction | DS4, 12. November 2015 in APB E005 | |
| Übung | Tutorial - Completeness of Resolution, Pure Literals | DS5, 13. November 2015 in APB E005 | Datei |
| Vorlesung | Lecture - till slide 61 | DS6, 16. November 2015 in APB E005 | Datei |
| Übung | Tutorial - Syntax and Semantics of FOL | DS4, 19. November 2015 in APB E005 | |
| Übung | Tutorial | DS5, 20. November 2015 in APB E005 | |
| Vorlesung | Lecture - till Lemma 4.64 | DS6, 23. November 2015 in APB E005 | Datei |
| Vorlesung | Lecture | DS2, 25. November 2015 in APB E005 | |
| Übung | Presentation of the European Partner Universities | DS4, 26. November 2015 in APB E005 | |
| Übung | Tutorial - Herbrand Interpretation and Infinite Models | DS5, 27. November 2015 in APB E005 | |
| Übung | Tutorial - Application of Prenex Normalform, Skolemization, Unification, Resolution and Factorization | DS4, 3. Dezember 2015 in APB E005 | |
| Übung | Tutorial | DS5, 4. Dezember 2015 in APB E005 | |
| Übung | Tutorial | DS4, 10. Dezember 2015 in APB E005 | |
| Übung | Tutorial | DS5, 11. Dezember 2015 in APB E005 | |
| Übung | Tutorial - Corresponding Herbrand Interpretations and General Q&A session | DS4, 17. Dezember 2015 in APB E005 |
Kalender
