ScheduleThis schedule may be subject to minor changes. Any changes will be announced in class and also be posted on the course web page.
[td]
| Week | Note | Topic | Reading |
| Week 1: Aug 27-Aug 31 | | Regular languages
Regular expressions
Finite Automata | LectureNotes1
LectureNotes2 |
| Week 2: Sep 3-Sep 7 | | Finite Automata (cont'd)
Context-Free Languages | LectureNotes3
LectureNotes4 |
| Week 3: Sep 10-Sep 14 | | Parsing and Ambiguity
Recursive-Descent Parsing | LectureNotes5
LectureNotes6 |
| Week 4: Sep 17-Sep 21 | | Turing Machines
Decidability and the Halting Problem | LectureNotes7
LectureNotes8 |
| Week 5: Sep 24-Sep 28 | | Decidability of Regular Languages
Exam 1 | LectureNotes9 |
| Week 6: Oct 1-Oct 5 | | Ruby | Chapter 2 |
| Week 7: Oct 8-Oct 12 | | Ruby, cont'd
Io | Chapter 3 |
| Week 8: Oct 15-Oct 19 | No class Tues | Io, cont'd | |
| Week 9: Oct 22-Oct 26 | | Io, cont'd
Prolog | Chapter 4 |
| Week 10: Oct 29-Nov 2 | | Prolog, cont'd
Scala | Chapter 5 |
| Week 11: Nov 5-Nov 9 | | Scala, cont'd | |
| Week 12: Nov 12-Nov 16 | | Erlang | Chapter 6 |
| Week 13: Nov 19-Nov 23 | No class Thurs | Clojure | Chapter 7 |
| Week 14: Nov 26-Nov 30 | | Clojure, cont'd
Exam 2 | |
| Week 15: Dec 3-Dec 7 | | Haskell | Chapter 8 |
| Week 16: Dec 12-Dec 14 | No class Thurs | Haskell, cont'd |
http://goose.ycp.edu/~dhovemey/fall2012/cs340/syllabus.html