Schedule

Lectures & Discussions

Projects

• Project 1 (due 9/24)
  • Maze Solver
• Project 2 (due 10/8)
  • Finite Automata Interpreter
  • Overview slides
• Project 3 (due 10/20)
  • OCaml Warmup
• Project 4 (due 10/27)
  • Boolean Formulae and SAT
  • Overview slides
• Project 5 (due 11/12)
  • Scheme Parser & Interpreter
  • Overview slides
• Project 6 (due 12/11)
  • Multithreaded Metro Simulation
• Project 7 (due 12/15)
  • Ruby on Rails Web Database

Practice Problems

• Practice 1
  • Programming languages, Ruby language features
  • Problems & solutions
• Practice 2
  • Regular expressions, finite automata
  • Problems & solutions
• Practice 3
  • Context free grammars, parsing
  • Problems & solutions
• Practice 4
  • OCaml
  • Problems & solutions
• Practice 5
  • Lambda calculus
  • Problems & solutions
• Practice 6
  • Relating functional & OO programming, type systems, bindings, parameter passing
  • Problems & solutions
• Practice 7
  • Multithreading, data races, deadlock, garbage collection
  • Problems & solutions

Quizzes

• Quiz 1 (10/2)
  • Programming languages, Ruby, regular expressions, finite automata
  • Practice problems 1, 2
  • Example & solution
  • Quiz & solution
• Quiz 2 (10/30)
  • Parsing, OCaml
  • Practice problems 3.5-3.7, 4
  • Example & solution
  • Quiz & solution
• Quiz 3 (11/6)
  • Lambda calculus
  • Practice problems 5
  • Example & solution
  • Quiz & solution
• Quiz 4 (12/4)
  • Multithreading
  • Practice problems 7
  • Quiz & solution

Tests

• Midterm 1 (10/15)
  • Programming languages, Ruby, regular expressions, finite automata, context free grammars (not including parsing)
  • Practice problems 1, 2, 3.1-3.4
  • Sample midterms - Spring 09 (solutions), Spring 08 (solutions), Summer 06, Spring 06
  • Test & solution
• Midterm 2 (11/18)
  • Parsing, OCaml, lambda calculus, relating functional & OO programming, type systems, bindings
  • Practice problems 3.5-7, 4, 5, 6.1-3
  • Sample midterms - Spring 09 (solutions) , Spring 08 (solutions), Fall 08, Summer 06 (solutions)
  • Test & solution