# Kevin Milans : Teaching : Spring 2011 Math374

Kevin Milans (milans@math.sc.edu)
Office: 307 LeConte
Office Hours: MWF 10:00am-11:30am; and by appointment
Class Meetings: MWF 2:30pm-3:20pm in LeConte 112

Home | Course Syllabus (PDF) | Homework | Grades | Old Announcements

### Course Schedule

 No. Date(s) Class Summary Section(s) Quiz Quiz Soln Comments 1 Jan 12 Introduction, Statements, Symbolic Representation 1.1 - - Syllabus 2 Jan 14 Tautologies and Truth Tables 1.1 - - HW1 assigned - Jan 17 Martin Luther King Day - - - - 3 Jan 19 Formal Proofs in Propositional Logic 1.2 - - - 4 Jan 21 Quantifiers and Predicates 1.3 pdf pdf Quiz 1; HW2 assigned 5 Jan 24 Predicate Logic Translation, Negation, and Validity 1.3 - - - 6 Jan 26 Formal Proofs in Predicate Logic 1.4 - - - 7 Jan 28 Proof of Correctness of Programs 1.6 pdf pdf Quiz 2; HW3 assigned 8 Jan 31 Informal Proofs: Techniques 1.6, 2.1 - - - 9 Feb 2 Informal Proofs; Induction 2.1, 2.2 - - - 10 Feb 4 Induction 2.2 pdf pdf Quiz 3; HW4 assigned 11 Feb 7 More Induction 2.2 - - - 12 Feb 9 Review for Test 1 - - - - 13 Feb 11 Test 1 1.1-1.4, 1.6, 2.1-2.2 pdf pdf HW5 assigned No. Date(s) Class Summary Section(s) Quiz Quiz Soln Comments 14 Feb 14 Euclid's Algorithm and Proofs of Correctness 2.3 - - - 15 Feb 16 Recursive Definitions 2.4 - - - 16 Feb 18 Recurrence Relations 2.5 pdf pdf Quiz 5; HW6 assigned 17 Feb 21 Recurrence Relations 2.5 - - - 18 Feb 23 Analysis of Algorithms, Sets 2.6, 3.1 - - - 19 Feb 25 Sets 3.1 pdf pdf Quiz 6; HW7 assigned 20 Feb 28 More Sets; Countable and Uncountable Sets 3.1 - - - 21 Mar 2 Counting; Inclusion/Exclusion; Pigeonhole Principle 3.2, 3.3 - - - 22 Mar 4 Permutations and Combinations 3.4 pdf pdf Quiz 7; HW8 assigned 23 Mar 14 Permutations and Combinations 3.4 - - - 24 Mar 16 Probability 3.5 - - - 25 Mar 18 Review for Test 2 - - - - 26 Mar 21 Test 2 2.3-2.6, 3.1-3.4; 3.5: through practice 42 pdf pdf HW9 assigned No. Date(s) Class Summary Section(s) Quiz Quiz Soln Comments 27 Mar 23 Binomial Theorem 3.6 - - - 28 Mar 25 Number Theory 3.7 pdf pdf Quiz 9; HW10 assigned 29 Mar 28 Number Theory II 3.7 - - - 30 Mar 30 The Mod Function; The RSA Algorithm 4.5 - - - 31 Apr 1 Functions 4.4 pdf pdf Quiz 10; HW11 assigned 32 Apr 4 Functions II 4.4 - - - 33 Apr 6 Graphs I 5.1 - - - 34 Apr 8 Graphs II 5.1 pdf pdf Quiz 11; HW12 assigned 35 Apr 11 Graphs III 5.1 - - - 36 Apr 13 Trees 5.2 - - - 37 Apr 15 Decision Trees 5.3 pdf pdf Quiz 12; HW13 assigned 38 Apr 18 Test 3 Review - - - - 39 Apr 20 Test 3 3.6,3.7,4.4,4.5,5.1-5.3 pdf pdf - 40 Apr 22 Huffman Codes 5.4 - - - 41 Apr 25 Review: Final Exam - - - - - May 3 Final Exam: 2pm-5pm - - - -

milans@math.sc.edu