-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „unentscheidbar“ im Deutsch » Englisch-Wörterbuch
(Springe zu Englisch » Deutsch)Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
6. Aufgabe :
[ Entscheidbarkeit der Gleichheitslogik, 5P ] In der Vorlesung wurde gezeigt, dass die Allgemeingültigkeit von Formeln im Allge- meinen unentscheidbar ist.
Dies gilt jedoch nicht für alle eingeschränkten Formelklassen.
www-madlener.informatik.uni-kl.deExercise 6 :
[ Decidability of equational logic, 5P ] We know from the lecture that the validity of a formula is generally undecidable.
However, this does not hold for all restricted classes of formulas.
www-madlener.informatik.uni-kl.de, sind.
Es hat sich herausgestellt, dass der erste Punkt alleine diese Robustheit nicht erklären kann, da bereits schwache Erweiterungen der Prädikatenlogik mit nur zwei Variablen unentscheidbar sind.
Jedoch konnte gezeigt werden, dass Einschränkungen der Prädikatenlogik, in der alle Quantoren durch geeignete Guards relativiert sind ( z.B. das guarded fragment ), die günstigen Eigenschaften der Modallogik erben.
www-mgi.informatik.rwth-aachen.deGuarded second-order logic, the fragment of second-order logic which is introduced in the context of our characterization theorem, captures a natural and robust level of expressiveness with several equivalent characterizations.
For a wide range of issues in guarded logics it may take up a role similar to that of monadic second-order in relation to modal logics.
At the more general methodological level, the translations between the guarded and modal domains make the intuitive analogy between guarded and modal logics available as a tool in the further analysis of the model theory of guarded logics.
www-mgi.informatik.rwth-aachen.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.