COMP 232
caution
Please view this webpage in a desktop browser.
2016 Summer
Sec 1.1-1.2-1.3 Discrete Mathematics and Applications
Sec 1.1-1.2-1.3 Miscellaneous Application
Sec 1.4 Predicates and Quantifiers
Sec 1.5 Nested Quantifiers
Sec 1.6 Rules of Inference
Sec 1.7 Introduction to Proofs
Sec 1.8 Proof Methods
Sec 2.1 Sets
Sec 2.2 Operations on Sets
Sec 2.3-2.5 Functions and Cardinality
Sec 4.1 Number Theory
Sec 4.2 Computer Applications of Integers
Sec 4.3 Number Theory
Sec 5.1-5.2 Mathematical Induction
Sec 5.3 Recursive Definitions
Sec 9.1-9.3 Binary Relations
Antisymmetric and Symmetric relations
Asymmetric relation