Werbung
 Übersetzung für 'erfüllbar' von Deutsch nach Niederländisch
ADJ   erfüllbar | - | -
erfüllbarer | erfüllbare | erfüllbares
haalbaar {adj} {adv}erfüllbar
1 Übersetzung
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Übersetzung für 'erfüllbar' von Deutsch nach Niederländisch

erfüllbar
haalbaar {adj} {adv}
Werbung
Anwendungsbeispiele Deutsch
  • 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.
Werbung
© 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!