MIT Subject Listing & Schedule
IAP/Spring 2026 Search Results

Searched for:

1 subject found.

6.120A Discrete Mathematics and Proof for Computer Science

(); second half of term
Prereq: Calculus I (GIR)
Units: 3-0-3
Begins Mar 30. Lecture: TR2.30-4 (36-144) Recitation: WF1 (13-3101) or WF2 (13-3101) +final

Subset of elementary discrete mathematics for science and engineering useful in computer science. Topics may include logical notation, sets, done relations, elementary graph theory, state machines and invariants, induction and proofs by contradiction, recurrences, asymptotic notation, elementary analysis of algorithms, elementary number theory and cryptography, permutations and combinations, counting tools.
M. Medard
No textbook information available