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