CS 373: Introduction to Theory of Computation
Spring 2014
| Lecture Number | Date | Material Required | Readings | Homework |
| 1 | 01/22/2014 | (Lecture1) (Notes1) | -- | HW1 posted |
| 2 | 01/24/2014 | (Lecture2) (Notes2) | Sections 3.1-3.4, 3.7 and 3.9 of All about Maude | |
| 3 | 01/29/2014 | (Lecture3) (Notes3) |
Sections 1-2 of Maude Primer. Sections 1.1, 4.1 and 4.9 of All about Maude |
HW2 posted |
| 4 | 01/31/2014 | (Lecture4) (Notes4) | ||
| 5 | 02/05/2014 | (Lecture5) (Notes5) | HW3 posted | |
| 6 | 02/07/2014 | (Lecture6) (Notes6) | ||
| 7 | 02/12/2014 | (Lecture7) (Notes7) | HW4 posted | |
| 8 | 02/14/2014 | (Lecture8) (Notes8) | ||
| 9 | 02/19/2014 | (Lecture9) (Notes9) | HW5 posted | |
| 10 | 02/21/2014 | (Lecture10) (Notes10) | ||
| 11 | 02/26/2014 | (Lecture11) (Notes11) | HW6 posted | |
| 12 | 02/28/2014 | (Lecture12) (Notes12) | ||
| 13 | 03/05/2014 | (Lecture13) (Notes13) | HW7 posted | |
| 14 | 03/12/2014 | (Lecture14) (Notes14) | HW8 posted | |
| 15 | 03/14/2014 | (Lecture15) (Notes15) | ||
| 16 | 03/19/2014 | (Lecture16) (Notes16) | HW9 posted | |
| 17 | 03/21/2014 | (Lecture17) (Notes17) | ||
| 18 | 04/02/2014 | (Lecture18) (Notes18) | HW10 posted | |
| 19 | 04/09/2014 | (Lecture19) (Notes19) | HW11 posted | |
| 20 | 04/11/2014 | (Lecture20) (Notes20) | ||
| 21 | 04/16/2014 | HW12 posted | ||
| 22 | 04/18/2014 | (Lecture22) (Notes21) | ||
| 23 | 04/23/2014 | (Lecture22-23) (Notes22-23) | HW13 posted | |
| 24 | 04/25/2014 | (Lecture24) (Notes24) | ||
| 25 | 04/30/2014 | (Lecture25) (Notes25) | HW14 posted | |
| 26 | 05/02/2014 | (Lecture26) (Notes26) | ||
| 27 | 07/02/2014 | (Lecture27) (Notes27) |