Schedule

Lectures & Discussions

Projects

• Project 1 (due Fri, 2/19)
  • Maze Solver
  • Overview slides
• Project 2 (due Thu, 3/4)
  • Finite Automata Interpreter
  • Overview slides
• Project 3 (due Thu, 3/25)
  • Sliding Puzzle
  • Overview slides
    
• Project 4 (due Wed, 4/14)
  • Scheme Parser & Interpreter
  • Overview slides
    
• Project 5 (due Mon, 5/10)
  • Multithreaded Metro Simulation
  • Overview slides
    

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
  • Problems, Java 1.4 style & solutions
• Practice 8
  • Operational semantics, polymorphism, markup languages
  • Problems & solutions

Quizzes

• Quiz 1 (2/26)
  • Programming languages, Ruby, regular expressions, finite automata
  • Practice problems 1, 2
  • Example 1 & solution
  • Example 2 & solution
  • Quiz & solution
• Quiz 2 (4/9)
  • OCaml, context free grammars (no parsing)
  • Practice problems 4, 3 (up to & including problem 3c)
  • Example 1 & solution
  • Example 2 & solution
  • Quiz & solution
• Quiz 3 (4/30)
  • Lambda calculus, multithreading
  • Practice problems 5, 7.1, 7.2
  • Example 1 & solution
  • Example 2 & solution
  • Example 3 & solution
  • Quiz & solution

Tests

• Midterm 1 (3/10)
  • Programming languages, Ruby, regular expressions, finite automata
  • Practice problems 1, 2
  • Sample midterms - Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Summer 06, Spring 06
  • Test & solution
• Midterm 2 (4/14)
  • OCaml, context free grammars, parsing, operational semantics
  • Practice problems 3, 4, 8.1
  • Sample midterms - Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Fall 08, Summer 06 (solutions)
  • Test & solution
• Final (5/13, 4-6pm, PHY 1412)
  • Everything, with emphasis on newer material (i.e., lambda calculus, multithreading, etc.)
  • Practice problems 5, 6, 7, 8
  • Sample finals- Fall 09 (solutions), Spring 09 (solutions)