Schedule

Lectures & Discussions

Projects

• Project 1 - Due Wed, Sep 25th
  • Processing Weblog Files
  • Project description & downloads here
  • Overview slides here

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

• Project 3 - Due Wed, Oct 23rd
  • Sliding Puzzle
  • Project description & downloads here
  • Overview slides here

• Project 4 - Due Fri, Nov 8th
  • Regular Expression Parser
  • Project description & downloads here
  • Overview slides here

• Project 5 - Due Tue, Nov 26th
  • Multithreaded Space Simulation
  • Project description & downloads here
  • Overview slides here

• Project 6 - Due Wed, Dec 11th
  • Sliding Puzzle in Prolog
  • Project description & downloads here

Practice Problems

• Practice 1
  • Programming languages, Ruby language features
  • Problems & solutions

• Practice 2
  • Regular expressions, finite automata
  • Problems & solutions

• Practice 3
  • OCaml
  • Problems & solutions

• Practice 4
  • Context free grammars, parsing
  • Problems & solutions

• Practice 5
  • Multithreading
  • Problems & solutions

• Practice 6
  • Programming language concepts
  • Problems & solutions

• Practice 7
  • Prolog
  • Problems & solutions

• Practice 8
  • Lambda calculus
  • Problems & solutions

• Practice 9
  • Operational semantics, markup & query languages
  • Problems & solutions

Quizzes

• Quiz 1 - Fri, Sep 20th
  • Programming Languages, Ruby
    • Quiz will cover important Ruby language features (e.g., regular expressions, arrays, hashes, code blocks)
    • Functions needed from Ruby API needed will be provided
    • Finite automata questions found on some older sample quizzes will not be covered
  • Practice problems 1
  • Sample quizzes - Spring 12 (solutions), Fall 11 (solutions), Fall 11 example (solutions), Spring 11 (solutions), Fall 10 (solutions), Spring 10 (solutions), Fall 09 (solutions), Fall 09 example (solutions)
  • Quiz - Fall 13 (solutions)

• Quiz 2 - Fri, Oct 4th
  • Regular expressions, finite automata
    • Quiz will cover algorithms for RE->NFA->DFA
  • Practice problems 2
  • Sample quizzes - Fall 10 (solutions), Fall 11 (solutions), Spr 12 (solutions)
  • Quiz - Fall 13 (solutions)

• Quiz 3 - Fri, Nov 1st
  • OCaml
  • Practice problems 4.1-4.6
  • Sample quizzes - Example (solutions), Fall 09 (solutions), Spr 10 (solutions), Fall 10 (solutions), Fall 11 (solutions), Spring 12 (solutions)
  • Quiz - Fall 13 (solutions)

• Quiz 4 - Fri, Dec 6th
  • Multithreading & basic Prolog (no programming)
  • Practice problems 5, 7.1-3
  • Sample quizzes - Fall 11, Spr 13 (solutions)
  • Quiz - Fall 13 (solutions)

Tests

• Midterm 1 - Thu, Oct 17th
  • 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
  • Review guide by Ilse Haim
  • Sample midterms - Spring 12 (solutions), Fall 11 (solutions), Fall 10 (solutions), Spring 10 (solutions), Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Summer 06, Spring 06
  • Test - Fall 13 (solutions)

• Midterm 2 - Thu, Nov 14th
  • OCaml, context free grammars, parsing, multithreading
  • Practice problems 3, 4, 5.1
  • Sample midterms - Spring 12 (solutions), Fall 11 (solutions), Fall 10 (solutions), Spring 10 (solutions) Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions), Fall 08, Summer 06 (solutions)
  • Test - Fall 13 (solutions)

• Final - PHY 1410 & 1412, Mon, Dec 16, 4-6pm
  • Everything (except operational semantics, markup & query languages)
  • Emphasis on newer material (e.g., multithreading, Prolog, lambda calculus, etc.)
  • Practice problems 1-5, 6, 7, 8
  • Sample finals- Fall 11 (solutions), Fall 10 (solutions), Spring 10 (solutions), Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions)