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
Spring 2005
Instructors: Prof. Srinivas Devadas, Dr. Eric Lehman. Contributors: Prof. Albert Meyer, Prof. Charles Leiserson.
Lecture Notes
Logic and Sets
Proofs
Induction I
Induction II
Induction III
Number Theory I
Number Theory II
Graphs I
Graphs II
Summations
Approximations, Asymptotics
Recurrences
Counting I
Counting II
Counting III
Generating Functions
Probability
Conditional Probability
Independence
Random Variables and Distributions
Expectation I
Expectation II
Random Walks
Special Topics