Description

Discrete Mathematics is to computer science as words and grammar are to English. Solving a problem in computer science without discrete math is like writing a novel with garbled grammar or a confusing plot. It just won't work. Your thinking will be muddled, and your code just won't work. Worse yet, your code will likely have hidden bugs that won't be found until an end-user complains (or explodes ...). At that point, fixing the bug is costly, or even impossible.

This course teaches you the fundamentals of logic, proof techniques, induction/recursion, counting, advanced counting (not as easy as it sounds!), relations, and graph theory. These mathematical tools are essential to doing and understanding computer science / computer engineering.

The primary emphasis of the course is mathematical reasoning and problem solving. Equipping you with specific skills (such as tools for solving recurrence relations) is important, but only a secondary goal of this course. You won't find many plug-and-chug type of problems to solve. Many of the problems will require original thought, instead. This is true for the homeworks, quizzes, and exams.

See the syllabus for more details.

General Information

Homework and quiz solutions
See the "Resources" tab above for homework, quiz, and exam solutions.
Other resources
See the "Resources" tab for other class resources, such as a Guide to Writing Proofs and other materials that are freely available with the book.
Instructors
Click the "Staff" tab above for a list of instructors for the classand their office hours.
About the professor
For more information and contact info, see my web page at http://www.cise.ufl.edu/~davis
To post a question or read replies ...
Click the "Q and A" tab at the top of this page.

Announcements

Reminder: final exam Wednesday, 12:30pm to 2:30pm
12/10/13 10:14 AM

Reminder:  our final exam is on Wednesday, Dec 11, from 12:30pm to 2:30pm in the regular classroom.

sample final exams posted
12/07/13 5:04 PM

I've posted some sample final exams.

office hours
12/06/13 11:59 AM

I'm in the office now (noon on Friday) and I'll be here until  5pm.

I will be mostly in the office all next week until the final exam. You're welcome to stop by, but you might want to call first in case I'm in a meeting or if I've stepped out of the office for a moment. My cell phone is 352 359 2812 .

There is a faculty meeting Tuesday from 11am to noon, so I'll be out of the office then.

hw14_ungraded.pdf has been added to class homepage under Resources
12/03/13 3:31 PM

I have posted a suggested HW 14 on Piazza.  This is ungraded, but I will pick at least

one question from this HW to put on the final exam, either verbatim or slightly modified.

I will post the solutions shortly.


Title: hw14_ungraded.pdf
http://www.piazza.com/class_profile/get_resource/hky1wcfqrbq6s0/horlowsy1nd23a


You can view it on the course page: https://piazza.com/ufl/fall2013/cot3100/resources

Staff Office Hours
NameOffice Hours
Roozbeh Ketabi
When?
Where?
Mohamed Gadou
When?
Where?
yifan wang
When?
Where?
John Corring
When?
Where?
Timothy A. Davis
When?
Where?