COT 3100 Course Notes

Topic	doc/x	pdf	In Class Written
Problem Solving	D = RT Logarithms	D = RT Logarithms	Intro (8/25/20)
Logic	Logic Rules Bitwise Ops Inference Quantifiers	Logic Rules Bitwise Ops Inference Quantifiers	Logic (8/27/20) Logic (9/1/20) Logic/Proof (9/3/20)
Proof Techniques	Example Proofs	Example Proofs
Sets	Set Theory Set Proofs Cart. Prod.,Power Sets Set Problems	Set Theory Set Proofs Cart. Prod.,Power Sets Set Problems	Sets #1 (9/8/20) Sets #2 (9/10/20) Sets #3 (9/15/20)
Number Theory	Num. Theory Euclid's Alg More Number Theory	Num. Theory Euclid's Alg More Number Theory	Num Theory #1 (9/22/20) Num Theory #2 (9/24/20) Num Theory #3 (9/29/20) Num Theory #4 (10/1/20) primesieve.c(10/1/20)
Mathematical Induction	Induction 1 Induction 2 Induction 3	Induction 1 Induction 2 Induction 3	Induction #1 (10/8/20) Induction #2 (10/13/20) Induction #3 (10/15/20) Induction #4 (10/20/20)
Counting	Counting Combinations Combinations w/Repetition Sample Problems More Sample Problems Countability	Counting Combinations Combinations w/Repetition Sample Problems More Sample Problems Countability	Counting #1 (10/27/20) tennessee.c (10/27/20) Combinations #1 (10/29/20) Combos w/Repetition (11/3/20) Probs/Countability (11/5/20) numsols.py (11/5/20)
Probability	Intro Prob DRV, Binomial Dist. Sample Qs More Qs Even More Qs	Intro Prob DRV, Binomial Dist. Sample Qs More Qs Even More Qs	Probs/Probability #1 (11/10/20) montyhall2.c (11/10/20) Probs/Probability #2 (11/12/20) birthday.c (11/12/20) birthday.py (11/12/20) Probs/Probability #3 (11/17/20) Probs/Probability #4 (11/19/20)
Relations	Relations 1 Relations 2 Sample Qs	Relations 1 Relations 2 Sample Qs	Relations (11/24/20)
Functions	Functions 1 Functions 2 Function Practice Problems	Functions 1 Functions 2 Function Practice Problems	Functions (12/1/20) Final Exam Review