INFO 150, Fall 2025

Syllabus and Course Schedule

Prof. David Mix Barrington

Reading assignments are from Ensley and Crawley: Discrete Mathematics: Mathematial Reasoning and Proof with Puzzles, Patterns, and Games

Class meetings are TuTh 4:00-5:15 in Morrill (III) room 203. There are two midterm exams, using one class period with extra time following.

PART I: Mathematical Problems, Language, and Proofs

Tue 02 Sep L01  Course Overview and First Examples (1.1) 
Thu 04 Sep L02  Number Puzzles and Sequences (1.2)
Mon 08 Sep ---  (END OF ADD/DROP)
Tue 09 Sep L03  Truth-tellers, Liars, and Propositional Logic (1.3)
Thu 11 Sep L04  Predicates, Quantifiers, Translations (1.4)
Fri 12 Sep H01  Homework #1 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 15 Sep Q01  Quiz #1 due on Canvas   
Tue 16 Sep L05  Implications (1.5)
Thu 18 Sep L06  Mathematical Writing (2.1)
Fri 19 Sep H02  Homework #2 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 22 Sep Q02  Quiz #2 due on Canvas
Tue 23 Sep L07  Proofs About Numbers (2.2)
Thu 25 Sep L08  Mathematical Induction (2.3)
Fri 26 Sep H03  Homework #3 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 29 Sep Q03  Quiz #3 due on Canvas  
Tue 30 Sep L09  More Induction (2.3, 2.4)
Thu 02 Oct X01  FIRST MIDTERM (4-6 pm, Morrill (III) 203)
                on Lectures 1-9 (Chapters 1, 2.1-2.2)

PART II: Induction, Sets, Relations, and Functions

Mon 06 Oct ---  NO QUIZ (because of midterm)
Tue 07 Oct L10  Sums (2.4), Induction to Prove Correctness (extra)  
Thu 09 Oct L11  Set Definitions and Operations (3.1)
Fri 10 Oct H04  Homework #4 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 13 Oct Q04  Quiz #4 due on Canvas (Holiday)
Tue 14 Oct L12  More Operations, Properties of Sets (3.2, 3.3)
Thu 16 Oct L13  Functions One-to-One, Onto, and Composition (4.1, 4.2) 
Fri 17 Oct H05  Homework #5 Assignment Due at 11:59 pm (late day 11:59 Sat)
Mon 20 Oct Q05  Quiz #5 due on Canvas    
Tue 21 Oct L14  Relations and Equivalence Relations (4.4, 4.5)
Thu 23 Oct L15  Combinatorics, Basic Rules for Counting (5.1, 5.2)
Fri 24 Oct H06  Homework #6 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 27 Oct Q06  Quiz #6 due on Canvas    
Tue 28 Oct L16  Combinations, Binomial Theorem, Counting Sequences (5.3, 5.4)
Tue 28 Oct ---  Last Day to Drop With W or Elect Pass/Fail  
Thu 30 Oct L17  Probability, Sum and Product Rules (6.1, 6.2)
Fri 31 Oct H07  Homework #7 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 03 Nov Q07  Quiz #7 due on Canvas    
Tue 04 Nov ---  NO CLASS (Election Day Holiday)
Thu 06 Nov X02  SECOND MIDTERM (in-class but 4:00-6:00) on Lectures
10-16 (Chapters 3, 4, 5)

PART III: Counting, Probability, and Graphs

Mon 07 Nov ---  NO QUIZ (because of midterm)
Tue 11 Nov ---  NO CLASS (Veterans's Day Holiday) 
Thu 13 Nov L18  Probability in Games of Chance (6.3)
Fri 14 Nov H08  Homework #8 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 17 Nov Q08  Quiz #8 due on Canvas    
Tue 18 Nov L19  Expected Value, Variance, Normal Distribution (6.3, extra)
Thu 20 Nov L20  Expected Value in Games (6.4)  
Fri 21 Nov H09  Homework #9 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 24 Nov Q09  Quiz #9 due on Canvas     
Tue 25 Nov L21  Expected Value Using Recursion (6.5) (RECORDED LECTURE)

(THANKSGIVING BREAK)

Mon 01 Dec ---  NO QUIZ (break)  
Tue 02 Dec L22  Bayes' Theorem and Inference (not in book)
Thu 04 Dec L23  Graphs and Trees (7.1, 7.2)
Fri 05 Dec H10  Homework #10 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 08 Dec Q10  Quiz #10 due on Canvas     
Tue 09 Dec L24  Paths and Matrices (7.4, adapted)

Final Exam (cumulative) Tue 16 December 3:30-5:30 pm, Morrill (III) room 203


Last modified 8 November 2025