An Intro to Program Synthesis
14:31
La solidité et l’exhaustivité de la logique
22:27
Un bref aperçu du rendu de texte
21:48
Programming with Math | The Lambda Calculus
38:13
Birth of BASIC
23:03
Square Root of a Matrix That's Similar to a Jordan Matrix
14:34
Apprendre la récursivité avec Gleam
2:10:23
"Tout est mathématique", conférence Honoris Causa de Cédric Villani à HEC Paris
4:56