1/17 | admin, SML basics | Intro SML, Part I | Assignment 0 (due: 1/20) - template file, check file |
1/19 | SML data types | Intro SML, pgs. 12-18, SML data types | |
1/24 | list recursion | Intro SML, Part III | Assignment 1 (due: 1/27) - template file, check file |
1/26 | advanced recursion | Intro SML, pgs. 34-47 | |
1/31 | more SML fun | Intro SML, pgs. 19-22, 47-58 | Assignment 2 (due: 2/3) - template file, check file |
2/2 | defining types, recursion slides (ppt) | Intro SML, pgs. 53-58 | |
2/7 | Midterm 1 | sample problems | Assignment 3 (due: 2/10) - template file, check file |
2/9 | CS52 machine (ppt) | Machine pgs. 1-10 | |
2/14 | CS52 machine functions (ppt) | Machine, pgs. 11-28, Appendix A | Assignment 4 (due: 2/24) - asgt04-5.a52 |
2/16 | CS52 machine recursion (ppt) | Machine, rest | |
2/21 | SML miscellaneous | Intro SML, pgs. 24-26 | |
2/23 | parsing, recursive datatypes (ppt) | | |
2/28 | parsing 2 | | Assignment 5 (due: 3/10) - template file, check file, driver file, examples |
3/2 | Midterm 2 | | |
3/7 | binary (ppt) | BWI pgs. 1-9 | |
3/9 | circuits (ppt) | DLC | |
3/14 | No class | | |
3/16 | No class | | |
3/21 | encryption (ppt) | RSA sections I-IV | Assignment 6 (due: 3/24) |
3/23 | encryption in practice (ppt) | RSA sections V-VII Optional: RSA paper | |
3/28 | game playing (ppt) | | Assignment 7 (due: 4/7) - template file, check file |
3/30 | mastermind revisited (ppt) | Knuth's paper | |
4/4 | mastermind implemented (ppt) more misc SML | | |
4/6 | mastermind tree (ppt) | | |
4/11 | Midterm 3 | sample problems | Assignment 8 (due: 4/21) - template file, check file, asgt03-strategy |
4/13 | DFAs | MC, Section 1 | |
4/18 | Class cancelled | | |
4/20 | Assignment 8 | | |
4/25 | NFAs | MC, Sections 2-4 | Assignment 9 (due: 5/3) |
4/27 | Turing machines | MC, Sections 5-9 | |
5/2 | Review | | |