Mathématiques pour l'informatique¶

Les mathématiques discrètes et continues qui fondent l'informatique — de la logique formelle aux files d'attente, en passant par la théorie des graphes et la cryptographie.

graph LR
    A["Logique"] --> B["Ensembles"]
    B --> C["Graphes"]
    C --> D["Probabilites"]
    D --> E["Cryptographie"]
    E --> F["Algebre lineaire"]
    F --> G["Maths du distribue"]

Ce que vous allez apprendre¶

À la fin de ce tutoriel, vous serez capable de :

• Raisonner formellement avec la logique propositionnelle et les predicats
• Manipuler ensembles, relations et fonctions pour modéliser des domaines
• Appliquer les algorithmes de graphes aux problèmes de réseaux et de dépendances
• Utiliser les probabilites pour le capacity planning et l'analyse de SLO
• Comprendre le socle mathématique de TLS, du hachage et des signatures
• Lire une decomposition matricielle et comprendre son usage dans les pipelines ML
• Dimensionner un système avec la loi de Little et les modèles de files d'attente

Prérequis¶

Parcours¶