Thierry JAINE...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
: en avant-dernier ; arguments normaux : en premier. Exemple : >>> def ma_fonction(val0... , *val1, **val2): ... print val0, val1, val2 ... >>> ma_fonction('ok', 'ko', 'coral', a≥1, b... Valeur(object): ... def __init__(self, val): ... self.val ≥ val ... def vaut(self): ... print... self.val ... >>> val ≥ MaValeur(10) >>> val.vaut() 10 Enfin, des propriétés...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
= | Nil | Cons of ’a * ’a list (** val insert : (’a1 → ’a1 → bool) → ’a1 → ’a1 list → ’a1... a l’))) (** val sort : (’a1 → ’a1 → bool) → ’a1 list → ’a1 list **) let rec sort leb = function... de Thierry Coquand et Gérard Huet sur le Calcul des Constructions (en anglais CoC), eux-mêmes s’appuyant... , ce sera cependant le nouveau Calcul des Constructions Inductives (en anglais CIC) de Thierry Coquand et Christine Paulin...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
