Assignment |
& Assignments |
||
| Chapter 2.1-2.3 | Logic Fundamentals
Assign # 1 given 8/20 |
Lab cancelled | |
| 2.4-2.5 | Use of Quantifiers | Application of logic in proofs Assign #1 due | |
| 3.1-3.2 | Intro to Set Theory Assign # 2 given 9/3 |
How to write a proof | |
| 3.3-3.4 | Sets | Set problems Assign #2 due | |
| Exam Covers: Chpts 2 and 3 | EXAM # 1 - Thurs 9/19 | Exam Review | |
| Chapter 1.1-1.2 | Counting Assign # 3 given 9/24 |
Counting problems | |
| 1.3-1.4 | More Counting |
Counting Assign # 3 due | |
| 4.1 | Induction Assign #4 given 10/8 |
Induction problems | |
| 4.2-4.3 | Recursive Definition and Division Algorithm | Number Theory problems | |
| 4.5 | GCD and Fundamental Thm of Arith. Assign #5 given 10/22 |
LCM stuff Assign #4 due 10/22 | |
| 5.1-5.2,5.6 | Functions and Relations | Functions and relation problems | |
| Exam covers: Chpts 1 and 4, 5.1-5.2, 5.6, 7.1-7.4 | EXAM # 2 - Thurs. 11/7 | Exam Review Assign #5 due 11/5 | |
| 7.1-7.4 | Equiv. Relations Assign # 6 given 11/13 |
Equiv. Relations problems | |
| 6.1-6.3 | Regular Languages and Finite State Machines | None | |
| None | Final Exam Review | Exam Review Assign #6 due 11/26 | |
Exam |
TBA |