SCHEDULE OF TESTS and ASSIGNMENTS:
Assignment 1 Due Friday, Sept. 21st, 12:00 noon
Assignment 2 Due Friday, October 5th, 12:00 noon
Midterm test Saturday, October 20th (1:00 - 3:00 pm)
Assignment 3 Due Friday, November 2nd, 12:00 noon
Assignment 4 Due Friday, November 16th, 12:00 noon
Final exam (in December)
•Propositional Logic: Propositions, logical operators, conditional statements, compound proposi-
•Logical equivalences: introduction, equivalence laws
•Predicate Logic: introduction, quantiﬁcation.
•Proofs: Direct proofs, proof by contraposition, proof by contradiction, proof by cases, constructive
proofs, nonconstructive proofs
•Sets: introduction, notations, equality of sets, Venn diagrams, cardinality, power sets, cartesian
product, set operations, set identities.
•Set Equalities and Functions: Proving set equalities, introduction to functions, one-to-one func-
tions, onto functions, inverse of a function, composition of functions
•Mathematical Induction: Principle of mathematical induction, examples, induction in non-numerical
settings, strong induction.
•Selected Topics: countable sets, uncountable sets, Boolean algebra
PLAGIARISM: PLEASE READ CAREFULLY. You are encouraged to discuss general ideas
and compare answers with other students. However, you must do your own computation and express
ideas in your own words. Note that any form of cheating (use of unauthorized materials in examinations,
impersonation, copying, etc.) is punishable by a grade of zero for all students involved, and that repeat
oﬀenders may be expelled from the university. Please refer to the university calendar for details.