This class covers a variety of mathematical concepts and techniques critical to computer science. After successfully completing this class, students should be able to:

- Illustrate by examples the basic terminology of functions, relations, and sets and demonstrate knowledge of their associated operations.
- Demonstrate in practical applications the use of basic counting principles of permutations, combinations, inclusion/exclusion principle and the pigeonhole methodology.
- Calculate probabilities of events and expectations of random variables for problems arising from games of chance.
- Establish and solve recurrence relations that arise in counting problems including the problem of determining the time complexity of recursively defined algorithms.
- Model logic statements arising in algorithm correctness and real-life situations and manipulate them using the formal methods of propositional and predicate logic.
- Outline basic proofs for theorems using the techniques of - direct proofs, proof by counterexample, proof by contraposition, proof by contradiction, mathematical induction.
- Relate the ideas of mathematical induction to recursion and recursively defined structures.
- Illustrate by example basic terminology of graph theory and model problems in computer science using graphs and trees.
- Deduce properties that establish particular graphs as Trees, Planar, Eulerian, and Hamiltonion.
- Illustrate the application of trees and graphs to data structures.
- Explain the basic concepts modeling computation including formal machines, languages, finite automata, Turing machines

The following textbook is required for this course:

- Kenneth Rosen. Discrete Mathematics and Its Applications, 8th Edition. McGraw Hill, 2019. ISBN 125967651X.

Your final score is based on the following weighted components:

- 35% : Assignments
- 10% : Participation*
- 15% : Midterm exam 1
- 15% : Midterm exam 2
- 25% : Final exam

* see below for clarification of the participation component.

And here's the grade scale applied to the final, aggregate score:

- A: 90%-100%
- B: 80-89%
- C: 70-79%
- D: 60-69%
- E: 0-59%

There will be approximately 10 homework assignments. All assignment problem sets will be posted on the course website and submitted via Blackboard. Assignment submissions must be typed up (diagrams may be created in your diagramming software of choice) and in PDF form. Scans of handwritten work will not be accepted. All assignments are equally weighted.

The instructor will be keeping track of in-lecture participation, and students who consistently attend live lecture and regularly participate (either via voice or text chat, in an online format) throughout the semester will receive full points for participation.

In the event that a student does not have full points for participation by the end of the semester, the worth of the final exam will be increased to allow the student to potentially make up those lost points. For example, if a student receives 5/10 for participation, the final exam will be worth 30% of their final score.

All exams in the class will be open-book, open-notes, and comprehensive. If you need to miss a midterm exam for a legitimate reason, the final exam score can be used to replace the missed exam score.

An assignment is late if it is not turned in by 11:59PM of the due date. Late assignments, unless cleared in advance with the instructor, are subject to a 5% reduction in points per each day late. After 1 week (7 days) past the due date, an assignment will not receive any points at all.

You are welcome to discuss assignments with classmates, but all final work must be your own. For details on what constitutes academic dishonesty, consult the university's Code of Academic Honesty at https://web.iit.edu/student-affairs/handbook/fine-print/code-academic-honesty. Any confirmed cases of academic dishonesty will be reported to academichonesty@iit.edu, and any work involved will, at the very least, will receive a reduction in grade deemed appropriate by the instructor.

Reasonable accommodations will be made for students with documented disabilities. In order to receive accommodations, students must obtain a letter of accommodation from the Center for Disability Resources. The Center for Disability Resources (CDR) is located in Life Sciences Room 218, telephone 312 567.5744 or disabilities@iit.edu.