[djorgensen]

Oh interesting! I attended that University (somewhat briefly, as my lack of funds did not allow me to really finish my degree).

CMPUT172 must have been discontinued shortly after these notes as from 2003 onwards they only offer CMPUT272 - Formal Systems in Logic in Computing Science now.

Certainly a good course, it really provides some great insight about how computers understand and process logical problems. I still have the text and have used it from time to time to show and discuss with others interesting logic problems. The only thing that the course missed was applying the knowledge in a programming environment.