Instructor : Liming Cai
Office: 544 Boyd
Phone : 2-6081
Email : cai@cs.uga.edu
Office hours: 1:00-2:00 M and 1:30-2:30 R or by Appointment
Class times:: 11:15-12:05M and 11:00-12:15 TR
Teaching assistant: Amir Asiaee
Email: aha@uga.edu
Office hours: 9:00-11:00TR
Lecture Notes: 1,
2,
3,
4,
5,
6
Homework Assignments: 1,
2, 3,
4, 5,
6, 7,
8, 9.
Course contents:
This course studies logic and the mathematical tools used in Computer Science. It first introduces logic and proof techniques. Then it covers many common mathematical structures and tools using the skills mastered earlier in the course.
Prerequisites:
CSCI CSCI 1301-1301L, MATH 1113
Text:
Tentative schedule:
Part I: Introduction to logic and proofs: Chapters 1-4.
Part II. Advanced counting: Chapters 5-7.
Part III. Relation, graph, and tree: Chapters 8-10.
Part IV. Boolean algebra and computational models: Chapters 11-12.
Grading policy:
Homework: 40%
Test 1 (Part I): 15%
Test 2 (Parts II-III): 15%
Final exam (Comprehensive): 30%
Academic
Dishonesty:
It is expected that the work you submit is your own. Plagiarism and other
forms of academic dishonesty will be handled within the guidelines of the
Student Handbook. The usual penalty for academic dishonesty is loss of credit
for the assignment in question; however, stronger measures may be taken when
conditions warrant.