Résultats de la recherche

En [[mathématiques]] et en [[programmation informatique]], une '''opération unaire''', aussi appelée une '''fonction m == Exemples en programmation == ...

{{Infobox Langage de programmation | date de première version = ...

...>mn</sub>'''''<ref>{{Ouvrage|auteur1=René Cori|auteur2=Daniel Lascar|titre=Logique mathématiques II|éditeur=|année=|passage=p. 47|isbn=}}</ref> dans sa forme === Pour une énumération de fonction récursive === ...

...n''' est une [[Clause (logique)|clause]] comportant au plus un [[littéral (logique)|''littéral positif'']]. Il existe donc trois types de clauses de Horn : ...

{{Ébauche|logique}} ...réfèrent à des [[Fonction (mathématiques)|fonctions]] ou à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...

...' (des [[Langage de programmation|langages de programmation]]) est l’étude de la signification des [[programmes informatiques]] vus en tant qu’objets [[m ...], la [[sémantique]], appliquée aux [[Langage de programmation|langages de programmation]], désigne le lien entre un [[Signifiance (linguistique)|signifiant]], le ...

...es de σ. L'idée étant de se contenter de prendre les symboles des [[Terme (logique)|termes]] comme leurs valeurs. Ainsi la valeur d'un symbole constant ''c'' ...erbrand jouent un rôle important dans les fondations de la [[programmation logique]]<ref>{{Lien web |titre=Herbrand Semantics |url=http://logic.stanford.edu/h ...

...mées]]. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être d ...Système formel|systèmes formels]] sans tenir compte de l'[[Interprétation (logique)|interprétation]] ou du [[Sens (linguistique)|sens]] qui leur est donné. ...

...deux éléments qui comprennent les informations ''vrai ''et'' faux''. En [[ logique]], les mathématiques et l'[[informatique théorique]], un domaine booléen es ...llement sur un domaine booléen, est [[Algèbre de Boole (logique)|l'algèbre de Boole à deux éléments]]. L'[[Objet initial et objet final|objet initial]] d ...

...systèmes de transition d'états]], associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. ...l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. ...

{{Infobox Langage de programmation | paradigme = [[Langage de requête]] ...

...e règles pour le [[web sémantique]], combinant le langage [[OWL-DL]] et le langage RuleML (Rule Markup Language (Unary/Binary Datalog)). ...u expressive. Au contraire, SWRL garde la puissance d'OWL DL, mais au prix de la décidabilité et des implémentations concrètes<ref name="Parsia2005">Bija ...

...grammation déclarative]] (dont la [[programmation logique]] ou encore la [[programmation fonctionnelle]] sont des sous-ensembles). ...esseur]]. L'état du programme à un instant donné est défini par le contenu de la [[Mémoire (informatique)|mémoire centrale]] à cet instant. ...

...s réalisent des traductions et des adaptations, elles entraînent des coûts de développement supplémentaires par rapport à des communications directes. * Une [[interface de programmation]] permet des échanges entre plusieurs [[logiciel]]s ; ...

...agit, en général à gauche et à droite ([[notation infixe]]), à l'intérieur de parenthèses ([[Fonction (mathématiques)|notation fonctionnelle]]), au-dessu ...signe radical « √ », opérateur de la [[racine carrée]], est dû à [[Léonard de Pise]]. ...

Le '''type vide''' est en [[théorie des types]] un type qui ne comporte pas de valeurs. On l'abrège communément par '''bot''' (de ''{{lang|en|bottom type}}''), le symbole (<math>\bot</math>) ou par l'appro ...

{{Ébauche|mathématiques|informatique|logique}} ...)|expression]] une substitution peut avoir lieu. Elle s'oppose à la notion de '''variable muette''' (encore appelée '''variable liée'''). ...

{{Ébauche|logique}} ...abituellement implémentée en utilisant les fonctionnalités non logiques du langage. ...

{{Confusion|Théorème de Kleene|Théorème du point fixe de Kleene}} {{ébauche|logique}} ...

...misations ([[Déforestation (informatique)|déforestation]], [[mémoïsation]] de valeurs, [[Parallélisme (informatique)|parallélisation]], {{Lien|langue=en| * un constructeur de type appelé type monadique, qui associe au type <math>t</math> le type <mat ...