Topics for Midterm:
-------------------

Logic: 
(1.1-1.6; 12.1, 12.2)
	- Proving that logical formulas are equivalent: both by truth tables and logical equivalences
        - Know basic rules of equivalence
	- De Morgan's law for negation
	- Quantifiers, negation
	- Translating from English to logic, and logic to English
	- Boolean functions (12.1, 12.2)
	- Know and use rules of inference

Proofs:
(1.7, 1.8)
	- Direct proof
	- Contradiction, contrapositive
	- Proof by cases
	- Prove a collection of statements are equivalent
	- Know how to prove statements rigorously
	- Know how to disprove statements (e.g., counterexample)

Sets:
(2.1, 2.2, 2.5)
	- Set operations: union, intersection, complement, set minus
        - Cartesian product (tuples)
        - Power set
	- Set relations: element of, subset of, equality
	- Know how to prove two sets are the same
	- De Morgan's law for sets
	- Cardinality 

Functions:
(2.3)
	- Definition of a function: domain, codomain, and the mapping
	- Injection, Surjection, Bijection - you should be able to prove or disprove a function is any of these, and give examples
	- Function composition, inverse

Sequences and Series (Summations):
(2.4)
	- Know the geometric an arithmetic progressions and series

Induction:
(5.1, 5.2)
        - Weak induction, strong induction
	- Be able to perform inductive proofs
	- Know the difference between weak and strong induction