-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „compactness theorem“ im Englisch » Deutsch-Wörterbuch (Springe zu Deutsch » Englisch)
Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
3.
Prove that the compactness theorem does not hold for second order predicate logic .
www-madlener.informatik.uni-kl.de3.
Zeigen Sie, dass der Kompaktheitssatz nicht für die Prädikatenlogik 2. Stufe gilt.
www-madlener.informatik.uni-kl.deHint :
Consider the following extended axiom system and apply the compactness theorem :
www-madlener.informatik.uni-kl.deHinweis :
Betrachten Sie das folgende erweiterte Axiomensystem und wenden sie den Kompaktheitssatz an:
www-madlener.informatik.uni-kl.deConversely, we will find models that omit everything not explicitly demanded by T.
In most of these model constructions , the compactness theorem plays a central role .
What is the expressive power of a logic?
www-mgi.informatik.rwth-aachen.deWir werden zeigen, wie sich einerseits sehr reichhaltige Modelle, also Modelle die alles umfassen, was von T nicht explizit verboten wird, andererseits aber auch sehr sparsame Modelle von T konstruieren lassen, die nichts enthalten, was nicht von T explizit gefordert wird.
In vielen dieser Konstruktionen spielt der Kompaktheitssatz eine zentrale Rolle.
Wie ausdrucksstark ist eine Logik?
www-mgi.informatik.rwth-aachen.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.