Practice Problems, Quizzes, Tests

• Quiz 1
  • Quiz 1 will cover all OCaml.
  • Ocaml Practice Problems (Solution)
  • Sample Quizzes
  • Spring14 (Questions 1,2 only) (Solution)
  • Fall15 (Solution)
  • Spring15 (Question 2 only) (Solution)
  • Spring16 [Solution]
  • Fall16 [Solution]
  • Spring17 [Solution]
  • Fall17 [Solution]
  • Spring18 [Solution]

• Quiz 2,3 DFA, NFA, CFG Sample Quizzes

• Spring 18 Quiz 3 (Solution)
• Spring 18 Quiz 2 (Solution)
• Fall 17 Quiz 2 (Solution)
• Fall 17 Quiz 3 (Solution)
• Spring 17 (Solution)
• Fall 16 (Solution)
• Spring 16 (Solution)
• Fall 15 (Solution)
• Fall 11(Solution)
• Fall10 (Solution)

• Quiz 4 Operational Semantics
• Spring 18 (Solution)
• Fall 17 (Solution)
• Practice Problems
• Operational Semantics [Solution]

• Quiz 5
Practice Problems
• Lambda Calculus [ Solution ]

• Midterm 1 (10/17)
• Spring 2019 [Solution]
• Spring 2017 [Solution]
• Fall 2016 [Solution]
• Spring 2016 [Solution]
• Fall 2015 [Solution]
• Spring 2015 [Solution] (DFA and NFA are not included in this exam.)
• Fall 2014 [Solution ]

• Midterm 2 (11/16)
• Spring 2019 [Solution]
• Spring 2017 [Solution]
• Fall 2016 [Solution]
• Fall 2015 [Solution]
• Spring 2016 [Solution]
• Final
• Final Fall 2013 [Solution]
• Final Fall 2014 [Solution]
• Final Spring 2015 [Solution]
• Fall2015 [Solution]
• Spring2016 [Solution]
• Fall2016 [Solution]
• Spring2017 Solution
• Fall 2017 [Solution]

• Practice Problems
• CFG [Solution]
• OCaml [Solution]
• Finite Automata [Solution]
• Lambda Calculus [ Solution ]
• Operational Semantics 1 [ Solution 1 ]
• Operational Semantics 2 [Solution 2]
• Prolog [Soluion]