en | de

Computational Logic

master program

VU3  SS 2020  703824

Lecturer

room consultation hours
VU Vincent van Oostrom by arrangement

Time & Place

VU Tuesday09:15 – 12:00 3W03
Thursday13:15 – 16:00 3W03

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other course in this module is Automated Theorem Proving. Computational Logic is taught in the first half of the semester, Automated Theorem Proving in the second half.

Grading

The course will be evaluated by means of weekly exercises (on thursdays), and a final exam, each contributing fifty percent to the final grade

Literature

The following book covers many of the topics discussed in the course:

.Exams.