Vertaling van "Automath" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Vers la fin des années 1960, il a développé Automath, un langage destiné à représenter les démonstrations mathématiques de façon à pouvoir automatiser leur vérification.
In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically (see automated theorem checking).
Automath (pour « automating mathematics ») était un langage formel, développé par Nicolaas Govert de Bruijn à partir de 1967, dont le but était d'exprimer des théories mathématiques complètes de manière à inclure un assistant de preuve qui pouvait en vérifier la correction.
Automath ("automating mathematics") was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
Automath était aussi le premier système pratique qui exploitait la correspondance de Curry-Howard.
Automath was also the first practical system that exploited the Curry-Howard correspondence.
Vous pouvez insérer des symboles d'équation en dehors d'une zone mathématique à l'aide de la fonction autoMath.
You can insert equation symbols outside a math region by using Math AutoCorrect.
Le système Automath apportait de nombreuses notions novatrices qui ont été adoptées ou réinventées ultérieurement, comme la substitution explicite ou la notion de type dépendant dont Automath est un exemple paradigmatique.
The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
Andere resultaten
Cliquez sur Vérification, puis sur Options de correction automatique. Cliquez sur l'onglet AutoMaths.
SRAM Automatix, changement de vitesse automatique sans dérailleur.
L'espace dédié aux outils d'automatisation comme Automator.
Automatisez sous Mac La référence francophone pour explorer et maitriser Automator, l'outil de macOS pour passer vos applications en pilotage automatique.
Automator met à votre disposition un processus simple de glisser-déposer grâce auquel vous pouvez créer et exécuter des « programmes d'automatisation » qui effectuent des tâches simples ou complexes à votre place, chaque fois que nécessaire.
With Automator, you use a simple drag-and-drop process to create and run "automation recipes" that perform simple or complex tasks for you, when and where you need them.
Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh.
The second article, Bounded Parikh Automata, focuses on the bounded languages of Parikh automata.
Automatur comprend également un puissant système d'automatisation marketing qui vous permet d'entretenir les leads et d'augmenter votre ratio...
Automatur also includes a powerful marketing automation system to nurture leads and increase your lead-to-close ratio. Erfahre mehr Vergleiche Alternativen LogiView
Finalement, nous appliquons les techniques et résultats obtenus à l'informatique théorique, et plus précisément à la théorie des automates d'arbres. Résumé automata.
Finally, we apply our results and techniques to theoretical computer science and more precisely to the study of regular tree languages, that is sets of labeled binary trees
