Science of Computational Logic
Aus International Center for Computational Logic
Science of Computational Logic
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2014
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
Bla blah
Bla Bla
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS4, 3. Dezember 2014 in APB E005 | Datei 1, Datei 2, Datei 3 |
| Vorlesung | Description Logic | DS4, 4. Dezember 2014 in INF E005 | |
| Vorlesung | Equational Logic | DS4, 5. Dezember 2014 in INF E005 | Datei |
| Übung | Description Logic, Sheet 1 | DS5, 8. Dezember 2014 in INF E005 | Datei |
| Übung | Description Logic, Sheet 1, Equational Logic Sheet | DS3, 9. Dezember 2014 in INF E005 | Datei |
| Vorlesung | Equational Logic | DS4, 11. Dezember 2014 in INF E005 | |
| Übung | Equational Logic Exercise Sheet | DS4, 15. Dezember 2014 in INF E005 | |
| Übung | Equational Logic | DS3, 16. Dezember 2014 in INF E005 | |
| Vorlesung | Actions and Causality | DS4, 17. Dezember 2014 in INF E005 | Datei |
| Vorlesung | Deduction, Abduction, Induction | DS4, 18. Dezember 2014 in INF E005 | Datei |
| Übung | Equational Logic | DS5, 5. Januar 2015 in INF E005 | |
| Übung | Actions and Causality | DS3, 6. Januar 2015 in INF E005 | Datei |
| Vorlesung | Deduction, Abduction, Induction | DS4, 7. Januar 2015 in INF E005 | |
| Vorlesung | Deduction, Abduction, Induction | DS4, 8. Januar 2015 in INF E005 | |
| Übung | Abduction, Datastructure | DS5, 12. Januar 2015 in INF E005 | Datei |
| Übung | Induction | DS3, 13. Januar 2015 in INF E005 | Datei |
| Vorlesung | Non-Monotonic Reasoning | DS4, 14. Januar 2015 in INF E005 | Datei |
| Vorlesung | Non-Monotonic Reasoning | DS4, 15. Januar 2015 in INF E005 | |
| Übung | Induction, Closed World Assumption | DS4, 19. Januar 2015 in INF E005 | Datei |
| Übung | Closed World Assumption | DS3, 20. Januar 2015 in INF E005 | |
| Vorlesung | Non-Monotonic Reasoning | DS4, 21. Januar 2015 in INF E005 | |
| Vorlesung | Non-Monotonic Reasoning | DS4, 22. Januar 2015 in INF E005 | |
| Übung | Completion, Circumscription | DS5, 26. Januar 2015 in INF E005 | Datei |
| Übung | Default Reasoning | DS3, 27. Januar 2015 in INF E005 | Datei |
| Übung | Answer Set Programming | DS5, 2. Februar 2015 in INF E005 | Datei |
| Übung | TBA | DS3, 3. Februar 2015 in INF 2026 | |
| Übung | Default Logic and Answer Set Programming | DS4, 4. Februar 2015 in APB E005 | |
| Übung | Open discussion | DS3, 6. Februar 2015 in APB E005 |
Kalender
