INFO 150, Fall 2024

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 03 Sep L01  Course Overview and First Examples (1.1) 
Thu 05 Sep L02  Number Puzzles and Sequences (1.2)
Mon 09 Sep ---  (END OF ADD/DROP)
Tue 10 Sep L03  Truth-tellers, Liars, and Propositional Logic (1.3)
Thu 12 Sep L04  More Propositional Logic (1.3)
Fri 13 Sep H01  Homework #1 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 16 Sep Q01  Quiz #1 due on Canvas   
Tue 17 Sep L05  Predicates (1.4)
Thu 19 Sep L06  Translating Predicates and Quantifiers (1.4) 
Fri 20 Sep H02  Homework #2 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 23 Sep Q02  Quiz #2 due on Canvas  
Tue 24 Sep L07  Implications (1.5)
Thu 26 Sep L08  Mathematical Writing (2.1) 
Fri 27 Sep H03  Homework #3 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 30 Sep Q03  Quiz #3 due on Canvas  
Tue 01 Oct L09  Proofs About Numbers (2.2)
Thu 03 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 07 Oct ---  NO QUIZ (because of midterm)
Tue 08 Oct L10  Mathematical Induction (2.3) 
Thu 10 Oct L11  More Induction (2.3, 2.4)
Fri 11 Oct H04  Homework #4 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 14 Oct Q04  Quiz #4 due on Canvas (Holiday)
Tue 15 Oct ---  NO CLASS (Monday Schedule)
Thu 17 Oct L12  Sums (2.4), Induction to Prove Correctness (extra)
Fri 18 Oct H05  Homework #5 Assignment Due at 11:59 pm (late day 11:59 Sat)
Mon 21 Oct Q05  Quiz #5 due on Canvas    
Tue 22 Oct L13  Set Definitions and Operations (3.1)
Thu 24 Oct L14  More Operations, Properties of Sets (3.2, 3.3)
Fri 25 Oct H06  Homework #6 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 28 Oct Q06  Quiz #6 due on Canvas    
Tue 29 Oct L15  Functions One-to-One, Onto, and Composition (4.1, 4.2) 
Tue 29 Oct ---  Last Day to Drop With W or Elect Pass/Fail  
Thu 31 Oct L16  Relations and Equivalence Relations (4.4, 4.5)
Fri 10 Nov H07  Homework #7 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 04 Nov Q07  Quiz #7 due on Canvas    
Tue 05 Nov ---  NO CLASS (Election Day Holiday)
Thu 07 Nov X02  SECOND MIDTERM (in-class but 4:00-6:00) on Lectures 10-16 (Chapters 2, 3, 4)

PART III: Counting, Probability, and Graphs

Tue 12 Nov L17  Combinatorics, Basic Rules for Counting (5.1, 5.2)
Thu 14 Nov L18  Combinations and the Binomial Theorem (5.3)
Fri 15 Nov H08  Homework #8 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 18 Nov Q08  Quiz #8 due on Canvas    
Tue 19 Nov L19  Counting Binary Sequences (5.4)
Thu 21 Nov L20  Probability, Sum and Product Rules (6.1, 6.2) 
Fri 22 Nov H09  Homework #9 Assignment Due at 11:59 pm (late day 11:59
Sat)
Mon 25 Nov Q09  Quiz #9 due on Canvas     
Tue 26 Nov L21  Probability in Games of Chance (6.3) (RECORDED LECTURE)

(THANKSGIVING BREAK)

Mon 02 Dec ---  NO QUIZ (break)  
Tue 03 Dec L22  Expected Value in Games (6.4, 6.5)  
Thu 05 Dec L23  Graphs and Trees
Fri 06 Dec H10  Homework #10 Assignment Due at 11:59 pm (late day 11:59 Sat)  
Mon 09 Dec Q10  Quiz #10 due on Canvas     
Tue 10 Dec L24  Paths and Matrices

Final Exam (cumulative) 12 December 3:30-5:30 pm, Morrill (II) room 222


Last modified 6 November 2024