Home

Instructors

Prerequisites

Textbook

Grading

Schedule

Lectures

Announcements

Homeworks

Exams

Dates

Blackboard



This course covers discrete mathematics for computer science, including elementary propositional and predicate logic, sets, relations, functions, counting, elementary graph theory, proof techniques including proof by induction, proof by contradiction, and proof by construction.