CS 242, Section 001 Sonoma State University Spring, 2027
 
Discrete Structures for Computer Science
Instructor: Henry M. Walker

Lecturer, Sonoma State University
Professor Emeritus of Computer Science and Mathematics, Grinnell College

This Course is Under Development
Substantial Revisions are Expected Through Summer and Fall, 2026
Expect Complete/Updated Content in January 2027

Notes:


Tentative Class Schedule

Tuesday Thursday
January 26 Getting Started  (Class 1): 
  • Introductions
  • Quick Course Overview
  • Home Page / Syllabus / Schedule
  • Clicker set up
  • Status Check—where are we really?
Application Theme 1: Graphs
  • Readings for Today (and Thursday):
    • 13.1 Introduction to Graphs
    • 13.2 Graph Representations
January 28  (Class 2): Application Theme 1: Graphs
Readings for this Class:
  • 13.3 Graph Isomorphism
  • 13.4 Walks, trails, circuits, paths, and cycles

Before-Class Homework App 1A
  • Participation Activities for this Class:
    • 13.3 Graph Isomorphism
    • 13.4 Walks, trails, circuits, paths, and cycles
  • Challenge Activities for this Class:
    • 13.1 Introduction to Graphs
    • 13.2 Graph Representations
February 2  (Class 3): Unit 1: Logic and Proof
Readings for this Class:
  • 1.1 Propositions and Logical Operations
  • 1.2 Evaluating Compound Propositions
  • 1.3 Conditional Statements

Before-Class Homework App 1B
  • Participation Activities for this Class:
    • 1.1 Propositions and Logical Operations
    • 1.2 Evaluating Compound Propositions
    • 1.3 Conditional Statements
  • Challenge Activities for this Class:
    • 13.3 Graph Isomorphism
    • 13.4 Walks, trails, circuits, paths, and cycles

Due: *Assignment 1 (Graph Fundamentals)
February 4  (Class 4): Unit 1: Logic and Proof
Readings for this Class:
  • 1.4 Logical Equivalence
  • 1.5 Laws of Propositional Logic

Before-Class Homework 1A
  • Participation Activities for this Class:
    • 1.4 Logical Equivalence
    • 1.5 Laws of Propositional Logic
  • Challenge Activities for this Class:
    • 1.1 Propositions and Logical Operations
    • 1.2 Evaluating Compound Propositions
    • 1.3 Conditional Statements

In-class Quiz 1
February 9  (Class 5): Unit 1: Logic and Proof
Readings for this Class:
  • 1.6 Predicates and Quantifiers
  • 1.7 Quantified Statements
  • 1.8 De Morgan's law for quantified statements
  • 1.9 Nested Quantifiers (up to, but not including, De Morgan's Law with Nested Quantifiers)

Before-Class Homework 1B
  • Participation Activities for this Class:
    • 1.6 Predicates and Quantifiers
    • 1.7 Quantified Statements
    • 1.8 De Morgan's law for quantified statements
  • Challenge Activities for this Class:
    • 1.4 Logical Equivalence
    • 1.5 Laws of Propositional Logic

Due: *Assignment 2 (Propositions and Equivalence)
February 11  (Class 6): Unit 1: Logic and Proof
Readings for this Class:
  • 1.11 Logical Reasoning
  • 1.12 Rules of Inference with Propositions
  • 1.13 Rules of Inference with Quantifiers

Before-Class Homework 1C
  • Participation Activities for this Class:
    • 1.11 Logical Reasoning
    • 1.12 Rules of Inference with Propositions
    • 1.13 Rules of Inference with Quantifiers
  • Challenge Activities for this Class:
    • 1.6 Predicates and Quantifiers
    • 1.7 Quantified Statements
    • 1.8 De Morgan's law for quantified statements

In-class Quiz 2
February 16  (Class 7): Unit 1: Logic and Proof
Readings for this Class:
  • 2.1 Mathematical Definitions
  • 2.2 Introduction to Proofs

Before-Class Homework 1D
  • Participation Activities for this Class:
    • 2.1 Mathematical Definitions
    • 2.2 Introduction to Proofs
  • Challenge Activities for this Class:
    • 1.11 Logical Reasoning
    • 1.12 Rules of Inference with Propositions
    • 1.13 Rules of Inference with Quantifiers

Due: *Assignment 3 (Predicates, Quantifiers, and Rules of Inference)
February 18  (Class 8): 

In-class Test 1
February 23  (Class 9): Unit 1: Logic and Proof
Readings for this Class:
  • 2.3 Best Practices and Common Errors in Proofs
  • 2.4 Writing Direct Proofs

Before-Class Homework 1E
  • Participation Activities for this Class:
    • 2.3 Best Practices and Common Errors in Proofs
    • 2.4 Writing Direct Proofs
  • Challenge Activities for this Class:
    • 2.1 Mathematical Definitions
    • 2.2 Introduction to Proofs
February 25  (Class 10): Unit 1: Logic and Proof
Readings for this Class:
  • 2.5 Proof by Contrapositive
  • 2.6 Proof by Contradiction
  • 2.7 Proof by Cases

Before-Class Homework 1F
  • Participation Activities for this Class:
    • 2.5 Proof by Contrapositive
    • 2.6 Proof by Contradiction
    • 2.7 Proof by Cases
  • Challenge Activities for this Class:
    • 2.3 Best Practices and Common Errors in Proofs
    • 2.4 Writing Direct Proofs

In-class Quiz 3
March 2  (Class 11): Unit 2: Sets, Functions, and Boolean Algebra
Readings for this Class
  • Elements of Sets (Chapter 3)
    • 3.1 Sets and subsets
    • 3.2 Sets of sets
    • 3.3 Union and intersection
    • 3.4 More set operations
Homework for this Class 1G
  • Participation Activities for the Class
    • 3.1 Sets and subsets
    • 3.2 Sets of sets
    • 3.3 Union and intersection
    • 3.4 More set operations
  • Challenge Activities for this Class:
    • 2.5 Proof by Contrapositive
    • 2.6 Proof by Contradiction
    • 2.7 Proof by Cases

Due: *Assignment 4 (Sets and More Proofs)
March 4  (Class 12): Unit 2: Sets, Functions, and Boolean Algebra
Readings for this Class:
  • 3.5 Set identities
  • 3.6 Cartesian products
  • 4.1 Definitions of Functions
  • 4.2 Floor and Ceiling Functions
  • 4.3 Properties of Functions (i.e., 1-1, onto)

Before-Class Homework 2A
  • Participation Activities for this Class:
    • 3.5 Set identities
    • 3.6 Cartesian products
    • 4.1 Definitions of Functions
    • 4.2 Floor and Ceiling Functions
    • 4.3 Properties of Functions (i.e., 1-1, onto)
  • Challenge Activities for this Class:
    • 3.1 Sets and subsets
    • 3.2 Sets of sets
    • 3.3 Union and intersection
    • 3.4 More set operations

In-class Quiz 4
March 9  (Class 13): Unit 2: Sets, Functions, and Boolean Algebra
Readings for this Class:
  • 4.4 The Inverse of a Function
  • 4.5 Composition of Functions
  • 4.6 Logarithms and Exponents

Before-Class Homework 2B
  • Participation Activities for this Class:
    • 4.4 The Inverse of a Function
    • 4.5 Composition of Functions
    • 4.6 Logarithms and Exponents
  • Challenge Activities for this Class:
    • 3.5 Set identities
    • 3.6 Cartesian products
    • 4.1 Definitions of Functions
    • 4.2 Floor and Ceiling Functions
    • 4.3 Properties of Functions (i.e., 1-1, onto)

Due: *Assignment 5 (More Proofs and Functions)
March 11  (Class 14): Unit 2: Sets, Functions, and Boolean Algebra
Readings for this Class:
  • 5.1 An Introduction to Boolean Algebra
  • 5.2 Boolean Functions

Before-Class Homework 2C
  • Participation Activities for this Class:
    • 5.1 An Introduction to Boolean Algebra
    • 5.2 Boolean Functions
    • 5.6 Gates and Circuits
  • Challenge Activities for this Class:
    • 4.4 The Inverse of a Function
    • 4.5 Composition of Functions
    • 4.6 Logarithms and Exponents

In-class Quiz 5
March 16  (Class 15): Unit 2: Sets, Functions, and Boolean Algebra
Readings for this Class:
  • 5.6 Gates and Circuits

Before-Class Homework 2D
  • Challenge Activities for this Class:
    • 5.1 An Introduction to Boolean Algebra
    • 5.2 Boolean Functions
    • 5.6 Gates and Circuits

Due: *Assignment 6 (Functions, Boolean Algebra, Gates, and Circuits)
March 18  (Class 16): Test 2
March 23 Spring Break
Tuesday, March 23
March 25 Spring Break
Thursday, March 25
March 30  (Class 17): Application Theme 2: Trees
First Class after Spring Break
Readings for this Class:
  • 14.1 Introduction to Trees
  • 14.2 Tree Application Examples

Before-Class Homework App 2A
  • Participation Activities for this Class:
    • 14.1 Introduction to Trees
    • 14.2 Tree Application Examples
April 1  (Class 18): Application Theme 2: Trees
Readings for this Class:
  • 14.4 Tree Traversals
  • 14.5 Spanning Trees and Graph Traversals

Before-Class Homework App 2B
  • Participation Activities for this Class:
    • 14.4 Tree Traversals
    • 14.5 Spanning Trees and Graph Traversals
  • Challenge Activities for this Class:
    • 14.1 Introduction to Trees
    • 14.2 Tree Application Examples
April 6  (Class 19): Unit 3: Indexing Mathematical Elements and Induction
Readings for this Class:
  • 8.1 Sequences
  • 8.2 Recurrence Relations
  • 8.3 Summation

Before-Class Homework App 2C
  • Participation Activities for this Class:
    • 8.1 Sequences
    • 8.2 Recurrence Relations
    • 8.3 Summation
  • Challenge Activities for this Class:
    • 14.4 Tree Traversals
    • 14.5 Spanning Trees and Graph Traversals

Due: *Assignment 7 (Trees)
April 8  (Class 20): Unit 3: Indexing Mathematical Elements and Induction
Readings for this Class:
  • 8.4 Mathematical Induction

Before-Class Homework 3A
  • Participation Activities for this Class:
    • 8.4 Mathematical Induction
  • Challenge Activities for this Class:
    • 8.1 Sequences
    • 8.2 Recurrence Relations
    • 8.3 Summation

In-class Quiz 6
April 13  (Class 21): Unit 3: Indexing Mathematical Elements and Induction
Readings for this Class:
  • 8.5 More Inductive Proofs
  • 8.6 Strong Induction and Well-ordering

Before-Class Homework 3B
  • Participation Activities for this Class:
    • 8.5 More Inductive Proofs
    • 8.6 Strong Induction and Well-ordering

Due: *Assignment 8 (Tree Traversals, Sequences, and Mathematical Induction)
April 15  (Class 22): Unit 4: Counting
Readings for this Class:
  • 10.1 Sum and Product Rules
  • 10.2 The Bijection Rule
  • 10.3 The Generalized Product Rule

Before-Class Homework 4A
  • Participation Activities for this Class:
    • 10.1 Sum and Product Rules
    • 10.2 The Bijection Rule
    • 10.3 The Generalized Product Rule

In-class Quiz 7
April 20  (Class 23): Unit 4: Counting
Readings for this Class:
  • 10.4 Counting Permutations
  • 10.5 Counting Subsets
  • 10.6 Subset and Permutation Examples

Before-Class Homework 4B
  • Participation Activities for this Class:
    • 10.4 Counting Permutations
    • 10.5 Counting Subsets
    • 10.6 Subset and Permutation Examples
  • Challenge Activities for this Class:
    • 10.1 Sum and Product Rules
    • 10.2 The Bijection Rule
    • 10.3 The Generalized Product Rule

Due: *Assignment 9 (Counting)
April 22  (Class 24): 

Test 3
April 27  (Class 25): Unit 4: Counting
Readings for this Class:
  • 10.7 Counting by Complement
  • 10.8 Permutations with Repetitions
  • 10.9 Counting Multisets

Before-Class Homework 4C
  • Participation Activities for this Class:
    • 10.7 Counting by Complement
    • 10.8 Permutations with Repetitions
    • 10.9 Counting Multisets
  • Challenge Activities for this Class:
    • 10.4 Counting Permutations
    • 10.5 Counting Subsets
    • 10.6 Subset and Permutation Examples
April 29  (Class 26): Unit 4: Counting
Readings for this Class:
  • 10.10 Assignment Problems: Balls in Bins
  • 10.11 Inclusion-Exclusion Principle
  • 10.12 Counting Problem Examples

Before-Class Homework 4D
  • Participation Activities for this Class:
    • 10.10 Assignment Problems: Balls in Bins
    • 10.11 Inclusion-Exclusion Principle
    • 10.12 Counting Problem Examples
  • Challenge Activities for this Class:
    • 10.7 Counting by Complement
    • 10.8 Permutations with Repetitions
    • 10.9 Counting Multisets

In-class Quiz 8
May 4  (Class 27): Unit 4: Counting
Readings for this Class:
  • 12.1 Probability of an Event
  • 12.2 Unions and Complements of Events

Before-Class Homework 4E
  • Participation Activities for this Class:
    • 12.1 Probability of an Event
    • 12.2 Unions and Complements of Events
  • Challenge Activities for this Class:
    • 10.11 Inclusion-Exclusion Principle

Due: *Assignment 10 (More Counting)
May 6  (Class 28): Unit 4: Counting
Readings for this Class:
  • 12.3 Conditional Probability and Independence
  • 12.4 Baynes' Theorem

Before-Class Homework 4F
  • Participation Activities for this Class:
    • 12.3 Conditional Probability and Independence
    • 12.4 Baynes' Theorem
  • Challenge Activities for this Class:
    • 12.1 Probability of an Event

In-class Quiz 9
May 11  (Class 29): Unit 4: Counting
Practice with Counting Problems
Before-Class Homework 4G
  • Challenge Activities for this Class:
    • 12.3 Conditional Probability and Independence
    • 12.4 Baynes' Theorem

Due: *Assignment 11 (Probability)
May 13  (Class 30): Last day of class: Thursday, May 14
  • Questions, comments
  • Semester wrap-up
  • Highlights and Feedback on Course
May 18 Final Exam: Tuesday, May 18
10:30 am - 12:30 pm
Salazar Hall 1034
May 20  
created 22 June 2021
developed and refined Summer 2021
revised for ZyBooks Fall 2025
reorganized Summer and Fall 2026
Valid HTML 4.01! Valid CSS!
For more information, please contact Henry M. Walker at walker@cs.grinnell.edu.