Science of Computational Logic (WS2018): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Marcos Cramer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (10 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 11: | Zeile 11: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=mündliche Prüfung | |Exam type=mündliche Prüfung | ||
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2018) Logic]. | |Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2018) Logic]. It starts on Monday, 8 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week. | ||
The course will run with 4 hours of lectures and 4 hours of tutorials per week. | |||
We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing. | We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing. | ||
| Zeile 18: | Zeile 17: | ||
* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended). | * The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended). | ||
* Lecture and tutorial hours are as in the logic lecture | * Lecture and tutorial hours are as in the logic lecture | ||
===Lecture Slides and Script=== | |||
The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial. | |||
===Exercises=== | |||
* December 20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems | |||
* January 10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems | |||
* January 17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems | |||
* January 24: [https://iccl.inf.tu-dresden.de/w/images/5/5f/Sheet-4.pdf Exercise sheet 4], all three problems | |||
* January 31: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems | |||
}} | }} | ||
Aktuelle Version vom 23. Dezember 2019, 20:51 Uhr
Science of Computational Logic
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2018
Dozent
- Steffen Hölldobler
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
This is the follow-up course to Logic. It starts on Monday, 8 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.
We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.
- The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
- Lecture and tutorial hours are as in the logic lecture
Lecture Slides and Script
The lecture slides as well as the script can be found here. The user name is student and the password will be given during the lecture or tutorial.
Exercises
- December 20: Exercise sheet 1, all seven problems
- January 10: Exercise sheet 2, all eight problems
- January 17: Exercise sheet 3, all three problems
- January 24: Exercise sheet 4, all three problems
- January 31: Exercise sheet 5, all six problems
