Sitemap

De zero a lambda en C — Plan du site

📄 Cours (14 pages)

index.html
Accueil — portail du cours, liens vers toutes les ressources
introduction.html
Introduction générale — qu'est-ce que l'informatique, pourquoi C, pourquoi LISP
cours1-introduction.html
Cours 1 — Histoire, binaire, algorithmes, bases du C, factorielle
cours2-vm.html
Cours 2 — Tableaux, énumérations, pile, VM à 23 opcodes
cours3-parseur.html
Cours 3 — Pointeurs, structures, récursivité, parseur, compilateur → VM
cours4-template.html
Cours 4 — S-expressions, tables, template engine, mini chatbot
cours5-envs.html
Cours 5 — Environnements chaînés, closures, lambda, objets, transpileur
cours6-persistance.html
Cours 6 — Sérialisation, prolog.lisp, FFI, embedding LISP dans C
cours7-introduction.html
Cours 7 — Outil vs produit, homoiconicité, LISP descendants, mathematica.lisp & matlab.lisp
cours1-slides.html
Slides Cours 1
cours2-slides.html
Slides Cours 2
cours3-slides.html
Slides Cours 3
cours4-slides.html
Slides Cours 4
cours5-slides.html
Slides Cours 5
cours6-slides.html
Slides Cours 6
cours7-slides.html
Slides Cours 7
slides.html
Portail des slides — visionneuse complète avec navigation clavier

🧪 Travaux dirigés (3 pages)

td1.html
TD 1 — Hello World → parseur S-expression, REPL
td2.html
TD 2 — Environnements, let, set!, lambda, listes, map/filter/fold
td3.html
TD 3 — Cellules, objets, prolog.lisp, FFI, persistance

📝 Examens & corrections (6 pages/fichiers)

examen.html
Sujet A — 5 parties, 20 pts (C, S-exp, VM, interpréteur)
examen2.html
Sujet B — variante du sujet A
correction.html
Correction détaillée — Sujet A
correction2.html
Correction détaillée — Sujet B
justificatif.html
Justificatif — pourquoi l'examen n'est pas un examen de LISP
examen.pdf · examen2.pdf · correction.pdf · correction2.pdf · justificatif.pdf
Versions PDF (impression)

📚 Documentation & référence (5 pages)

factorielle-doc.html
Documentation du programme factorielle — code, exécution, limites
vm-doc.html
Documentation de la VM — architecture, jeu d'instructions, exécution pas-à-pas
asm-doc.html
Référence assembleur x86-64 — instructions, conventions d'appel
processor-doc.html
Anatomie du processeur — registres, ALU, cache, cycle de von Neumann
lang-ref.html
Référence complète du langage LISP — toutes les primitives

🔧 Bibliothèques LISP (2 fichiers)

mathematica.lisp
Calcul formel — dérivation symbolique, simplification (50 lignes)
matlab.lisp
Calcul numérique — vecteurs, matrices, normes (150 lignes)

⚙️ Code source C (16 fichiers)

📁 Autres fichiers (6 fichiers)

🔍 Vérification publish.sh

Fichiers transmis par publish.sh (via rsync) :

Total : 30 pages HTML, 5 PDF, 2 bibliothèques LISP, 16 sources C, 6 fichiers divers.
Dernière mise à jour : juillet 2026
← Retour à l'accueil