**Policies:** No books, calculators or computers allowed on
the exam. **One page (one sided) of handwritten notes allowed
on the exams.**

Exam questions are similar to homework questions, but doable in shorter amount of time. Best way to study is to do the homework and then do as many other problems in the covered sections as possible.

Material covered:

Chapter 1:

1.1 Propositional Logic

1.2 Applications of Propositional Logic

1.3 Propositional Equivalences

1.4 Predicates and Quantifiers

1.5 Nested Quantifiers

1.6 Rules of Inference

1.7 Introduction to Proofs

1.8 Proof Methods and Strategy

Chapter 2:

2.1 Sets

2.2 Set Operations

2.3 Functions

2.4 Sequences and Summations

Chapter 3:

3.1 Algorithms

3.2 The Growth of Functions

3.3 Complexity of Algorithms