Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
coinduction
Vertaling van "coinduction" in Frans
coinduction
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.
En informatique théorique, la coinduction est une technique de définition et de vérification de propriétés de systèmes d'objets en interaction.
We develop a theory of "up-to" techniques for coinduction, in the abstract setting of complete lattices.
Nous développons tout d'abord une théorie des techniques "modulo" pour la coinduction, dans le cadre abstrait des treillis complets.
Then, we have defined a relation on graphs close to the notion of equivalence obtained on a classical representation, keeping however the advantages offered by coinduction.
Nous avons donc proposé une solution respectant ces limitations, puis nous avons défini une relation sur les graphes nous permettant d'obtenir la même notion d'équivalence qu'avec une représentation classique tout en gardant les avantages de la coinduction.
To the mindware of the specialists of cognitive psychology, one must add, coinduction which is the basis of our reasoning in infinite games and the notion of rationality must be refined.
Au kit de raisonnement (le "mindware" des psychologues cogniticiens) on doit ajouter la coinduction qui est à la base de notre raisonnement sur les jeux infinis et la notion de rationalité doit être raffinée.
In the category of Sets for instance, circular proofs denote the functions that one can define using Cartesian products, finite disjoint unions, induction and coinduction.
Dans la catégorie des ensembles, les preuves circulaires dénotent donc les fonctions qu'on peut définir en utilisant les produits cartésiens finis, les unions disjointes finies, l'induction et la coinduction.
We introduce its dual system based on coinduction for the finite failues and we prove that the two systems are equivalent by using a negation-based program transformation.
On présente son système dual basé sur la coinduction pour les échecs finis et on montre que les deux systèmes sont équivalents en utilisant une transformation de programmes basée sur la
We develop a theory of "up-to" techniques for coinduction, in the abstract setting of complete lattices.
Nous développons tout d'abord une théorie des techniques "modulo" pour la co-induction, dans le cadre abstrait des treillis complets.
Several techniques are available in order to prove statements on systems, along them induction, coinduction, rewriting, abstraction and automatic computations.
Plusieurs mécanismes de preuve sont présentés et il est mit en évidence l'importance du mécanisme de réécritures.
Synoniemen voor coinduction in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 41 ms.
