by Francis George C. Cabarle
``The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity.'' — E. W. Dijkstra
Welcome to the class web page for CS 133 THY! Some resources are found in this page, but please make sure to join the corresponding UVLe class also, e.g. for announcements, other materials.
For each exam there is at least one article known as required reading or RR. Please be sure to read such articles before the exam.
``The best theory is inspired by practice. The best practice is inspired by theory.''
-- Donald E. Knuth