djorgensen
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.
The problem is since all of the major ISPs also provide television they are effectively attempting to get rid of netflix as competition by placing such restrictions on our access.
http://openmedia.ca/ has been campaigning to get rid of the caps in Canada. Quite a fair bit of interesting reading and it's nice to see it gaining momentum lately.
EDIT for the typo.