COT 3100C Discrete Mathematics
Instructor: Dr. Pawel Wocjan
Office: HEC 341
Office Hours:
Tue 2:45pm  4:00pm
Thu 1:00pm  2:15pm
Email: (my lastname) AT eecs.ucf.edu
Lecture Time: Tue/Thu 6:00pm  7:15pm
Lecture Location: MAP 260


TA Information:
Lab Section 1 (Friday 10:30am  11:20am in ENG2 105): Lei Wu
Lab Section 2 (Friday 11:30am  12:20pm in ENG2 105): Ramya Pradhan
Lab Section 3 (Friday 2:30pm  3:20pm in HEC 103): Raymond Ho
Lab Section 4 (Friday 3:30pm  4:20pm in HEC 117): Raymond Ho
Text: Rosen, Discrete Mathematics and Its Applications, McGraw Hill
Announcements:
20100429: We have adjusted the final score formula to help everyone's grade. The new formula grades
Exam 2 out of 80 and Final Exam out of 85 (If you scored more than 80 on Exam 2 or 85 on Final Exam,
then you received extra points).
0.2 * ([HW1] + [HW2] + [HW3] + [HW4])/1.65 + 0.25 * [Exam 1 + EC] + 0.25 * [Exam 2] / 0.8 + 0.3 * [Final Exam] / 0.85
The letter grade break down is updated (because of the final score
adjustment) as follows.
Final Score  Letter Grade 
91 or above  A 
78  89.99  B 
67  77.99  C 
below 66.99  F 
Lecture Notes:
20100112: Syllabus
20100112: Lecture 01 Propositional Logic
20100114: Lecture 02 Propositional Logic
20100119: Lecture 03
20100121: Lecture 04
20100126: Lecture 05
20100128: Lecture 06 Proofs
20100128: Lecture 06 with annotation
20100202: Class Cancelled.
20100204: Lecture 07 with annotation
20100209: Mid Term Exam 1 (Key)
20100211: Lecture 08
20100211: Lecture 08 with annotation
20100216: Lecture 09
20100216: Lecture 09 with annotation
20100218: Lecture 10
20100218: Lecture 10 with annotation
20100223: Lecture 11
20100223: Lecture 11 with annotation
20100225: Lecture 12
20100225: Lecture 12 with annotation
20100302: Lecture 13
20100302: Lecture 13 with annotation
20100304: Lecture 14
20100304: Lecture 14 with annotation
20100316: Lecture 15
20100316: Lecture 15 with annotation
20100318: Lecture 16 with annotation
20100330: Lecture 17 with annotation
20100401: Lecture 18 with annotation
20100406: Lecture 19 with annotation
20100408: Lecture 20 with annotation
20100413: Lecture 21 with annotation
20100415: Lecture 22 with annotation
20100420: Lecture 23 with annotation
20100422: Lecture 24 with annotation
Exams:
Midterm Exam 1: Tuesday, 20100209 (Feb 9th), in class. Exam 1 Key
Midterm Exam 2: Tuesday, 20100323 (Mar 23rd), in class. Exam 2 Key
Final Exam: Tuesday, 20100427 (Apr 27th); 4:00pm  6:50pm; in the same room as class meeting.
Homeworks:
Note: You may email your homework (in pdf format) to your TA provided you have used a program
like MSWord or Latex to write up your solutions. Scannedin handwritten notes will not be accepted.
Handwritten homework must be neat and turned in at the beginning of your lab on the due date.
Bonus Points: If you use a program such as MSWord or Latex to type your homework (instead of
handwritten solutions), you will receive one extra point for every 10 points you get in your homework.
Homework 1 (due Friday, 20100205)
Homework 1 Key
Homework 2 (due Friday, 20100226)
Homework 2 Key
Homework 3 (due Friday, 20100305)
Homework 3 Key
Extra Credits 1 : Logic Puzzles (due Friday, 20100319)
Homework 4 (due Friday, 20100416)
Homework 4 Key
Resources:
Past Exam Questions of UCF CS Foundation Exam