- erfüllbar
- ausführbar, durchführbar, erreichbar, machbar, möglich, praktikabel, realisierbar, umsetzbar, zu machen, zu verwirklichen;(ugs.): managebar.* * *erfüllbar:
Das Wörterbuch der Synonyme. 2013.
erfüllbar
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
