MW 9:15 - 10:30 am @ LCM 101
Office Hours: MW 11AM-12PM @ MSB 352, and by appointment
In addition to my normal office hours, I will hold extended office hours on Friday 5/6 from 12-4PM in MSB 352
This schedule is not final. It may change.
Topics | Subtopics & Slides | Date |
---|---|---|
Introduction | Book | |
Syllabus | ||
Intro | ||
The Foundations: Logic and Proofs | 1.1 Propositional Logic | 1/20 |
1.2 Applications of Prop. Logic | 1/25 | |
1.3 Propositional Equivalences | 1/27 | |
1.4 Predicates and Quantifiers | 2/1 | |
1.5 Nested Quantifiers | 2/3 | |
1.6 Rules of Inference | 2/8 | |
1.7 Intro to Proofs | 2/10 | |
1.8 Proof Methods and Strategy | 2/15 | |
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices | 2.1 Sets | 2/22 |
2.2 Set Operations | 2/24 | |
Midterm | 3/2 | |
2.3 Functions | 3/7 | |
2.4 Sequences and Summations | 3/14 | |
Induction and Recursion | 5.1 Mathematical Induction | 3/16 |
5.3 Recursive Definitions and Structural Induction | 3/28 | |
Counting | 6.1 The Basics of Counting | 3/30 |
6.2 The Pigeonhole Principle | 4/4 | |
6.3 Permutations and Combinations | 4/11 | |
6.4 Binomial Coefficients | 4/13 | |
Discrete Probability | 7.1 An Introduction to Discrete Probability | 4/18 |
7.2 Probability Theory | 4/20 | |
7.4 Expected Value | 4/25 | |
Graphs and Trees | Introduction to Graphs and Trees | 4/27 |
MW in MSB 243
Gilson Dos Santos, 5:30-8:30PM
David Carlyn, 7:00-10:00PM