Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Automath
Vertaling van "Automath" in Frans
Automath
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 (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 was also the first practical system that exploited the Curry-Howard correspondence.
Automath était aussi le premier système pratique qui exploitait la correspondance de Curry-Howard.
In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically (see automated theorem checking).
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.
The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
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.
Andere resultaten
We designed and formalized the Timed layered memory automate, integrating features of both memory and timed automata models.
Nous avons conçu le modèle des automates temporisés à couches mémoire, intégrant les caractéristiques de ces deux catégories d'automates.
the method contemplates the inclusion of a plurality of automata in a stochastic automate network model and including the steps of
un procédé et un appareil pour générer un essai-type pour une application ou un système conçu au moyen d'un modèle de réseau d'automates stochastiques. le procédé, qui inclut une pluralité d'automates, comprend les opérations suivantes
A modern development of the mechanical theatre, this certainly benefited from the enormous interest of the Romantics, such as E.T.A. Hoffmann (Der Sandmann, The Sandman, 1817; Die Automate, The Automata, 1819).
We should make mileage out of this software and automate more tasks.
On devrait tirer parti de ce logiciel et automatiser davantage de tâches.
If we automate the process, late orders will be history around here.
Si on automatise le processus, les commandes en retard seront du passé ici.
He wants to automate everything, and therein lies the danger for jobs.
Il veut tout automatiser, et là est le danger pour l'emploi.
Many workers got their pink slip when the factory decided to automate everything.
Beaucoup d'ouvriers se sont fait licencier quand l'usine a décidé tout automatiser.
Their plan to automate production was littered with problems at every technical step.
Leur plan pour automatiser la production était truffé de problèmes à chaque étape technique.
Computer software can help automate repetitive tasks in many industries.
Les logiciels peuvent aider à automatiser les tâches répétitives dans de nombreux secteurs.
Synoniemen voor Automath in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 22328. Exact: 4. Verstreken tijd: 273 ms.
