CS112: Representation and Reasoning for AI
Brandeis University, Fall 2006
Class Notes
Introduction to the Problem
(9/1/06)
Propositional Logic Slides
(9/5/06)
Logic in CS Slides
(9/5/06)
Sequent Calculus Notes
(9/8/06)
Lecture Notes
(9/12/06)
Propositional Dynamic Logic Notes
(11/14/06)
CS112 Home
Readings & Handouts
Class Notes
Syllabus
News