Topics
|
Subtopics
|
Chapters
|
The Foundations: Logic, Sets, and Functions
|
Logic
|
Sec. 1.1
|
|
Propositional Equivalences
|
Sec. 1.2
|
|
Predicates and Quantifiers
|
Sec. 1.3
|
|
Nested Quantifiers
|
Sec. 1.4
|
|
Methods of Proof
|
Sec. 1.5
|
|
Sets
|
Sec. 1.6
|
|
Set Operations
|
Sec. 1.7
|
|
Functions
|
Sec. 1.8
|
Mathematical Reasoning, Induction, and Recursion
|
Proof Strategy
|
Sec. 3.1
|
|
Sequences, Summations
|
Sec. 3.2
|
|
Mathematical Induction
|
Sec. 3.3
|
|
Recursive Definition and Structural Induction
|
Sec. 3.4
|
|
Program Correctness
|
Sec. 3.6
|
Counting
|
The Basics of Counting
|
Sec. 4.1
|
|
The Pigeonhole Principle
|
Sec. 4.2
|
|
Permutations and Combinations
|
Sec. 4.3
|
|
Binomial Coefficients
|
Sec. 4.4
|
|
Generating Permutations and Combinations
|
Sec. 4.6
|
Discrete Probability
|
An Introduction to Discrete Probability
|
Sec. 5.1
|
|
Probability Theory
|
Sec. 5.2
|
|
Expected Value and Variance
|
Sec. 5.3
|
|
|
|
|
|
|
Final Grades (pdf)
|
HOMEWORKS
- Homework #1
(due 01/29/2007) results
(pdf)
- Homework #2
(due 02/05/2007) results
(pdf)
- Homework #3
(due 02/12/2007) results (pdf)
- Homework #4
(due 02/19/2007) results (pdf)
- Homework #5
(due 03/12/2007) results (pdf)
- Homework #6
(due 03/19/2007) results (pdf)
- Homework #7
(due 04/02/2007) results (pdf)
- Homework #8
(due 04/09/2007) results (pdf)
- Homework #9
(due 04/16/2007) results (pdf)
- Homework #10
(due 04/23/2007) results (pdf)
- Homework #11
(due 04/30/2007) results (pdf)
EXAMS
- MidTerm: Wednesday, February 28, 2007,
12:30 - 01:45 pm
·
overview of HWs and of possible
exam problems is on February 26
·
Midterm covers sections 1.1 - 1.8. results (pdf)
- Final Exam: Monday, May 7, 2007, 10:15 - 12:30 p.m.
·
overview of HWs and of possible
exam problems is on May 2
·
Final Exam covers sections 3.1 - 3.4, 3.6, 4.1 – 4.4,
4.6, 5.1 – 5.3. . results (pdf)
|