Hugo Salou – MPI*
Les fiches de révisions sont disponibles sur la page révisions. Il y a les algorithmes à connaître en informatique, des fiches de physique, et des cartes mentales pour les mathématiques.
Comme l’année dernière, mes notes de cours de Mathématiques (cours, TDs, DMs et cadeaux) et d’informatique (cours, TDs, TPs et DMs) sont disponibles ici au format numérique. Certains TPs et DMs de Physique sont également disponibles ici.
Les différents codes LaTeX sont disponibles publiquement sur GitHub. (plus tard...) J’ajouterai plus tard des liens individuels à chacun des chapitres, TDs, TPs, DMs, etc.
Mathématiques
Chapitre 1 :
Séries numériques
Chapitre 2 :
Algèbre linéaire
Chapitre 3 :
Intégrer sur un intervalle
Chapitre 4 :
Diagonalisation & trigonalisation
Chapitre 5 :
Suites de fonctions
Chapitre 6 :
Séries de fonctions
Chapitre 7 :
Probabilités
Chapitre 8 :
Intégrales à paramètre
Chapitre 9 :
Produits scalaires
Chapitre 10 :
Séries entières
Chapitre 11 :
Variables aléatoires
Chapitre 12 :
Endomorphismes remarquables d’un espace euclidien
Chapitre 13 :
Espaces vectoriels normés
Chapitre 14 :
Couples de variables aléatoires discrètes
Chapitre 15 :
Calcul différentiel
TD 16 :
Équations différentielles
Annexe A :
Structures algébriques et division euclidienne
Annexe B :
Compacité
Annexe C :
Séries de vecteurs et exponentielle de matrices
Cadeaux
DM.
Informatique
Chapitre -1 :
Ordres et induction
Chapitre 0 :
Logique
Chapitre 1 :
Langages réguliers et Automates
Chapitre 2 :
Algorithmes probabilistes
Chapitre 3 :
Apprentissage
Chapitre 4 :
Calculabilité, Décidabilité, Complexité
Chapitre 5 :
Trois exemples d'algorithmes de graphes
Chapitre 6 :
Preuves
Chapitre 7 :
Tentative de réponse à la NP−complétude
Chapitre 8 :
Jeux
Chapitre 9 :
Grammaires non contextuelles
Chapitre 10 :
Concurrence
Annexe A :
Complexité amortie
Annexe B :
Algorithmes Dijkstra et A*
Annexe C :
Diviser pour régner
Annexe D :
Lemme d'Arden et retour sur le théorème de Kleene
Annexe E :
Tas et files de priorités
Annexe F :
Arithmétique
Annexe G :
Arbres rouges−noirs
Annexe H :
Complexité moyenne
Annexe I :
Preuves de correction pour les fonctions récursives
Complet
TD.
TD. 1 :
Ordre & Induction
TD. 2 :
Logique propositionnelle
TD. 3 :
Langages et expressions régulières
TD. 4 :
Langages et expressions régulières (2)
TD. 5 :
Langages et expressions régulières (3)
TD. 6 :
Algorithmes probabilistes
TD. 7 :
Décidabilité, Calculabilité
TD. 8 :
Classe P, classe NP
TD. 9 :
Algorithmique des graphes
TD. 10 :
Preuves en logique propositionnelle
TD. 11 :
Preuves
TD. 12 :
Algorithmes d'approximation
TD. 13 :
Jeux
TD. 14 :
Grammaires non contextuelles (1)
TD. 15 :
Grammaires non contextuelles (2)
TD. 16 :
Concurrence
TD. 17 :
Concurrence
TD. Bonus 1 :
Complexité amortie
TD. Bonus 2 :
Diviser pour régner
TD. Bonus 3 :
Invariants plus complexes
TP.
TP. 1 :
Logique propositionnelle
TP. 3 :
Langages et expressions régulières (2)
TP. 7 :
Algorithme de Kosaraju en OCaml