erfüllbar


erfüllbar
ausführbar, durchführbar, erreichbar, machbar, möglich, praktikabel, realisierbar, umsetzbar, zu machen, zu verwirklichen;
(ugs.): managebar.
* * *
erfüllbar:durchführbar

Das Wörterbuch der Synonyme. 2013.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • erfüllbar — er|fụ̈ll|bar 〈Adj.〉 so beschaffen, dass es sich erfüllen lässt ● erfüllbare Wünsche * * * er|fụ̈ll|bar <Adj.>: sich ↑ erfüllen (3) lassend; sich ↑ erfüllen (4) könnend: ein schwer er Wunsch. * * * er|fụ̈ll|bar <Adj.>: sich ↑erfüllen… …   Universal-Lexikon

  • erfüllbar — er|fụ̈ll|bar; erfüllbare Wünsche …   Die deutsche Rechtschreibung

  • Erfüllbarkeit — ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der… …   Deutsch Wikipedia

  • Erfüllbare Aussage — Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von Aussagen und Aussageformen, wahr sein zu können. Anders ausgedrückt ist ein Ausdruck genau dann erfüllbar, wenn es eine Belegung (Interpretation,… …   Deutsch Wikipedia

  • Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik …   Deutsch Wikipedia

  • True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… …   Deutsch Wikipedia

  • Markierungsalgorithmus — Der Markierungsalgorithmus ist ein Algorithmus zur Überprüfung von Horn Formeln auf Erfüllbarkeit. Im Unterschied zu allgemeinen aussagenlogischen Formeln, für die vermutet wird, dass kein Polynomialzeit Algorithmus existiert (siehe… …   Deutsch Wikipedia

  • Unterstreichungsalgorithmus — Der Markierungsalgorithmus ist ein Algorithmus zur Überprüfung von Horn Formeln auf Erfüllbarkeit. Im Unterschied zu allgemeinen aussagenlogischen Formeln, für die vermutet wird, dass kein Polynomialzeit Algorithmus existiert (siehe… …   Deutsch Wikipedia

  • Cliquenproblem — Das Cliquenproblem (mit CLIQUE notiert) ist ein Entscheidungsproblem der Graphentheorie. Das Cliquenproblem ist eines der 21 klassischen NP vollständigen Probleme, deren Zugehörigkeit zu dieser Klasse Richard M. Karp 1972 bewies.… …   Deutsch Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.