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)

SYLLABUS:

•Propositional Logic: Propositions, logical operators, conditional statements, compound proposi-

tions.

•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.

2