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 |