Mustafa Jarrar Associate Professor
Biomedical Informatics Department, University at Buffalo, USA |

Discrete Mathematics
The goal of this course is to introduce students to ideas and techniques from discrete mathematics that are widely used in computer science. Ultimately, students are expected to understand and use (abstract) discrete structures that are the backbones of computer science. In particular, this class is meant to introduce logic, proofs, sets, functions, relations, counting, graphs and trees and with an emphasis on applications in computer science.
Course Outline |

2.1 Logical Form and Logical Equivalence
(Slides)

2.2 Conditional Statements
(Slides)

2.3 Inferencing in Propositional Logic
(Slides)

3.3 Statements with Multiple Quantifiers
(Slides)

4.4 Quotient-Remainder Theorem
(Slides)

10.1 Graphs
(Slides)

10.2 Graphs and Trees
(Slides)

- To apply logically valid forms of argument and avoid logical errors.
- To employ both direct and indirect arguments to derive new results from those already known to be true.
- To work with symbolic representations as if they were concrete objects.
- To recursively think about problems and validate them using mathematical induction.
- To count random and chance events and compute the likelihood of obtaining certain events in a sample space.

By the end of the course the students will be able:

- Midterm exam 30%
- Short Exams & Assignments 25%
- Participation* 5%
- Final Exam 40%

*Participation includes class attendance, contributions during lectures, and answering questions.

**Office Hours:**Please check my office hours on Ritaj. If you wan to meet me outside my public office hours please request an appointment by email.**Class participation and independent work:**Students are expected to actively participate in all classes and perform independent work.**Attendance:**Attendance is mandatory. University regulations regarding this matter will be strictly enforced.**Academic Honesty:**Individual work must be each student’s own work. Plagiarism or cheating will result in official University disciplinary review.**Missed Exams:**There are no makeup exams.**Class Etiquette:**Please keep all cell phones and other electronic devices turned off during class. If your activities during class are deemed disruptive, you will be asked to leave. Use of a personal computer during class is prohibited except for note taking with Instructor permission.