Instructors · Mingtao Xia · Boxi Yu

Discrete MathematicsInteractive lecture notes and videos

Twelve lectures on the language of proof and the objects of computer science: definitions and theorems, sets and counting, quantifiers, relations, proof by contradiction and by induction, functions, probability, number theory and graphs. Every number in the notes has been computed by running code, every key idea has a demo you can step through, and every exercise has a hint and a full solution.

Mingtao XiaINSTRUCTOR
Boxi YuINSTRUCTOR

Textbook: Scheinerman, Mathematics: A Discrete Introduction. English · CC BY-SA 4.0.

Every lecture has its notes and two narrated videos; the videos also appear inside the lecture, in the chapter they cover. Instructors: Mingtao Xia · Boxi Yu.