CSCI/MATH-2610:
Discrete Mathematics for Computer Science
(Prerequisite: CSCI-1301)
Description
The
fundamental mathematical tools used in computer science: sets, relations, and
functions; propositional logic, predicate logic, and inductive proofs; summations,
recurrences, and elementary asymptotics; counting and
discrete probability; undirected and directed graphs; introductory linear
algebra, with applications in computer science.
Instructor:
Don Potter (Professor
of Computer Science and Director of the Institute for Artificial Intelligence)
Email: potter at cs
dot uga dot edu
Office:
GSRC-113 (enter through 111)
Phone:
542-0361
Hours:
By Appointment, Drop In, or _________________
Notes: If you stop-by or call and I'm NOT available, then be sure to leave a note (I'll be glad to call you
back).
Class: 11:15-12:05 Wednesday, 12:30-1:45
Tuesday/Thursday; GEOL 300A/GEOL 154
References:
1) The textbook and its supporting materials. Be sure you take advantage of these.
2) Web
page: http://www.cs.uga.edu/~potter/dismath
Grading:
Assignments 30% (homework,
reports, projects, and presentations)
Exams 40% (Sept 8, Oct 6, Nov 3, Dec 1; 10% each)
Final Exam 30% (Dec 9th,
Thursday at noon)
(Scale: A: 93-100, A-: 90-92, B+: 87-89, B: 83-86, B-: 80-82, C+:
77-79, C: 73-76, C-: 70-72, D: 60-69, F: <60)
Each student is expected to do his/her own work. Any evidence of academic dishonesty will not
be tolerated, and will be subject to disciplinary action. Be sure you are familiar with the
University's academic honesty policy as well as the CS departmental policy
(attached). See http://www.uga.edu/ovpi/honesty/acadhon.htm
for details.
Homework assignments are due at the beginning of class on the date
they are due. Late assignments will not
be accepted. Alternate arrangements must
be made in advance of the due date.
Typically, make-up exams are not provided. In very rare University-approved absence
excuse cases, a make-up exam may be arranged.
NOTE: The course syllabus provides a general plan for the course;
deviations may be necessary.
Tentative
Class Schedule
Date |
Topics &
Readings |
Comments &
Assignments |
Aug 17 |
Introduction & welcome |
|
Aug 17 - 19 |
Ch 1.1 1.5: Logic & Inference |
|
Aug 24 - 26 |
Ch 1.6 2.2: Proofs & Sets |
|
Aug 31 Sept 2 |
Ch 2.3, 11.1 11.2: Boolean Algebra |
|
Sept 7 - 9 |
Ch 11.3 - 11.4, 2.4: Logic Gates & Sums |
Test 1 on Sept 8 |
Sept 14 - 16 |
Ch 3.1 3.3: Algorithms |
|
Sept 21 - 23 |
Ch 3.4 3.5: Integers |
|
Sept 28 - 30 |
Ch 3.5 3.6: More Integers & Algorithms |
|
Oct 5 - 7 |
Ch 4.1 4.2: Induction |
Test 2 on Oct 6 |
Oct 12 - 14 |
Ch 4.3 4.5: Recursive Algorithms |
|
Oct 19 - 21 |
Ch 5.1 5.2: Counting |
|
Oct 26 28 |
Ch 5.3 5.4: Permutations & Combinations |
|
Nov 2 - 4 |
Ch 6.1 6.2: Probability |
Test 3 on Nov 3 |
Nov 9 - 11 |
Ch 6.3 6.4: Bayes Theorem |
|
Nov 16 - 18 |
Ch 7.1 7.2: Recurrences |
|
Nov 30 Dec 2 |
Ch 8.1 8.3: Relations |
Test 4 on Dec 1 |
|
|
|
|
|
|
Dec 9th |
Thursday at noon |
Final Exam Dec 9th at noon |
Computer
Science
Departmental Policy Statement
Academic Honesty
The Computer Science Department recognizes honesty and
integrity as necessary to the academic function of the University. Therefore all students are reminded that the
CS faculty requires compliance with the conduct regulations found in the
Common forms of academic dishonesty against which students should guard are:
Three steps to help prevent academic dishonesty are:
All faculty, staff and students are encouraged to report all suspected cases of academic dishonesty. All cases of suspected academic dishonesty (cheating) will be referred to the Office of Judicial Programs. Penalties imposed by the Office of Judicial Programs may include a failing grade in the course and a notation on the students transcript. Repeated violations are punishable by expulsion from the University. For further information please refer to the UGA Code of Conduct, available at the URL below.
http://www.uga.edu/judicialprograms/2006-07%20Code%20of%20Conduct.pdf
Revised 8/2006