Please attend class and take notes.
Please read them as soon as they are available.
Date |
Topic |
| Jan 25 2011 | Notes on ACL2s language |
| Feb 2 2011 | Notes on Boolean Logic |
The following notes were taken by the TAs. They were not vetted by the instructors. There, you were warned.
Date |
| Feb 24 |
| Mar 7 |
| Mar 9 |
| Mar 10 |
| Mar 14 |
| Mar 17 |
| Mar 21 |
| Mar 23 |
| Mar 24 |
| Mar 28 |
| Mar 31 |
| Apr 4 |
| Apr 6 |
| Apr 7 |
| Apr 14 |