Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Mathematics for Computer Science
Thème :
Mathématiques
–
Cursus :
MIT
2002_fall
Instructors: Prof. Albert Meyer, Dr. Radhika Nagpal. Contributors: Srinivas Devadas, Lars Engebretsen, David Karger, Eric Lehman, Thomson Leighton, Charles Leiserson, Nancy Lynch, Santosh Vempala.
Lecture Notes
Course Notes 1 - Proofs
Course Notes 2 - Induction
Course Notes 3 - Relations
Course Notes 4 - Graphs
Course Notes 5 - State Machines: Invariants and Termination
Course Notes 6 - Recursive Definitions and Structural Induction
Course Notes 7 - Sums, Products & Asymptotics
Course Notes 8 - Basic Counting, Pigeonholing, Permutations
Course Notes 9 - Permutations and Combinations
Course Notes 10 - Introduction to Probability
Course Notes 11-12 - Random Variables and Expectation
Course Notes 13-14 - Deviation from the Mean
Course Notes 15 - Milestones of Probability Theory