英语 » 德语

词条„compactness theorem“在英语 » 德语中的译文 (跳至 德语 » 英语)

互联网提供的例句(未经PONS编辑处理)

3.

Prove that the compactness theorem does not hold for second order predicate logic .

www-madlener.informatik.uni-kl.de

3.

Zeigen Sie, dass der Kompaktheitssatz nicht für die Prädikatenlogik 2. Stufe gilt.

www-madlener.informatik.uni-kl.de

Hint :

Consider the following extended axiom system and apply the compactness theorem :

www-madlener.informatik.uni-kl.de

Hinweis :

Betrachten Sie das folgende erweiterte Axiomensystem und wenden sie den Kompaktheitssatz an:

www-madlener.informatik.uni-kl.de

Conversely, 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.de

Wir 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.de

是否要添加一些单词、短语或翻译?

请发送新条目。

语言 Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文