Discrete Structures--Spring 2013

    Lecture Notes

    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

    Solutions to review problems

    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