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.
In the west, we've got SHAW who recently lowered bandwidth caps without changing the price and are charging for any overages, and Telus who are not yet charging for overages but they try to lock you in on contracts and also have caps. For a 15/1 pipe you pay about $60/month.
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.