mccormick.northwestern.edu9 年
COMP_SCI 212: Mathematical Foundations of CS Part 1: Discrete mathematics for computer science
Example topics include logic and Boolean circuits ... Part I: Proofs, and Mathematical Preliminaries Introduction to Logic, Proofs. Principle of Mathematical Induction, Strong Induction.