Notebooks
12 séries pédagogiques niveau 1
Séries de notebooks
Chaque série est un dossier thématique sous MyIA.AI.Notebooks/. Chaque série a son propre README avec table des matières, prérequis, et durée estimée.
Vous débutez ? Suivez l’un des trois parcours d’apprentissage — chaque série ci-dessous indique son parcours et son niveau.
Vue d’ensemble
Search — Algorithmes de recherche
BFS, DFS, Dijkstra, A*, métaheuristiques (recuit simulé, essaims), CSP. Point d’entrée idéal pour débutants.
Notebooks : 19+ (3 parties : Foundations, CSP, Advanced) · Kernels : python3, .net-csharp · GPU : non
Sudoku — Résolution multi-paradigme
Un seul problème, plusieurs approches : backtracking, propagation de contraintes, recherche locale, ILP/Z3.
Notebooks : 15+ · Kernels : python3, .net-csharp · GPU : non
ML — Machine Learning (.NET ML.NET)
Classification, régression, clustering, séries temporelles, ML.NET tutorials.
Notebooks : 9+ · Kernels : .net-csharp · GPU : non
RL — Reinforcement Learning
PPO, DQN, Stable Baselines3, Decision Transformer, LSTM-RL, mamba, PatchTST, iTransformer.
Notebooks : 7+ · Kernels : python3 · GPU : recommandé (entraînement)
GameTheory — Théorie des jeux + Lean
Jeux combinatoires, équilibre de Nash, théorème de Folk, choix social (Arrow, Sen), preuves formelles Lean.
Notebooks : 6+ (GT-1 à GT-6 + variantes) · Kernels : python3, .net-csharp, lean4 · GPU : non
GenAI — IA générative multimodale
Image (Stable Diffusion, FLUX, Qwen-VL), audio (Whisper, music), texte (transformers, agents), vibe-coding. Sous-séries : SemanticKernel, FallacyDetection (détection de sophismes via Qwen FT + SAE, EPIC #10355).
Notebooks : 60+ · Kernels : python3 · GPU : OBLIGATOIRE (RTX 3090+)
Probas — Probabilités & décision
Infer.NET (modèles graphiques), PyMC (MCMC, NUTS, ArviZ), Decision Theory (EVPI, EVPII), théorie de la décision bayésienne.
Notebooks : 25+ · Kernels : .net-csharp (Infer), python3 (PyMC) · GPU : non
SymbolicAI — Raisonnement formel
Lean 4 (preuves formelles), Tweety (argumentation), SemanticWeb (RDF, OWL), Planning (OR-tools), SmartContract (Solidity).
Notebooks : 30+ · Kernels : lean4, .net-csharp, python3 · GPU : non
QuantConnect — Trading algorithmique
50+ stratégies (Alpha, Momentum, Trend-Following, Options, Mean-Reversion), 27 notebooks, backtest Sharpe/CAGR/MaxDD.
Notebooks : 27 + 50 stratégies · Kernels : python3 · GPU : non (QC Cloud)
CaseStudies — Études de cas transverses
Diagnostic médical, oncology planning, Barbie-Schreck, Fort-Boyard, Recipe-Maker, SmartGrid.
Notebooks : 6+ · Kernels : variable · GPU : variable
IIT — Integrated Information Theory
PyPhi, φ (phi) computation, causal analysis, théorème de Tononi.
Notebooks : 4+ · Kernels : python3 · GPU : non
Cross-series
cross-series/ — notebooks transverses (multi-séries) : agents de coordination, IPC, validation inter-langages.