COT 3100C Discrete Mathematics

Instructor: Dr. Pawel Wocjan
Office: HEC 341
Office Hours:
Tue 2:45pm - 4:00pm
Thu 1:00pm - 2:15pm
E-mail: (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:

2010-04-29: 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 ScoreLetter Grade
91 or above A
78 - 89.99 B
67 - 77.99 C
below 66.99 F

Lecture Notes:
2010-01-12: Syllabus
2010-01-12: Lecture 01 Propositional Logic
2010-01-14: Lecture 02 Propositional Logic
2010-01-19: Lecture 03
2010-01-21: Lecture 04
2010-01-26: Lecture 05
2010-01-28: Lecture 06 Proofs
2010-01-28: Lecture 06 with annotation
2010-02-02: Class Cancelled.
2010-02-04: Lecture 07 with annotation
2010-02-09: Mid Term Exam 1 (Key)
2010-02-11: Lecture 08
2010-02-11: Lecture 08 with annotation
2010-02-16: Lecture 09
2010-02-16: Lecture 09 with annotation
2010-02-18: Lecture 10
2010-02-18: Lecture 10 with annotation
2010-02-23: Lecture 11
2010-02-23: Lecture 11 with annotation
2010-02-25: Lecture 12
2010-02-25: Lecture 12 with annotation
2010-03-02: Lecture 13
2010-03-02: Lecture 13 with annotation
2010-03-04: Lecture 14
2010-03-04: Lecture 14 with annotation
2010-03-16: Lecture 15
2010-03-16: Lecture 15 with annotation
2010-03-18: Lecture 16 with annotation
2010-03-30: Lecture 17 with annotation
2010-04-01: Lecture 18 with annotation
2010-04-06: Lecture 19 with annotation
2010-04-08: Lecture 20 with annotation
2010-04-13: Lecture 21 with annotation
2010-04-15: Lecture 22 with annotation
2010-04-20: Lecture 23 with annotation
2010-04-22: Lecture 24 with annotation
Exams:
Mid-term Exam 1: Tuesday, 2010-02-09 (Feb 9th), in class. Exam 1 Key
Mid-term Exam 2: Tuesday, 2010-03-23 (Mar 23rd), in class. Exam 2 Key
Final Exam: Tuesday, 2010-04-27 (Apr 27th); 4:00pm - 6:50pm; in the same room as class meeting.
Homeworks:

Note: You may e-mail your homework (in pdf format) to your TA provided you have used a program
like MS-Word or Latex to write up your solutions. Scanned-in 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 MS-Word 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, 2010-02-05)
Homework 1 Key

Homework 2 (due Friday, 2010-02-26)
Homework 2 Key

Homework 3 (due Friday, 2010-03-05)
Homework 3 Key

Extra Credits 1 : Logic Puzzles (due Friday, 2010-03-19)

Homework 4 (due Friday, 2010-04-16)
Homework 4 Key

Resources:
Past Exam Questions of UCF CS Foundation Exam