Résultats de la recherche

...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. ...

...soudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement<ref>Roman Bartak, A Guide to Constraint P ...la taille de l'espace des solutions à parcourir (on parle de [[propagation de contraintes]]). ...

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

...ur une classe particulière de langages de programmation, voir [[langage de programmation dynamique]]''}} ..., comme la conduite et l'optimisation de procédés chimiques, ou la gestion de stocks<ref name="Cormen359"/>. ...

...u '''fil''' (traduction normalisés par [[Système de gestion de la sécurité de l'information|ISO/CEI]] 2382-7:2000<ref name="iso.org">{{Lien web |langue=f ...aire terminologique de l'OQLF et Termium (banque de terminologie du bureau de la traduction du gouvernement canadien) ne reconnaissent que ''fil'' -->) e ...

...aratsuba]]) ou la [[transformation de Fourier discrète]] ([[transformation de Fourier rapide]]). ...[1, .. n/2] et T[n/2 +1,..n] (récursivement, ou on ne fait rien s'ils sont de taille 1) ...

...rtium OMG qui vient d'éditer UML2. Ce modèle utilise abondamment la notion de récursivité. Pour définir une représentation il est nécessaire de combiner au moins deux dimensions (variables libres) du système : classe, o ...

...ar rapport à l'effet produit. Et l'usage conjoint du langage de scripts et de la géométrie dynamique permet d'avoir des figures à la fois complexes et dy ...de [[Lisp]] est basé sur la [[récursivité]] et n'est pas très emblématique de la démarche [[algorithmique]]. Mais la suite, DrGeoII, est dotée du langage ...

...èmes de recherche]] combinatoires (par exemple, [[sudoku]] et [[coloration de graphe]]s). ...non monotone|non monotone]]. L'exemple suivant, illustre le fonctionnement de la négation par défaut<ref>{{Article|prénom1=Claire|nom1=Lefèvre|prénom2=Ch ...

...bien fondée. La sémantique du modèle stable est à la base du [[langage de programmation]] déclarative [[Answer Set Programming]] (ASP). ...les corps de règle) et les [[Table de vérité|tables de vérité]] familières de la [[Calcul des propositions|logique propositionnelle]] classique. Considér ...

...ique)|spécification]]. Elles reposent sur les [[Sémantique des langages de programmation|sémantiques]] des programmes, c'est-à-dire sur des descriptions mathématiqu ...l'élargissement de leurs champs d'application pratique sont la motivation de nombreuses recherches scientifiques en informatique. ...

...ssage=1}}.</ref>. L'approche [[récursivité|récursive]] est un des concepts de base en [[informatique]]. ...s de programmation généraux réalisent une [[Mise en œuvre|implémentation]] de la récursivité. Pour répéter des opérations, typiquement, un algorithme réc ...

| date de première version = | date de dernière version = ...

...t de la nature pour le développement de nouvelles techniques de résolution de problèmes; celles qui reposent sur l'utilisation d'ordinateurs pour synthé ...trois branches sont notamment les [[Réseau de neurones artificiels|réseaux de neurones artificiels]], les [[Algorithme évolutionniste|algorithmes évoluti ...

...s à données uniques à instructions multiples]] (MISD) selon la [[taxonomie de Flynn]], mais cette classification est discutée plus loin dans cet article. ...ue a'' été inventé à partir de la terminologie médicale. Le nom est dérivé de la [[systole]] par analogie avec le pompage régulier du sang par le cœur. ...

...]]. Cet algorithme a besoin d'être couplé avec un ou plusieurs algorithmes de [[tri stable]]. Le principe de l'algorithme est le suivant : ...

[[Fichier:Euclid flowchart 1.png|vignette|[[Organigramme de programmation]] représentant l'[[algorithme d'Euclide]].]] ...t-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un [[problème algorithmique]]. ...

...umb|upright=1.2|Q System One, un ordinateur quantique par [[IBM]] à partir de 2019 avec 20 qubits supraconducteurs<ref>{{article|nom=Russell |prénom=John ...manipulation de [[Bit (informatique)|bits]] dans un état 1 ''ou'' 0, mais de [[qubit]]s en superposition d'états 1 ''et'' 0. ...

...r ''{{Langue|en|quantified boolean formula}}'' en anglais) est une formule de la [[logique propositionnelle]] où les variables propositionnelles sont [[Q ...quantificateur), alors la [[valeur de vérité]] de la formule ne dépend pas de l'assignation. Si toute assignation satisfait la formule, on dira que cette ...

...corriger un ''code smell'', il est nécessaire de procéder à un [[réusinage de code|réusinage]] du code source, c’est‐à‐dire modifier le code sans en alté ...pacité des codes à être réutilisés dans des contextes différents, le degré de [[testabilité]] du code et la fiabilité du code sont des facteurs. qui peut ...