Discrete Structures. Please see http://tandy.cs.illinois.edu/warnow-cs173.html for the course webpage.