Science of Computational Logic (WS2019)

Science of Computational Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2019

Dozent

• Steffen Hölldobler

Tutor

• Marcos Cramer

Umfang (SWS)

• 2/2/0

Module

• MCL-F
• EMCL-B-F
• INF-BAS2

Leistungskontrolle

• Mündliche Prüfung

• Information

This is the follow-up course to Logic. It starts on Thurday, 5 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).
• Lectures (room APB/E05)
  • Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
• Exercises
  • Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

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 18/20: Exercise sheet 1, all seven problems
• January 8/10: Exercise sheet 2, all eight problems
• January 14/17: Exercise sheet 3, all three problems
• January 21/24: Exercise sheet 5, all six problems. (Some material has been removed from the lecture course, so Exercise sheet 4 was skipped. )
• January 28: Exercise sheet 6.
• January 31: Exercise sheet 7, all three problems.
• February 5/7: Exercise sheet 8, both problems.

Model solutions

• Model solution to exercise sheet 1
• Model solution to exercise sheet 2
• Model solution to exercise sheet 3
• Model solution to exercise sheet 5
• Model solution to exercise sheet 6
• Model solution to exercise sheet 7