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.
Recitations
Logic
Case Analysis
Induction
Strong Induction
Well-ordering Principle
The Pulverizer
RSA
Graphs and Trees
Bipartite Graphs
Sums and Approximations
The Quest
Solving Linear Recurrences
Basic Counting Notions
Counting Rules
Counting
Generating Functions and Expressions
The Four-Step Method
Law of Total Probability
Probability
Random Variables, Distributions, etc.
Expected Value
Conditional and Total Expectation
Stencil the Flea