Übersetzung für '
erfüllbar' von Deutsch nach Niederländisch
ADJ | erfüllbar | - | - erfüllbarer | erfüllbare | erfüllbares | |
ADJ positive | comparative | superlative
strong declension m | f | n
Optional third block: superlative forms: schönster | schönste | schönstes
1 Übersetzung
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Deutsch
weitere Beispiele ...
- sind erfüllbar, wenn mindestens eine Belegung der Variablen zu einer wahren Aussage führt.
- Eine Formel in bereinigter Pränexform ist erfüllbar, wenn ihre Skolemform erfüllbar ist.
- In der linearen Elastizität sind die Kompatibilitätsbedingungen mit vertretbarem Aufwand erfüllbar und eröffnen so die Möglichkeit, ein Randwertproblem mit Spannungsfunktionen zu lösen.
- Der Algorithmus terminiert, wenn eine Klausel leer wird (nicht erfüllbar, ihr letztes Literal wurde falsch) oder wenn alle Variablen belegt sind (erfüllbar).
- Aufgrund von Versorgungsproblemen und der amerikanischen Luftüberlegenheit war seine Aufgabe nicht erfüllbar.
- Ob eine Brücke überhaupt abgleichbar ist, erkennt man daran, ob die Winkelbedingung erfüllbar ist.
- Die Nutzer können so, im Gegensatz zum Immobilienkauf von einem Bauträger, bereits in der Planungsphase eigene Wünsche mit einbringen, welche am Wohnungsmarkt nicht erfüllbar sind.
- Einreden lassen den Anspruch unberührt fortbestehen. Insbesondere ist er nach wie vor erfüllbar. Er ist aber nicht mehr gerichtlich durchsetzbar, also gehemmt.
- Da dies im allgemeinen Fall erfüllbar ist, gilt das Konkurrenzausschlussprinzip in mehreren Modellen nicht, wie zum Beispiel Varianten der Lotka-Volterra-Gleichungen.
- Horn-Formeln, die nur Klauseln vom Typ 1 enthalten, sind trivialerweise erfüllbar.
- Nachdem man ein Problem durch Constraints beschrieben hat, möchte man herausfinden, ob die Constraints erfüllbar sind.
- Die aussagenlogische Formel ist somit genau dann erfüllbar, wenn auch die prädikatenlogische Formel F' erfüllbar ist.
- Es beschäftigt sich mit der Frage, ob eine in konjunktiver Normalform vorliegende aussagenlogische Formel [...] , die höchstens 3 Literale pro Klausel enthält, erfüllbar ist.
- ist eine Tautologie, also auch erfüllbar, denn jede Belegung von [...] mit wahr oder falsch liefert eine wahre Aussage.
- ist genau dann erfüllbar (d. h. hat ein Modell), wenn jede endliche Teilmenge von [...] erfüllbar ist.
- genau dann erfüllbar, wenn [...] erfüllbar ist, und jede erfüllende Belegung von [...] ist ebenfalls eine erfüllende Belegung von [...].
- Eine Formel [...] ist genau dann eine Folgerung der Formeln [...] , wenn die Formel [...] nicht erfüllbar (d. h. inkonsistent) ist.
© dict.cc Dutch-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!