Quelques lignes de code utilisées dans le cours de paradigmes de la programmation.
def ajouteur(x) : def incrementer(y) : return x + y return incrementer f = ajouteur(3) g = ajouteur(0) print "f(1) = 0 et g(1) = 1".format(f(1),g(1))
let ajouter = function x -> function y -> x + y ; ; let f = ajouter 3 ; ; let g = ajouter 4 ; ; f 1 ; ; g 1 ; ;
def nimp(x) : def incrementer(y) : return x + y def setter(y) : x = y # ici x est une nouvelle variable (...)
Pierre Boudes
... | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 |...
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.