| Date | Topic and Materials |
|---|
| 08/30 |
Introduction: slides (pdf), code (zip) |
| 09/01 |
Ruby 1: slides (pdf), note (github) code (github) video (ELMS) |
| 09/02 |
Discussion 1: lab1.rb |
| 09/06 |
Ruby 2: (same slides as Ruby 1) note (github) code (github) video (ELMS) |
| 09/08 |
Ruby Regexp: slides (pdf), note (github) code (github) video (ELMS) |
| 09/09 |
Discussion 2: lab2.rb |
| 09/13 |
Ruby 3: slides (pdf), note (github) code (github) video (ELMS) |
| 09/15 |
OCaml Basics: slides (pdf), note (github) video (ELMS) |
| 09/16 |
Discussion 3: lab3.txt |
| 09/20 |
OCaml Higher Order Functions: slides (pdf), note (github) video (ELMS) |
| 09/22 |
OCaml Closures: slides (pdf), note (github) video (ELMS) |
| 09/23 |
Discussion 4: lab4.ml |
| 09/27 |
OCaml Data: slides (pdf), note (github) video (ELMS) |
| 09/29 |
Regexps and Finite Automata slides (pdf) |
| 09/30 |
Discussion 5: lab5.ml |
| 10/04 |
DFA and NFA slides (pdf) |
| 10/06 |
Midterm 1 exam (Fall 2016 [Solution]) |
| 10/07 |
Discussion 6 lab6.txt lab6.pdf lab6 solution |
| 10/11 |
DFA Minimization, DFA to RE slides (pdf)
Objects and FP slides (pdf) code (github)
How to Debug OCaml Code slides (pdf) video (youtube) |
| 10/13 |
Context Free Grammar slides (pdf) video (ELMS) |
| 10/14 |
Discussion 7 lab7.txt lab7 solution |
| 10/18 |
Parsing slides (pdf) code (github) |
| 10/20 |
Semantics slides (pdf) video (ELMS) |
| 10/21 |
Discussion 8 lab8.txt |
| 10/25 |
Lambda Calculus slides (pdf) video (ELMS) |
| 10/27 |
Lambda Calculus cont'd video (ELMS) code (github) |
| 10/28 |
Discussion 9 lab9.txt |
| 11/01 |
Types slides (pdf) |
| 11/03 |
Polymorphism: slides (pdf), code (github) |
| 11/08 |
Midterm 2 (Fall 2016 [Solution]) |
| 11/10 |
Prolog 1: slides (pdf), code (github) video (ELMS) |
| 11/11 |
Discussion 10 lab10.pl |
| 11/15 |
Prolog 2: slides (pdf), code (github) |
| 11/17 |
Prolog 3: slides (pdf), code (github) |
| 11/18 |
Discussion 10 lab11.pl |
| 11/22 |
Parameter Passing: slides (pdf) |
| 11/24 |
Thanksgiving: slides (pdf) |
| 11/29 |
Software Security: Input Validation slides (pdf) |
| 12/01 |
Software Security 2 (pdf same above)
Memory Management slides (pdf)
|
| 12/06 |
History slides (pdf) |
12/14
Final
Exam
Location |
Sections: 101,102,103,104,105,106 SKN0200
Sections: 107,108, 301,302,303,304 ARC0204 |