UI logo
CS 173
Spring 2021



This course has three goals

Most of you are taking this course because it's required by the CS major, the ECE major, or the CS minor. There's three main reasons for making you take it

Everyone can do proofs. It's only the tricky parts of tricky proofs that require special talent.