| topic | slides | handouts | ||
|---|---|---|---|---|
| Wed 2/25 | introduction, theorem provers, facts, rules, queries |
images | ||
| Fri 2/27, Mon 3/2 | searching, equality tests, arithmetic, lists & trees, etc. |
images | ||
| Wed 3/4 | cuts, dynamic knowledge |
images | ||
| Fri 3/6 | symbolic differentiation |
images | ||