temps de calcul
121Logiciel De Calcul Formel — Système de calcul formel Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur… …
122Logiciel de calcul formel — Système de calcul formel Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur… …
123Système de calcul formel — Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Sommaire 1 …
124Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …
125Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …
126Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …
127Regle a calcul — Règle à calcul Règle à calcul scolaire de 10 pouces (Pickett N902 T simplex trig). La règle à calcul (ou règle à calculer) est un instrument mécanique de calcul analogique qui permet, par simple déplacement longitudinal d’échelles graduées,… …
128Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of… …