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 |
||
| 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. | ||
Version vom 5. Dezember 2018, 19:46 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
