Problem of the Week
Math Club
BUGCAT 2020
Zassenhaus Conference
Hilton Memorial Lecture
This is the official website of math314-02-s19.^{1)} Please read our syllabus…
Our Final Exam is scheduled for 13 May 2019.
Here are documents on basic proof techniques and proof-writing style for your own reference.
Meetings: Monday, Wednesday, Friday 8am - 9:30am in WH G02
Office Hours: Tuesday 10am - 1pm in WH236 (or by appointment in WH310)
Textbook: Mathematics for Computer Science (Lehman, Leighton, Meyer)
Grading: See the course syllabus for a grade distribution.
Content: Propositional logic, methods of proof, naive set theory, functions and relations, induction and recursion, counting, and basic graph theory.
NB: I leave for a visit to the IAS early Tuesday morning–I return after the midterm.