CS157: Computational Logic

Autumn 2010-2011

Announcements

  • December 9: The finals are posted. Good luck!
  • December 2: Solution to Problem Set 4 has been posted.
  • November 12: Solution to Problem Set 3 has been posted.
  • November 11: Problem Set 4 has been posted.
  • October 28: Problem Set 3 has been posted.
  • October 28: Solution to Problem Set 2 has been posted.
  • October 20: Genesereth out of town today. No office hours.
  • October 14: Problem Set 2 has been posted.
  • October 11: Solution to Problem Set 1 has been posted.
  • September 30: Problem Set 1 has been posted.
  • September 20: Web Site open. Welcome to CS157.

Course Information

Date Weekday Topic Reading Lecture Problem Set
September 21 Tuesday Introduction Chapter 1 Lecture 1
23
 Thursday Propositional Logic Chapter 2, Chapter 3 Lecture 2
28 Tuesday Propositional Proofs Chapter 4 Lecture 3
29
 Thursday Propositional Resolution Chapter 5, DP, DPLL, SAT Solvers Lecture 4 Problem Set 1
October 5 Tuesday Relational Logic Chapter 6 Lecture 5
7 Thursday Relational Logic Semantics
Lecture 6
12 Tuesday Relational Proofs Chapter 8 Lecture 7
14 Thursday Properties of Relational Logic
Lecture 8 Problem Set 2
19 Tuesday Resolution Preliminaries Chapter 9 Lecture 9
21 Thursday Review
Lecture 10  
26 Tuesday Resolution Theorem Proving
Lecture 11
28 Thursday Resolution Applications
Lecture 12 Problem Set 3
November 2 Tuesday Resolution Strategies
Lecture 13
4 Thursday Model Elimination Lecture 14  
9 Tuesday Equality Lecture 15
11 Thursday Mathematical Induction
Lecture 16 Problem Set 4
16 Tuesday No class

18 Thursday Logical Spreadsheets
Lecture 18
23 Tuesday Thanksgiving - no class


25 Thursday Thanksgiving - no class


30 Tuesday Inconsistency-Tolerant Logics
Lecture 19
December 2 Thursday Review
Lecture 20
December 9 Thursday

Final Exam

Other Sources

Software
(c) Copyright 1995-2010 by Michael Genesereth