Practice Problems, Quizzes, Tests

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 - Feb 28th
  • Programming Languages, Ruby, regular expressions, finite automata
    • Quiz will cover all of Ruby; functions needed from Ruby API needed will be provided
    • Quiz will cover algorithms for RE->NFA->DFA, minimization will not be included
  • Practice problems 1, 2
  • Sample quizzes (on Ruby) - Fall 13 (solutions), 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)
  • Sample quizzes (on RE & FA) - Fall 13 (solutions), Spr 12 (solutions), Fall 11 (solutions), Fall 10 (solutions)
  • Quiz - Spring 14 (solutions)

• Quiz 2 - Fri, Apr 4th
  • OCaml, context-free grammars
  • Practice problems 3, 4.1-4.5
  • Sample quizzes - Example (solutions), Fall 13 (solutions), Spring 12 (solutions), Fall 11 (solutions), Fall 10 (solutions), Spr 10 (solutions), Fall 09 (solutions)
  • Quiz - Spring 14 (solutions)

• Quiz 3 - Fri, May 2nd
  • Multithreading & basic Prolog (no programming)
  • Practice problems 5, 7.1-7
  • Sample quizzes - Fall 13 (solutions), Spr 13 (solutions), Fall 11
  • Quiz - Spring 14 (solutions)

Tests

• Midterm 1 - March 13th
  • Programming languages, Ruby, regular expressions, finite automata, OCaml
    • Test will cover all of Ruby; functions needed from Ruby API needed will be provided
    • Test will cover algorithms for RE->NFA->DFA, DFA minimization, DFA complement
    • Test will cover OCaml, including
      • All of OCaml Basics, including let, lists, tuples, match, pattern variables, type inference, polymorphic functions
      • Beginning of OCaml Functions up to and including anonymous functions & currying
  • Practice problems 1, 2, 3.1a-l,q, 3.2, 3.3, 3.4, 3.5a-b
  • Review guide by Ilse Haim
  • Sample midterms - Fall 13 (solutions), 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 - Spring 14 (solutions)

• Midterm 2 - Thu, Apr 17th
  • OCaml, context free grammars, parsing, multithreading
  • Practice problems 3, 4, 5.1
  • Sample midterms - Fall 13 (solutions), 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 - Spring 14 (solutions)

• Final - Thu, May 15, 4-6pm, PHY 1412
  • Everything
  • Emphasis on newer material (e.g., multithreading, Prolog, lambda calculus, operational semantics, etc.)
  • Practice problems 1-5, 6, 7, 8, 9
  • Sample finals- Fall 13 (solutions), Spring 12 (solutions), Fall 11 (solutions), Fall 10 (solutions), Spring 10 (solutions), Fall 09 (solutions), Spring 09 (solutions), Spring 08 (solutions)