Home | | Schedule | | Assignments | | Lecture Notes
Week 1: Introduction to Discrete Structures
Lecture 1: Wednesday, 1/23, Course overview and introduction.
Lecture 2: Friday, 1/25, Substitution and Equality.
Week 2: Assignment statements, Boolean Expressions
Lecture 3: Monday, 1/28, Assignment Statements
Lecture 4: Wednesday, 1/30, Boolean Expressions
Lecture 5: Friday, 2/1, English to Boolean Translation
Week 3: Propositional Calculus, Equivalence, Negation, Disjunction
Lecture 6: Monday, 2/4, Equivalence
Lecture 7: Wednesday, 2/6, Negation
Friday, 2/8, Class Cancelled due to blizzard
Week 4: Disjunction, Conjunction, Implication
Lecture 8: Monday, 2/11, Disjunction
Lecture 9: Wednesday, 2/13, Conjunction
Lecture 10: Friday, 2/15, Implication
Week 5: Implication
Lecture 11: Monday, 2/18, Implication II
Lecture 12: Wednesday, 2/20, Implication III
Lecture 13: Friday, 2/22, Alternate forms of proof
Week 6: Alternat Proof techniques, Word problems
Lecture 14: Monday, 2/25, Alt. proofs, Word problems
Lecture 15: Wednesday, 2/27, More Word problems
Lecture 16: Friday, 3/1, Word problems III
Week 7: Digital Circuits
Lecture 17: Monday, 3/11, Digital Circuits
Lecture 18: Wednesday, 3/13, Digital Circuits II
Lecture 19: Friday, 3/15, Universal Building Blocks
Review topics for midterm exam.
Week 8: Review, Exam, Quantification
Lecture 20: Monday, 3/18, Review for Exam
Lecture 21: Wednesday, 3/20, Midterm Exam
Lecture 22: Friday, 3/22, Quantification
Week 9: Quantification
Lecture 23: Monday, 3/25, Quantification II
Lecture 24: Wednesday, 3/27, Quantification III
Week 10: More Quantification
Lecture 25: Wednesday, 4/3, Quantification IV
Lecture 26: Friday, 4/5, Predicate Calculus
Week 11: Word Problems with Quantification
Lecture 27: Monday, 4/8, Existential quantification
Lecture 28: Wednesday, 4/10, Word Problems
Lecture 29: Friday, 4/12, Assignment statements
Week 12: Assignments, Conditionals
Lecture 30: Monday, 4/15, More on assignments
Lecture 31: Wednesday, 4/17, Conditional Statements
Lecture 32: Friday, 4/19, Sets
Week 13: Sets, Induction
Lecture 33: Monday, 4/22, Sets II
Lecture 34: Wednesday, 4/24, Induction
Lecture 35: Friday, 4/26, Induction II
Week 14: Loops
Lecture 36: Monday, 4/29, Loops
Lecture 37: Wednesday, 5/1, Loops II
Lecture 38: Friday, 5/3, Combinatorial Analysis.
Week 15: Review for Exam
Lecture 39: Monday, 5/6, Final Exam Review
Review Topics for Final.
Home | | Schedule | | Assignments | | Lecture Notes
Constance Royden--croyden@mathcs.holycross.edu
Computer Science 135--Discrete Structures
Last Modified: January 18, 2013
Page Expires: January 8, 2014