Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
second-order logic
Vertaling van "second-order logic" in Frans
logique du second ordre
It presents samples of data to account for, and gives a proposal for a calculus system based upon a second-order logic.
Elle présente des exemples de phénomènes à traiter, et donne une proposition de système de calcul fondée sur la logique du second ordre.
It can also be considered as a theory in second-order logic, where now the separation axiom is just a single axiom.
Il peut également être considéré comme une théorie de logique du second ordre, où l'axiome de séparation est un seul axiome.
If second-order arithmetic is studied using the full semantics of second-order logic then the set quantifiers range over all subsets of the range of the number variables.
Si l'arithmétique du second ordre est étudiée en utilisant la sémantique complète de la logique du second ordre alors les ensembles quantifiés peuvent être tous les sous-ensembles du domaine des variables d'individus, de nombres.
As long as these definitions can only be given in a language of second-order or in set theory, model theory depends on second-order logic or set theory.
Tant que ces définitions ne peuvent être formulées que dans un langage du second ordre ou avec la théorie des ensembles, la théorie des modèles dépendra de la logique du second ordre ou de la théorie des ensembles.
We show that this notion shares similar properties with the notion of regularity on words: closure under complementation, deterministic and complete finite state acceptors and characterization by monadic second-order logic.
Nous montrons que cette notion partage de nombreuses propriétés de la rationalité sur les mots : clôture par complémentaire, accepteurs déterministes et complets, et caractérisation en logique du second ordre monadique.
In metalogic and metamathematics, Frege's theorem is a metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle.
En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui déclare que les axiomes de Peano de l'arithmétique peuvent être dérivées en logique du second ordre à partir du principe de Hume.
To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has is also known for his work on ordinal diagrams with Akiko Kino.
À cette fin, la conjecture de Takeuti suppose qu'une formalisation séquentielle de la logique du second ordre a une élimination des coupures. Il est également connu pour son travail sur les diagrammes ordinaux avec Akiko Kino.
We show that it is equivalent to monadic second-order logic on graphs.
Nous montrons qu'elle est équivalente à la logique monadique du second ordre sur les graphes.
Each logic we consider is a fragment of monadic second-order logic.
Chaque logique que nous considérons est un fragment de la logique monadique du second ordre.
Schematic variables in first-order logic are usually trivially eliminable in second-order logic, because a schematic variable is often a placeholder for any property or relation over the individuals of the theory.
Les métavariables de logique du premier ordre sont généralement trivialement éliminables en logique d'ordre supérieur, car une métavariable est souvent un espace dédié à toute propriété ou relation sur les éléments de la théorie.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
Because we study many logics, we proceed by comparison to a logic that subsumes them all and serves as a yardstick: monadic second-order logic.
Nous étudions un nombre important de logiques- pour cette raison nous procédons par comparaison avec une logique qui les contient et nous sert de référence: la logique monadique du second-ordre.
In the monadic second-order logic of graphs, the variables represent objects of up to four types: vertices, edges, sets of vertices, and sets of edges.
Dans le logique monadique du second ordre sur les graphes, les variables représentent des objets de quatre types différents : sommets, arêtes, ensembles de sommets et ensembles d'arêtes.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor second-order logic in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 28. Exact: 28. Verstreken tijd: 37 ms.
