Science of Computational Logic (WS2018)
Aus International Center for Computational Logic
{{Vorlesung |Title=Science of Computational Logic |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler; |Tutors=Marcos Cramer; |Term=WS |Year=2018 |Module=MCL-F, EMCL-B-F, INF-BAS2 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=
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
