немецко » русский

Переводы „Unerfüllbarkeit“ в словаре немецко » русский (Перейти к русско » немецкий)

Unerfüllbarkeit <-> СУЩ. м. ЮРИД.

Unerfüllbarkeit

Одноязычные примеры (не проверены редакцией PONS)

немецкий
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

Хотели бы вы добавить слова, фразы или переводы?

Пришлите нам новую статью.

Искать перевод "Unerfüllbarkeit" в других языках

"Unerfüllbarkeit" в одноязычных словарях, немецкий язык


Интерфейс Deutsch | English | Español | Français | Italiano | Polski | Русский