2013 2014 Teaching 8

Undergraduate, University of Amsterdam, 1900

An intermediate course on logic for computational reasoning. Topics include propositional and first order resolution, dynamic epistemic logic, planning.