|
Course Mechanics
Course Outline & Preparatory
Homework
Due Dates
Standard Homework
Teaching Staff &
Office Hours
Anonymous
Feedback
Web
Discussion Forum for this Class
|
|
Venues and Dates
Announcements
-
Carlo will not be able to hold office hours on Thursday,12/7. Please
send him email for an alternate appointment if needed, or talk with Seda.
-
Homework 5 is now available, and due
on December 8 at recitation.
-
Homework 4 is now available, and due
on Monday, November 13 at the beginning of class.
-
Homework 3 is now available, and due on
October 27 at recitation.
-
For better coverage, the schedule for Homework 3 has been shifted
forward in time by one week. The assignment will be handed out on
October 20 and will be due on October 27.
-
Homework 2 is now available, and due on
September 29 at recitation.
-
The productions for Abbreviated CNF in Table 7 of note 1 were wrong in
the document versions posted before September 11, 2006. Please make sure
you have the correct version.
-
Homework 1 is now available, and due
on September 15 at recitation. A version that appeared on the
evening of 9/7 had a typo in question 5b. The string 'yyyxxx' should be
replaced with 'yyyzzz'. This has been corrected on the posted version of
the assignment. Thanks for Matthew for bringing this up.
-
An unexpected, recurrent commitment on Mondays and Wednesdays has
forced Carlo to move his office hours. Please make a note of his new
hours shown below.
-
Please read the course mechanics
carefully.
-
Some of the links on this page (including homework problems) are not
yet live. This material will appear as needed.
Textbook
-
Kenneth H. Rosen. Discrete Mathematics and Its Applications.
Sixth Edition. McGraw-Hill, New York, NY, 2006.
Course Outline, Readings, and Problems
for Class Discussion
This course covers basic concepts of discrete
mathematics used in computer science and other disciplines that involve formal
reasoning.
|
Module |
# of Lectures
(Estimate) |
Readings |
Warm-up Problems |
|
Introduction |
1 |
--- |
--- |
|
Propositional Logic |
1 |
1.1, 1.2, Note 1, p. 1-12 |
1.1: 2, 10, 12, 14, 24, 34
1.2: 10, 12 |
|
Predicate Logic |
1 |
1.3, 1.4, Note 1 |
1.3: 10, 18, 60
1.4: 6, 20, 28 |
|
Inference and Proofs |
2 |
1.5, 1.6, Note 1 |
1.5: 4, 18
1.6: 18, 26 |
|
Sets |
1 |
2.1, 2.2 |
2.1: 8, 12, 22, 30
2.2: 4, 20, 50 |
|
Functions |
1 |
2.3 |
2.3: 2, 12, 16, 18, 26, 38 |
|
Integers and Division |
1 |
3.4, 3.5 |
3.4: 10abc, 16
3.5: 12abc, 20abc, 24 |
|
In-Class Exam 1 (Closed book, closed notes, sections above) |
|
Sequences and Series |
1 |
2.4 |
2.4: 4, 8, 18, 24, 40 |
|
Technical
Proof Methods |
2 |
1.7, 4.1 |
1.7: 6, 12, 28
4.1: 20 |
|
Recursion and Trees |
2 |
pp. 294-303 |
4.3: 4, 8, 22, 48 |
|
Basic Counting |
1 |
5.1, 5.2, Note 2 |
5.1: 8, 16, 24
5.2: 4, 6 |
|
Permutations & Combinations |
2 |
5.3, 5.4, 5.5 |
5.3: 8, 12
5.4: 4, 12
5.5: 2, 12 |
|
In-Class Exam 2 (Closed book, closed notes, sections above not in Exam 1) |
|
Recurrence |
2 |
7.1, 7.2 |
7.1: 2abc, 8abc
7.2: 2abcd, 4ab |
|
Probability |
2 |
6.1, 6.2, 6.3, 6.4 |
6.1: 22, 24, 36
6.2: 2, 26
6.3: 2
6.4: 2, 4, 24 |
|
Graphs |
3 |
9.1, 9.2, 9.3, 9.4, 9.5 |
9.1: 10, 20
9.2: 2, 4, 8, 20
9.3: 4, 12, 38, 40
9.4: 2, 14ab, 30
9.5: 4, 32 |
|
Final Exam (Closed book, closed notes. Only on
probability) |
Calendar for Reading and Homework Due Dates (Evolving)
| Lecture |
Recitation |
| Monday |
Wednesday |
Friday |
| Aug 28 |
(Intro) |
Aug 30 |
1.1, 1.2,
pp. 792-3, Note 1, pp. 1-12 |
Sep 1 |
|
| Sep 4 |
Note 1,pp. 12-16 |
Sep 6 |
1.3, 1.4, Note 1,
pp. 18-25 |
Sep 8 |
|
| Sep 11 |
1.5, 1.6, Note 1,
pp. 25-36 |
Sep 13 |
Note 1,
pp. 36-40 |
Sep 15 |
HW1 |
| Sep 18 |
2.1, 2.2 |
Sep 20 |
2.3 |
Sep 22 |
|
| Sep 25 |
2.3 |
Sep 27 |
2.4 |
Sep 29 |
HW2 |
| Oct 2 |
2.3, 2.4 |
Oct 4 |
2.4 |
Oct 6 |
Test 1 |
| Oct 9 |
Fall break |
Oct 11 |
Welcome back! |
Oct 13 |
|
| Oct 16 |
2.4, 1.7, 4.1 |
Oct 18 |
4.1, pp.294-303 |
Oct 20 |
|
| Oct 23 |
pp.294-303, 5.1,
Note 2 |
Oct 25 |
5.2,
Note 2 |
Oct 27 |
HW3 |
| Oct 30 |
5.3, 5.4, 5.5 |
Nov 1 |
5.3, 5.4, 5.5 |
Nov 3 |
|
| Nov 6 |
5.5 |
Nov 8 |
6.1, 6.2 |
Nov 10 |
|
| Nov 13 |
6.2, 6.3 HW4 |
Nov 15 |
6.3, 6.4 |
Nov 17 |
Test 2 |
| Nov 20 |
|
Nov 22 |
Thanksgiving |
Nov 24 |
Thanksgiving |
| Nov 27 |
|
Nov 29 |
|
Dec 1 |
|
| Dec 4 |
|
Dec 6 |
|
Dec 8 |
HW5 |
| Tuesday, Dec
12, 7-10PM: Final Exam |
Standard
Homework Assignments
Homework assignments are due at recitation on the days listed below.
Anonymous Feedback
Teaching Staff
-
Carlo
Tomasi, Instructor
E-mail address:
tomasi@cs.duke.edu
Office Hours: Thu and Fri 4:30-5:30
Office Location: D213 LSRC
Office Phone: (919) 660-6539
FAX: (919) 660-6519
-
Seda Vural,
Teaching Assistant
E-mail address:
seda@cs.duke.edu
Office Hours: Tue and Thu 1:30-2:30. Fri 11-12
Office Location: LSRC D103
Office Phone: (919) 660-6501
FAX: (919) 660-6519
|
