Science of Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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