Traductions de „Unerfüllbarkeit“ dans le dictionnaire polonais » allemand

(Aller à allemand » polonais)

nieziszczalność

Unerfüllbarkeit f

niewykonalność

Unerfüllbarkeit f

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

allemand

Im Gegensatz zur Gültigkeit, die Eigenschaft von Formeln oder von Argumenten sein kann, sind Erfüllbarkeit, Widerlegbarkeit und Unerfüllbarkeit Eigenschaften von Sätzen oder von Satzmengen.

de.wikipedia.org

Der Satz bildet die Grundlage eines Semi-Entscheidungsverfahrens für die Unerfüllbarkeit von prädikatenlogischen Formeln.

de.wikipedia.org

Gelingt es, die leere Klausel zu resolvieren, die stets unerfüllbar ist, ist somit die Unerfüllbarkeit der gesamten Formel gezeigt.

de.wikipedia.org

Wo es auf die Unerfüllbarkeit der Modelleigenschaft ankommt, werden fallweise Ersatzschaltungen eingesetzt.

de.wikipedia.org

Mit Hilfe dieser Formelmenge kann die Unerfüllbarkeit einer prädikatenlogischen Formel in einer aussagenlogischen Form abgebildet werden.

de.wikipedia.org

Mit Unerfüllbarkeit ist die notwendige Unmöglichkeit gemeint, dem Anspruch bzw. den Erwartungen des Senders der Botschaft gerecht werden zu können (damit eine doppelbindungsartige Situation aufrechterhalten wird).

de.wikipedia.org

Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist.

de.wikipedia.org

Man sieht, dass der Algorithmus semi-entscheidbar ist, da er nur in endlicher Zeit hält, wenn er Unerfüllbarkeit feststellt.

de.wikipedia.org

So verbindet sich auch in Schnee der Schmerz unerwiderter Liebe und das Bewusstsein der Unerfüllbarkeit der Wünsche eines Lebens in vollkommener transzendenter Harmonie mit Melancholie.

de.wikipedia.org

Diese Strategie sah vor, die als überzogen eingeschätzten Forderungen der Westmächte so weit zu erfüllen, dass schließlich deren Unerfüllbarkeit offensichtlich werden sollte.

de.wikipedia.org