4104 Upson Hall
Office phone: (607) 255-9537
User id: lucja
4143 Upson Hall
Office phone: (607) 255-7573
User id: pfs
Our email addresses are the appropriate user id followed by @cs.cornell.edu.
Lucja: Mon, Wed 9:45-11 am (after class), Tue, Thu 12-1pm
Peter: Mon, Wed, Thu, Fri 3-4 pm
If you need to meet with us outside of office hours, please do not hesitate to email us for an appointment (but please do email if you can; we appreciate knowing in advance that you will be coming to see us).
CS 280 or equivalent. It is essential that you be familiar with the basics of discrete mathematics, as covered (for example) in CS 280. We will make extensive use of trees, sets, functions, relations, and other key concepts. You should also have a solid understanding of basic mathematical proof techniques, including a good grasp of mathematical induction.
If you have not taken CS 280 or an equivalent course, and/or if you are unsure about your background, please talk to Lucja.