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

(Aller à russe » allemand)

Unerfüllbarkeit <-> SUBST m JUR

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

Relevant ist die Erfüllbarkeitsäquivalenz bei Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel mittels der Herbrand-Theorie.

de.wikipedia.org

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

de.wikipedia.org

Entscheidend ist nur die Unerfüllbarkeit durch das Kind, also die subjektive Überforderung im Bewusstsein des Kindes.

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

Neben der Eigenschaft der Gültigkeit (Allgemeingültigkeit) gibt es einige andere wichtige Eigenschaften: Erfüllbarkeit, Widerlegbarkeit und Unerfüllbarkeit.

de.wikipedia.org

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

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

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

de.wikipedia.org

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

de.wikipedia.org