| Lectures times:
|
Section 12: MWF 1:25 -- 2:15
Section 50: MW 19:00 -- 21:00
|
| Office Times:
|
W 2:30 -- 4
For other times, see the TA for this course.
If this fails, please make an appointment.
|
Handouts
Syllabus
Logic and Proof
The Nature of Negation
Direct and Indirect Proofs
The Universe and Existence
Introduction to Induction
Proof of the Fundamental Theorem of Arithmetic
Assignments
Assignment 1
Assignment 2
Assignment 3
Assignment 4
Assignment Solutions
Solutions to Assignment 1
Solutions to Assignment 2
Solutions to Assignment 3