L'informatique théorique comme pratique, avec la même exigence pédagogique : définir proprement, démontrer, donner des exemples qu'on peut tester soi-même.
pmatrix, bmatrix, vmatrix : tous les environnements matrices en LaTeX.
Tout sur le package lipsum de LaTeX pour du faux texte rapide.
L'algorithme de Bellman-Ford : principe, pseudocode et complexité.
Implémenter Ackermann en OCaml et comprendre son explosion.
Transformer un NFA en DFA : la méthode des sous-ensembles.
Méthodes et exercice pour simplifier les formules booléennes.
Tous les espacements math LaTeX : thin, med, thick, quad, qquad.
Tout savoir sur les lettres ajourées (blackboard bold) en LaTeX.
Les différentes façons d'écrire la fonction indicatrice en LaTeX.
FNC, FND et le problème SAT : concepts fondamentaux de la logique.
Le lemme fondamental de la théorie des graphes, démontré proprement.
Convertir pas à pas un décimal en float IEEE 754.
Installer et configurer WSL2 sous Windows pas à pas.
Les commandes LaTeX pour floor ⌊x⌋ et ceil ⌈x⌉.
Alphabet, état, transition, langage reconnu, AFD, AFN — tout le vocabulaire essentiel.
Les différentes méthodes pour insérer une ligne dans un DataFrame.
Rôle, architecture et fonctionnement de l'UAL dans un processeur.
Créer et manipuler des matrices avec NumPy : opérations essentielles.
Plus courts chemins toutes paires avec arêtes négatives — en O(V² log V + VE).
Toutes les commandes LaTeX pour écrire des intégrales.
Commandes LaTeX pour l'italique et le gras en texte et en maths.
La commande \sum et ses variantes pour écrire des sommes en LaTeX.
Dev