MTH 225(A) Lecture-Modules

#	main material	additional notes (if any)
01.	Introduction to This Course	additional notes
02.	Basics of Symbolic Logic	additional notes
03.	Predicates and Quantifiers	additional notes
04.	Basics of Symbolic Proofs	additional notes
05.	How to Use ProofBuilder	additional notes
06.	Formal Names for Deductions	additional notes
07.	Proof Patterns	additional notes
08.	Sets	additional notes
09.	(Review) Some Basic Math (Algebra, Functions, etc.) Used in Computer Science	additional notes
10.	Some Functions on Integers	additional notes
11.	More Regarding Integers: Divisors	additional notes
12.	Applications of Divisors	additional notes
13.	Induction	additional notes
14.	Counting	additional notes