Skip to main content
CIT 5920 โ€” Fall 2025
Sli.do Ed Discussion PrairieLearn Panopto Gradescope Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Back to homepage

Proof Methods

Nov 11
Class Lecture 20: Introduction to Proofs
๐Ÿ‘จโ€๐Ÿซ Tablet Notes , ๐Ÿ“ Lecture Notes (ยง13), ๐ŸŽฅ Recording (Panopto), ๐Ÿ“š Davies ยง9.1-9.3 (pp. 267-276)
Nov 13
Class Lecture 21: Direct Proofs and Proof by Contrapositive
๐Ÿ‘จโ€๐Ÿซ Tablet Notes , ๐Ÿ“ Lecture Notes (ยง13), ๐ŸŽฅ Recording (Panopto), ๐Ÿ“š Davies ยง9.4-9.5 (pp. 276-283)
Nov 14
Recitation Recitation 10: Exercises on Proofs

Resource not found.

Nov 18
Class Lecture 22: Proof by Contradiction
๐Ÿ‘จโ€๐Ÿซ Tablet Notes , ๐Ÿ“ Lecture Notes (ยง14), ๐ŸŽฅ Recording (Panopto), ๐Ÿ“š Davies ยง9.6 (pp. 283-287)
Homework Homework 7: Proofs
Due Mon Nov 25 at 11:59PM, Online Part,

Resource not found.

Nov 20
Class Lecture 23: Mathematical Induction (Weak Induction)
๐Ÿ‘จโ€๐Ÿซ Tablet Notes , ๐Ÿ“ Lecture Notes (ยง15), ๐ŸŽฅ Recording (Panopto), ๐Ÿ“š Davies ยง9.7 (pp. 287-295)
Nov 21
Recitation Recitation 11: Exam 2 Review
๐Ÿ“

Resource not found.

,

Resource not found.

Nov 25
Exam Exam 2: Probability, Logic, and Proofs
๐Ÿ“

Resource not found.

Nov 27 - Dec 1
๐Ÿฆƒ Thanksgiving Break ๐Ÿ‚ Enjoy time with family and friends! Rest and recharge! ๐Ÿ๐Ÿฅง
Dec 1 (?)
Class Lecture 24: Strong Induction and Structural Induction
๐Ÿ‘จโ€๐Ÿซ Tablet Notes , ๐Ÿ“ Lecture Notes (ยง16), ๐ŸŽฅ Recording (Panopto), ๐Ÿ“š Davies ยง9.8 (pp. 295-301)