30:19λ-Calcul : les origines de la programmation fonctionnelle (Yassine MEHERZI)Devoxx France3.2K viewsView & Download
8:19Négations, connecteurs "et" "ou", tables de vérités - Logique mathématiqueLes maths par l'exemple101.4K viewsView & Download
1:09:44Penser, modéliser et maîtriser le calcul informatique (4) - Gérard Berry (2009-2010)Mathématiques et informatique - Collège de France143 viewsView & Download