Résultats de la recherche

...ul des constructions]] apporte une généralisation par rapport au [[lambda-calcul simplement typé]] où un terme ne peut dépendre que d'un autre terme. * Terme dépendant de type : le [[Polymorphisme (informatique)|polymorphisme]] (d'où le [[Système F]]); ...

{{ébauche|informatique}} ...ul, tout comme les [[Machine de Turing|machines de Turing]] et le [[lambda-calcul]]. Une URM est [[turing-complet|Turing-complète]]. ...

{{ébauche|informatique}} ...>p = a_0 a_1 \dots a_{n-1}</math> par un algorithme [[diviser pour régner (informatique)|diviser pour régner]]. ...

Un '''calcul parasitaire''' est une forme de [[calcul distribué]] qui est réalisé à l'insu de personnes possédant des ressources ...al [[Nature (revue)|Nature]] démontre l'utilisation que l'on peut faire du calcul parasitaire pour trouver un résultat aux problèmes [[problème SAT|3-SAT]] ( ...

{{ébauche|informatique}} ...priété de Church-Rosser''' est une propriété des systèmes de [[Réécriture (informatique)|réécriture]]. Elle est nommée ainsi d'après les mathématiciens [[Alonzo Ch ...

{{ébauche|informatique}} ...s à faible coût (ex. : [[microcontrôleur]]s) ne disposent pas d'[[unité de calcul en virgule flottante]]<ref name="Friedt">{{article|auteur=Jean-Michel Fried ...

=== Mathématiques et informatique === ...eat Internet Mersenne Prime Search]]'' est un projet de [[Calcul distribué|calcul partagé]] où les volontaires utilisent un [[logiciel]] [[Client-serveur|cli ...

...plexité de maintenance (facilité du support et des évolutions) d'un projet informatique. == Calcul == ...

...nt être décrites par un [[Algorithmique|algorithme]] (ou tout mécanisme de calcul). ...' annulant <math>f(y,x_1,...,x_n)</math>. Si un tel ''y'' n'existe pas, le calcul de la fonction <math>\mu</math> ne se termine pas. ...

* Un '''intégrateur''', en [[informatique]], est la personne chargée d'intégrer différents composants informatiques e ** Un [[intégrateur logiciel]] est un technicien en informatique qui teste, livre, installe et maintient une application métier à intervalle ...

{{ébauche|informatique}} En [[informatique]], le '''code à trois adresses'''<ref>{{ouvrage|url=https://archive.org/det ...

{{Ébauche|mathématiques|informatique|logique}} ...on, qui n'est ni une [[variable locale]], ni un [[paramètre (programmation informatique)|paramètre]] de cette fonction. ...

...'faux''<ref>Voir son utilisation en [[Calcul des propositions#Présentation|calcul des propositions]].</ref>. Par exemple, la formule (''P'' ∧ ¬''P'') ⇒ ⊥ sig {{Portail|mathématiques|logique|informatique théorique}} ...

...iley, Borwein et Plouffe]]. Le projet utilisait des ressources de calcul [[calcul distribué|distribuées]] sur presque {{formatnum:2000}} ordinateurs. Le proj * le {{date-|30 août 1998}}, calcul du cinq billionième bit de pi (et des 76 bits suivants) ; ...

...onction") est un des 16 connecteurs binaires de la [[logique classique]] [[Calcul des propositions|propositionnelle]]<ref>{{Ouvrage|prénom1=Jean B.|nom1=Murh ...U6QEHR5nCBoQFnoECBMQAQ |format=pdf |site=LRI - Laboratoire de Recherche en Informatique}}</ref> ...

...tilisé en informatique et en [[mathématiques]] et plus particulièrement en calcul par différences finies<ref>{{Ouvrage ...lequel, pour un schéma numérique explicite, on observe une instabilité de calcul ([[erreur d'approximation]]) grandissant rapidement au fur et à mesure des ...

{{Ébauche|informatique}} ...me d'échanges de messages. L'étude des algèbres de processus relève de l'[[informatique théorique]], et leurs applications relèvent principalement du [[génie logic ...

...u à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...] qui associe un lambda-calcul (un [[Théorie de la calculabilité|modèle de calcul]]) à une logique. Cela conduit aux langages de [[programmation fonctionnell ...

{{Ébauche|informatique}} ...''FSB'''), aussi appelé '''bus système''' ou '''bus avant''', est le [[bus informatique]] qui était utilisé sur les ordinateurs équipés de [[Processeur|CPU]] Intel ...

En [[informatique théorique]] et notamment en [[théorie de la complexité (informatique théorique)|théorie de la complexité]], la classe '''NE''' est une [[classe ...par la machine <math>M_L</math>, en au plus <math>t_L(|w|)</math> pas de calcul. ...