Foundations of Constraint Programming (WS2015): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Lukas Schweizer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 130: | Zeile 130: | ||
|Date=2016/02/01 | |Date=2016/02/01 | ||
|DS=DS3 | |DS=DS3 | ||
|Download=FCP2015-T7.pdf, | |Download=FCP2015-T7.pdf, | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 136: | Zeile 136: | ||
|Title=Q&A | |Title=Q&A | ||
|Room=APB E005 | |Room=APB E005 | ||
|Date=2016/02/ | |Date=2016/02/09 | ||
|DS=DS3 | |DS=DS3 | ||
}} | }} | ||
Aktuelle Version vom 1. Februar 2016, 17:07 Uhr
Foundations of Constraint Programming
Lehrveranstaltung mit SWS 1/1/0 (Vorlesung/Übung/Praktikum) in WS 2015
Dozent
Tutor
Umfang (SWS)
- 1/1/0
Module
Leistungskontrolle
- Klausur
Foundations of Constraint Programming
News
- Tutorial 6 is shifted to Tuesday, 19th January DS 3.
Organization
The first lecture will be on Monday, 12th October 2015, 11:10-12:40 (DS 3) in room APB E005.
The lecture and tutorial will alternate and take place on Mondays, 11:10-12:40 (DS 3) in room APB E005.- Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS3, 12. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial 1 | DS3, 19. Oktober 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | CP in a Nutshell | DS3, 26. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial 2 | DS3, 2. November 2015 in APB E005 | Datei |
| Vorlesung | Complete Constraint Solvers | DS3, 16. November 2015 in APB E005 | Datei |
| Übung | Tutorial 3 | DS3, 23. November 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Local Consistency | DS3, 30. November 2015 in APB E005 | Datei |
| Übung | Tutorial 4 | DS3, 7. Dezember 2015 in APB E005 | Datei |
| Vorlesung | Incomplete Constraint Solvers | DS3, 14. Dezember 2015 in APB E005 | Datei |
| Übung | Tutorial 4 (continued) | DS1, 15. Dezember 2015 in APB E005 | |
| Übung | Tutorial 5 | DS3, 4. Januar 2016 in APB E005 | Datei |
| Vorlesung | Constraint Propagation | DS3, 11. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 6 | DS3, 19. Januar 2016 in APB E005 | |
| Vorlesung | Search | DS3, 25. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 7 | DS3, 1. Februar 2016 in APB E005 | Datei |
| Vorlesung | Q&A | DS3, 9. Februar 2016 in APB E005 |
Kalender
