Meeting Times and Locations

Instructor

Textbook and Resources

Catalog Description

This course covers logic, discrete probability, recurrence relations, Boolean algebra, sets, relations, counting, functions, maps, Big-O notation, proof techniques including induction, and proof by contradiction

Course Outcomes

  1. Apply formal proof techniques, including mathematical induction and proof by contradiction.
  2. Use algorithmic complexity to compare different program designs for a problem.
  3. Solve problems that require logic, sets, combinations, permutations and functions.
  4. Solve problems that require discrete probability.
  5. Solve problems that use basic graph theory.

Graded Items

Grading Policy

Grades will be determined (after any curving takes place) based on your class average as follows:

Late Policy

It is expected that you will turn in homework in person at the beginning of class on the day the Assignment is due; if you will be absent the day an assignment is due, you may submit your homework by email before the start of the class the assignment is due.

Any assignment submitted after the due date will be given the grade of 0%.

For all assignments, you may re-submit the assignment a week following the return of graded assignments with corrections for up-to 50% of the remaining points. For example, if you originally scored 60% on an assignment, you may resubmit a corrected assignment for up-to 20% additional credit. If you scored 0% on an assignment (e.g., because it was not turned in on time), you may gain up-to 50% on the assignment when submitting it during the regrading period.

The final take home exam is to be turned in at the beginning of the last class meeting of the course. Failure to submit by the due date will result in a 0%. As with assignments, if under extenuating circumstances you cannot attend the final course meeting, you may submit the final take home exam via email before the final course meeting begins. The final take home exam cannot be re-submitted for re-grading.

Collaboration Policy

All students should read the MSU Student Conduct Code.

When it comes to assignments, you should do your own work but you may

If you discuss with someone from another team, you are expected to list each person and what you discussed for each problem of each assignment. You may not

Academic misconduct will result in an "F" for the course and being reported to the Dean of Students.

Generative AI Policy

Similar to the collaboration policy, students should treat interacting with Generative AI chatbots (e.g., chatgpt, claude, gemini) as interacting with another student in a separate team. You are expected to completely understand and come-up with solutions yourself (or with your team if applicable).

When it comes to assignments, you may

When you interact with a generative AI on an assignment, you must cite which generative AI chatbot you interacted with for each problem on each assignment. Additionally, you should provide what was discussed with the chatbot and/or provide the prompts used. You may not

Academic misconduct will result in an "F" for the course and being reported to the Dean of Students.

Course Calendar

Schedule is subject to change
Date / Class Recordings Lecture Topic Readings Assignments Due
Wednesday, January 14
Friday, January 16
Intro & Syllabus
Definitions
Ch. 1 Sec. 1-2
Ch. 1 Sec. 3
Monday, January 19
Wednesday, January 21
Friday, January 23
No class - MLK Day
Theorems
Proofs

Ch. 1 Sec. 4
Ch. 1 Sec. 5
Monday, January 26
Wednesday, January 28
Friday, January 30
Counter Examples
Boolean Algebra
Review of Proofs
Ch 1. Sec. 6
Ch 1. Sec. 7
Monday, February 2
Wednesday, February 4
Friday, February 6
Lists
Factorial
Sets
Ch. 2 Sec. 8
Ch. 2 Sec. 9
Ch. 2 Sec. 10
Assignment 1
Monday, February 9
Wednesday, February 11
Friday, February 13
Quantifiers
Set Operations
Relations
Ch. 2 Sec. 11
Ch. 2 Sec. 12-13
Ch. 3 Sec. 14
Monday, February 16
Wednesday, February 18
Friday, February 20
No class - Presidents Day
Equivalance Relations
Partitions

Ch. 3 Sec. 15
Ch. 3 Sec. 16

Assignment 2
Monday, February 23
Wednesday, February 25
Friday, February 27
Binomial Coefficients
Contradition
Smallest Counter-Example
Ch. 3 Sec. 17
Ch. 4 Sec. 20
Ch. 4 Sec. 21
Monday, March 2
Wednesday, March 4
Friday, March 6
Induction
Recurrence
Functions
Ch. 4 Section 22
Ch. 4 Section 23
Ch. 5 Section 24
Assignment 3
Monday, March 9
Wednesday, March 11
Friday, March 13
Real Functions
Big-O Notation
Algorithm Efficiency
Epp Ch. 11.1
Ch. 5 Sec. 19
Epp Ch. 11.2-11.3


Assignment 4
Monday, March 16
Wednesday, March 18
Friday, March 20

No class - Spring Break
Monday, March 23
Wednesday, March 25
Friday, March 27
Probability I
Probability II
Probability III
Ch. 6 Sec. 30
Ch. 6 Sec. 31
Ch. 6 Sec. 32
Monday, March 30
Wednesday, April 1
Friday, April 3
Random Variables
Expectation & Variance
No class - University Day
Ch. 6 Sec. 33
Ch. 6 Sec. 34
Assignment 5
Monday, April 6
Wednesday, April 8
Friday, April 10
Graphs I
Graphs II
Graphs III
Ch. 9 Sec. 47
Ch. 9 Sec. 48
Ch. 9 Sec. 49
Monday, April 13
Wednesday, April 15
Friday, April 17
Trees
Graph Coloring
Catch-Up/Adv Topic
Ch. 9 Sec. 50
Ch. 9 Sec. 52-53
Assignment 6
Monday, April 20
Wednesday, April 22
Friday, April 24
Catch-Up/Adv Topic
Final Presentation Setup
Work Session
Monday, April 27
Wednesday, April 29
Friday, May 1
Work Session
Final Presentations
Final Presentations
Assignment 7
Monday, May 4
Wednesday, May 6
No Class - Finals Week
No Class - Finals Week

Take Home Exam

Last modified: January 14, 2026