Topics
|
Subtopics
|
Slides
|
Introduction
|
-
|
pdf
|
The Foundations: Logic and Proofs
|
Propositional Logic
|
pdf
|
|
Applications of Prop. Logic
|
pdf
|
|
Propositional Equivalences
|
pdf
|
|
Predicates and Quantifiers
|
pdf
|
|
Nested Quantifiers
|
pdf
|
|
Rules of Inference
|
pdf
|
|
Intro to Proofs
|
pdf
|
|
Proof Methods and Strategy
|
pdf
|
Basic Structures: Sets, Functions, Sequences, Sums, and
Matrices
|
Sets
|
pdf
|
|
Set Operations
|
pdf
|
|
Functions
|
pdf
|
|
Sequences and Summations
|
pdf
|
Induction and Recursion
|
Mathematical Induction
|
pdf
|
|
Recursive Definitions and Structural Induction
|
pdf
|
Counting
|
The Basics of Counting
|
pdf
|
|
The Pigeonhole Principle
|
pdf
|
|
Permutations and Combinations
|
pdf
|
|
Binomial Coefficients
|
pdf
|
Discrete Probability
|
An Introduction to Discrete Probability
|
pdf
|
|
Probability Theory
|
pdf
|
|
Expected Value
|
pdf
|
Graphs and Trees
|
Introduction to Graphs and Trees
|
pdf
|
|
QUIZZES
- Quiz #1 (01/17/2012,
in class)
- Quiz #2
(01/26/2012, in class)
- Quiz #3
(02/07/2012, in class)
- Quiz #4
(02/16/2012, in class)
- Quiz #5
(03/01/2012, in class)
- Quiz #6
(03/13/2012, in class)
- Quiz #7
(03/27/2012, in class)
- Quiz #8
(04/05/2012, in class)
- Quiz #9
(04/17/2012, in class)
HOMEWORKS
- Homework #1 (due
01/24/2012)
- Homework #2 (due
02/02/2012)
- Homework #3 (due
02/14/2012)
- Homework #4 (due
02/21/2012)
- Homework #5 (due
03/01/2012)
- Homework #6 (due
03/13/2012)
- Homework #7 (due
03/27/2012)
- Homework #8 (due
04/10/2012)
- Homework #9 (due
04/24/2012)
Extra Credit Problems (optional, due 04/19/2012): doc pdf
EXAMS
- MidTerm: Thursday, February 23, 2012, 12:30
- 01:45 pm
Topics covered: Propositional Logic,
Applications of Prop. Logic, Propositional Equivalences, Predicates and
Quantifiers, Nested Quantifiers, Rules of Inference, Intro to Proofs, Proof
Methods and Strategy, Sets and Set Operations Info
MidTerm material review is on Tuesday, February
21, 2012
- Final Exam: Wednesday, May 2, 2012, 12:45 - 3:00 p.m.
Topics covered: Functions, Sequences and
Summations, Mathematical Induction, Recursive Definitions and Structural
Induction, The Basics of Counting, The Pigeonhole Principle, Permutations and
Combinations, Binomial Coefficients, An Introduction to Discrete Probability,
Probability Theory, Expected Value Info
Final Exam material review is on Thursday, April 26,
2012
|