unerfüllbar
Schlagen Sie auch in anderen Wörterbüchern nach:
unerfüllbar — visionär; über den Wolken schwebenn (umgangssprachlich); realitätsfremd; nur in der Fantasie möglich; realitätsfern; utopisch; unrealistisch; wirklichkeitsfremd; nur in der Phantasie möglich * * * un|er|füll|bar [ʊn|ɛɐ̯ f … Universal-Lexikon
unerfüllbar — un|er|fụ̈ll|bar [auch ʊ... ] … Die deutsche Rechtschreibung
Davis-Putnam-Algorithmus — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
Davis-Putnam-Verfahren — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
Satz von Herbrand — Der Satz von Herbrand ist ein Satz aus der Prädikatenlogik und wurde nach dem französischen Logiker Jacques Herbrand benannt. Er macht eine Aussage über die Erfüllbarkeit einer prädikatenlogischen Formel. Der Satz lautet: Sei F eine geschlossene… … Deutsch Wikipedia
Allgemeingültigkeit — In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die… … Deutsch Wikipedia
Erfüllbarkeitsäquivalenz — ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann. Zwei Formeln F und G sind genau dann erfüllbarkeitsäquivalent, wenn gilt: F ist erfüllbar G ist erfüllbar Oder umgekehrt: F ist unerfüllbar G ist unerfüllbar Die… … Deutsch Wikipedia
Herbrand-Theorie — Der nach Jacques Herbrand, einem französischen Logiker, benannte Satz von Herbrand (engl. Herbrand s theorem, was gelegentlich nicht ganz korrekt als Herbrand Theorie übersetzt wird) in der Prädikatenlogik lautet: Sei F eine geschlossene Formel… … Deutsch Wikipedia
Algorithmus von Gilmore — Der Algorithmus von Gilmore (auch Gilmore Algorithmus) basiert auf dem Satz von Herbrand und liefert ein Semi Entscheidungsverfahren um prädikatenlogische Formeln auf Unerfüllbarkeit zu testen. Es gilt: Die abzählbare Menge sei die Herbrand… … 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
