Examples with "predicate assertion" and their translation in Frans
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.
Each hypothesis must be backed by a predicate assertion to be taken seriously.
Chaque hypothèse doit être soutenue par une assertion de base pour être prise au sérieux.
A well-constructed predicate assertion can strengthen any argument significantly.
Une assertion fondamentale bien construite peut considérablement renforcer n'importe quel argument.
Andere resultaten
The Petri module serves to model the behavior of complex dynamic systems based on stochastic Petri nets with Predicates and Assertions.
Petri permet de modéliser le comportement de systèmes dynamiques complexes par réseaux de Petri stochastiques à prédicats et assertions.
This is generally achieved by mapping the derived meaning into a set of assertions in predicate logic, then using logical deduction to arrive at conclusions.
Ceci est généralement réalisé en mappant la signification dérivée dans un ensemble d'assertions dans la logique de prédicat, puis en utilisant la déduction logique pour arriver à des conclusions.
Becker was correct that complete induction was needed for assertions of consistency in the form of universally quantified sentences, as opposed to claiming that a predicate holds for each individual natural number.
Becker avait raison de dire qu'une induction complète était nécessaire pour les affirmations de cohérence sous la forme de phrases universellement quantifiées, par opposition à l'affirmation selon laquelle un prédicat est valable pour chaque nombre naturel individuel.
An assertion tuple forms a Boolean expression (predicate or invariant) that the developer of the application wishes to check.
Un n-uplet d'assertion forme une expression booléenne (prédicat ou invariant) que le développeur de l'application souhaite vérifier.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.