Topics for Test 1:
------------------

Logic:
	- Proving that logical formulas are equivalent: both by truth tables and logical equivalences
	- Translating from English to logic, and logic to English
	- De Morgan's law for negation
	- Quantifiers, negation
	- Translating to and from English with quantifiers and negation of quantifiers
	- Boolean functions
	- Use rules of inference 

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

Sets:
	- 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
	- Notation for unions and intersections of sequences of sets
	- Cardinality (no infinite cardinality, but you should know the definition and be able to find it for finite sets)

Functions:
	- 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):
	- Find formulas that generate a sequence by looking for a pattern
	- Know the geometric series and arithmetic series 
	- Index substitution