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