# Kevin Milans : Teaching : Fall 2011 Math374

Kevin Milans (milans@math.sc.edu)
Office: 314C LeConte
Office Hours: MW 9:30am-11:00am and by appointment
Class Meetings: TuTh 2:00pm-3:15pm in LC 112

Home | Course Syllabus (PDF) | Homework | Grades

### Course Schedule

 No. Date Class Summary Section(s) Quiz Quiz Soln Comments 1 Aug 18 Statements; Logical Connectives 1.1 - - HW1 assigned. 2 Aug 23 Tautologies; Propositional Logic 1.1,1.2 - - - 3 Aug 25 Quantifiers; Predicates 1.3 pdf pdf Quiz 1 4 Aug 30 Negation and Quantifiers; Validity; Predicate Logic 1.3, 1.4 - - HW2 assigned. 5 Sep 1 Predicate Logic; Proof Techniques 1.4, 2.1 - - - 6 Sep 6 Proof Techniques 2.1 - - - 7 Sep 8 Induction 2.2 pdf pdf Quiz 2 8 Sep 13 Test 1 Review - - - - 9 Sep 15 Test 1 1.1-1.4, 2.1 pdf pdf - No. Date Class Summary Section(s) Quiz Quiz Soln Comments 10 Sep 20 More on Induction; Intro to Algorithms and Analysis 2.2,2.6 - - HW3 assigned. 11 Sep 22 Proofs of Correctness of Algorithms I 1.6 - - - 12 Sep 27 Proofs of Correctness of Algorithms II; Euclidean Algorithm 2.3 - - - 13 Sep 29 Recursive Definitions and Algorithms 2.4 pdf pdf Quiz 3 14 Oct 4 Recurrence Relations; Sets 2.5, 3.1 - - HW4 assigned. 15 Oct 6 Sets; Counting 3.1,3.2 - - - 16 Oct 11 Counting; Inclusion-Exclusion 3.2,3.3 - - - 17 Oct 13 Review Session; Quiz 4 - pdf pdf Quiz 4; Drop Deadline 18 Oct 18 Test 2: 1.6, 2.2-2.5, 3.1, 3.2 - pdf pdf - No. Date Class Summary Section(s) Quiz Quiz Soln Comments 19 Oct 25 Pigeonhole Principal; Permutations and Combinations 3.3,3.4 - - HW5 assigned. 20 Oct 27 Binomial Theorem; Number Theory 3.6,3.7 - - - 21 Nov 1 Number Theory; Relations 3.7,4.1 - - - 22 Nov 3 Relations; Functions 4.4 pdf pdf Quiz 5 23 Nov 8 Functions; Modular Arithmetic 4.4,4.5 - - HW6 assigned. 24 Nov 10 RSA; Graphs 4.5,5.1 - - - 25 Nov 15 Review for Test #3; Quiz 6 - pdf pdf Quiz 6 26 Nov 17 Test 3: 3.3, 3.4, 3.6, 3.7, 4.1, 4.4, 4.5 - pdf pdf - No. Date Class Summary Section(s) Quiz Quiz Soln Comments 27 Nov 22 Graphs II: Degree-Sum Formula, Isomorphism, Bipartite Graphs 5.1 - - - 28 Nov 29 Graphs III: Planar Graphs, Kuratowski's Theorem 5.1 - - - 29 Dec 1 Review for Final - - - Practice Materials for Final Exam - Dec 7 Final Exam, 2:00pm-5:00pm - - - Practice Materials for Final Exam

milans@math.sc.edu