Schedule

Lectures & Discussions

Projects

• Project 1 - Due Wed, Sep 21st
  • Ruby Maze Solver
  • Project description & downloads here
  • Overview slides here

• Project 2 - Due Thu, Oct 6th
  • Finite Automata Interpreter
  • Project description & downloads here
  • Overview slides here

• Project 3 - Due Tue, Oct 25th
  • Boolean Formulae & SAT
  • Project description & downloads here
  • Overview slides here

• Project 4 - Due Wed, Nov 16th
  • Scheme Interpreter & Parser
  • Project description & downloads here
  • Overview slides here

• Project 5 - Due Mon, Dec 12th
  • Multithreaded Train Simulation
  • Project description & downloads here
  • Overview slides here

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 1.4 style & solutions

• Practice 8
  • Operational semantics, polymorphism, markup languages
  • Problems & solutions

Quizzes

• Quiz 1 - Fri, Sep 16th
  • Programming languages, Ruby
    • Quiz will cover important Ruby language features (e.g., arrays, hashes, code blocks)
    • Quiz will not cover Ruby regular expressions
    • Functions needed from Ruby API needed will be provided
  • Practice problems 1
  • Sample quizzes - Example (solutions), Fall 09 example (solutions), Fall 09 (solutions), Spring 10 (solutions), Fall 10 (solutions)
  • Quiz & solution

• Quiz 2 - Fri, Sep 30th
  • Ruby regular expressions, regular expressions, finite automata
    • Quiz will cover Ruby regular expressions
    • Quiz will cover algorithms for RE->NFA->DFA->minimal DFA
  • Practice problems 2
  • Sample quizzes - Fall 10 (solutions)
  • Quiz & solution

• Quiz 3 - Fri, Nov 4th
  • OCaml, context free grammars
  • Practice problems 3.1, 3.2, 3.3, 4.1-4.6
  • Sample quizzes - Example (solutions), Fall 09 (solutions), Spr 10 (solutions), Fall 10 (solutions)
  • Quiz & solution

• Quiz 4 - Fri, Nov 11th
  • Parsing, lambda calculus
  • Practice problems 3.4-3.6, 4.7, 5
  • Sample quizzes - Example (solutions)
  • Quiz & solution

Tests

• Midterm 1 - Tue, Oct 11th
  • Programming languages, Ruby, regular expressions, finite automata, OCaml (up through end of Basics)
  • Practice problems 1, 2, 4.1a-h, 4.2a-w, 4.3a-d,h-i, 4.4a-p,4.5a-b
  • Sample midterms - Fall 10 (solutions), Spring 10 (solutions), Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Summer 06, Spring 06
  • Test & solution

• Midterm 2 - Tue, Nov 22nd
  • OCaml, context free grammars, parsing, lambda calculus, operational semantics
  • Practice problems 3, 4, 5, 8.1
  • Sample midterms - Fall 10 (solutions), Spring 10 (solutions) Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Fall 08, Summer 06 (solutions)
  • Test & solution

• Final - Thu, Dec 15, 4-6pm (PHY 1412)
  • Everything, with emphasis on newer material (e.g., multithreading, etc.)
  • Practice problems 5, 6, 7, 8
  • Sample finals- Spring 10 (solutions), Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions)