-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Deutsch » Russisch
Übersetzungen für „Unerfüllbarkeit“ im Deutsch » Russisch-Wörterbuch
(Springe zu Russisch » Deutsch)Unerfüllbarkeit <-> SUBST m JUR
Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)
Deutsch
- 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
Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.
Wörterbuch durchsuchen
Deutsch