Saturday, December 9, 2006

CSC 273 - Introduction to Digital Electronics

Thoerm proving, propositional logic, first order logic, finate autometa, formal langauges, turing machines, uncomputionability, computional complexity and NP completeness. 3 credits.

No comments: