Welcome to COSC222 Home Page

exercise in logic
Assignment 1, 2010
Course reader, 2010
CYK algorithm
Maze program
Note summary
Note summary doc
Supplementary note on logic
Tutorial 1 on logic
Tutorial 1 on logic doc
Tutorial 2
Tutorial 3, Doc file
Tutorial 3
Tutorial 4, Doc file
Solutions for tut1, 2, and 3
Solutions for tut1, 2, and 3, Doc file
Cantor's diagonalization
Assignment 1
Assignment 1, Doc file
Assignment 2, 2009
Solution by Karnaugh map
Solution by Quine-McCluskey
Solutions for tut4
Solutions for tut4, Doc file
Tutorial 5, Doc file
Tutorial 6, Doc file
Solution for tut 5, pdf file
Solution for tut 6, pdf file
Tutorial CFL, PDF
Halting Problem
Post's Correspondence Problem
sample questions
How to count the number of multiset combinations
Quien-McCluskey procedure for minimizing Boolean functions
Tutorial on CFG
Recursive descent parser