Science of Computational Logic (WS2018): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Science of Computational Logic |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler; |Tutors=Marcos Cramer; |Term=WS |Year=201…“) |
Emma Dietz (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 21: | Zeile 21: | ||
* 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 | ||
}} | |||
Version vom 28. August 2018, 16:10 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. 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
