# Science of Computational Logic

From International Center for Computational Logic

# Science of Computational Logic

##### Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2019

**Lecturer**

**Tutor**

**SWS**

- 2/2/0

**Modules**

**Examination method**

- Oral exam

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