CS 173 - Discrete Structure - Spring 2018

CS 173 - Discrete Structures (Spring 2018)

Lecture B: José Meseguer

CS173: Learn about some discrete structures (numbers, counting, graphs, trees), but mostly learn how to think clearly enough to be able to write proofs that are rigorous and correct.
José Meseguer
Initial Logistics
WARNING: these B-lecture pages are still tentative. Don't trust the details until the first few lectures are done. As soon as possible, you should get onto Piazza and Moodle, the two tools we will be using throughout the term.

When you sign up for Piazza, make sure you are signed up for the correct term (Spring 2018) and lecture (B lecture) of CS 173. Ignore any warnings from the Piazza sign-up about requiring a U. Illinois email address: you should be able to register using any email address you like, including an anonymous email id.

Very little appears directly on this page. Routine announcements are posted on Piazza, Moodle, or the notes from each lecture. Check out the menu above for the Lectures page and information on other topics such as course policies, homeworks, and exams.