CS 172: Discrete Structures
Fall 2023
Administrivia
- Instructor: Phillip Kirlin
- Office hours: Mondays 1-2, Tuesdays 12:30-2, Wednesdays 3-4:30, Thursdays 2-3. Also available by appointment and over Slack.
- Canvas page: Use for grades, online assignment submissions, and assignment solutions.
- Syllabus and additional policies.
Resources
Calendar
- Wed, Aug 23
- Introduction
Propositions, truth tables- Reading Epp 2.1
- Fri, Aug 25
- More truth tables
- Mon, Aug 28
- Conditional statements
- Reading Epp 2.2
- Homework Homework 1, due Wed, Sep 6 in class.
- Reading Epp 2.2
- Wed, Aug 30
- Valid and invalid arguments
- Reading Epp 2.3
- Fri, Sep 1
- Proving valid arguments
- Mon, Sep 4
- Labor Day
- Wed, Sep 6
- Conditional worlds
- Homework Homework 2, due Wed, Sep 13 in class.
- Fri, Sep 8
- More conditional worlds and practice
- Mon, Sep 11
- Practice
- Wed, Sep 13
- Predicate logic, quantifiers
- Reading Epp 3.1
- Homework Homework 3, due Wed, Sep 20 in class.
- Reading Epp 3.1
- Fri, Sep 15
- Negation of quantified statements
- Reading Epp 3.2
- Mon, Sep 18
- Multiple quantifiers
- Reading Epp 3.3
- Wed, Sep 20
- Rules of inference with quantifiers
Reading Epp 3.4- Homework Homework 4, due Wed, Sep 27 in class.
- Fri, Sep 22
- Proofs with quantifiers
- Mon, Sep 25
- Practice
- Wed, Sep 27
- The language of proofs, even and odd
Reading Epp 4.1
Handout (sum of two evens is even) - Fri, Sep 29
- More even and odd
Handout (if \(x\) is even, then \(x+5\) is odd)- Homework Homework 5, due Fri, Oct 6 in class.
- Mon, Oct 2
- Rational and divides
Reading Epp 4.2, 4.3 - Wed, Oct 4
- Divides, quotient-remainder theorem
Reading Epp 4.4 - Fri, Oct 6
- Proof by contradiction
- Reading Epp 4.5
- Mon, Oct 9
- Chapter 4 wrapup/review
- Tue, Oct 10
- Midterm I
- Wed, Oct 11
- Sequences and summations
- Reading Epp 5.1
- Fri, Oct 13
- Induction I
- Reading Epp 5.2
- Mon, Oct 16
- Fall break
- Wed, Oct 18
- Induction II
- Reading Epp 5.3
- Homework Homework 6
- Reading Epp 5.3
- Fri, Oct 20
- Strong induction I
- Reading Epp 5.4
- Mon, Oct 23
- Strong induction II
- Reading Epp 5.5
- Wed, Oct 25
- Induction practice
- Homework Homework 7
- Fri, Oct 27
- Sets I
- Reading Epp 6.1
- Mon, Oct 30
- Sets II: element proofs
- Reading Epp 6.2
- Wed, Nov 1
- Set practice
- Homework Homework 8
- Fri, Nov 3
- Sets III: algebraic proofs
- Reading Epp 6.3
- Mon, Nov 6
- Set practice problems
- Wed, Nov 8
- Catch-up
- Homework Homework 9
- Fri, Nov 10
- Functions introduction
- Reading Epp 7.1
- Mon, Nov 13
- 1-1 and onto
- Reading Epp 7.2
- Tue, Nov 14
- Midterm II
- Wed, Nov 15
- More 1-1 and onto
- Fri, Nov 17
- Function composition
- Reading Epp 7.3
- Mon, Nov 20
- Intro to probability and counting
- Reading Epp 9.1
- Wed, Nov 22
- Thanksgiving break
- Fri, Nov 24
- Thanksgiving break
- Mon, Nov 27
- Multiplication rule
- Reading Epp 9.2
- Wed, Nov 29
- Addition rule
- Reading Epp 9.3
- Fri, Dec 1
- Pigeonhole principle
- Reading Epp 9.4
- Mon, Dec 4
- Combinations
- Reading Epp 9.5
- Wed, Dec 6
- More combinations