Übersetzung für "Prädikatenlogik" in Englisch

Die Prädikatenlogik zweiter Stufe ist ein Teilgebiet der mathematischen Logik.
In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.
Wikipedia v1.0
Gottlob Frege und Charles Sanders Peirce entwickelten unabhängig voneinander die Prädikatenlogik.
The foundations of predicate logic were developed independently by Gottlob Frege and Charles Sanders Peirce.
Wikipedia v1.0
Die Grammatik ist streng nach Gesichtspunkten der Prädikatenlogik aufgebaut.
The language's grammar is based on predicate logic.
WikiMatrix v1
Bei Prädikatenlogik sind die Modelle komplexer.
In first order logic the models are more complex.
QED v2.0a
So sieht also das Modell der Prädikatenlogik aus.
So that's what a model in first order logic looks like.
QED v2.0a
Es unterstützt Aussagen- und Prädikatenlogik sowie boolesche Algebra und arithmetische Logik.
It supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic.
ParaCrawl v7.1
Daraus folgt, Prädikatenlogik erster Stufe genügt nicht um die Weltformel zu beschreiben.
It follows first-order logic is not enough to describe the world formula.
CCAligned v1
Grundlage der mathematischen Argumentation ist die sogenannte Prädikatenlogik.
Basis for the mathematical argumentation is the so called predicate calculus.
ParaCrawl v7.1
In der Prädikatenlogik gibt es zu jeder Formel eine logisch äquivalente Formel in Pränexform.
In intuitionistic logic, it is not true that every formula is logically equivalent to a prenex formula.
Wikipedia v1.0
Lojban beruht auf der Prädikatenlogik.
The grammar of Lojban is based on predicate logic.
WikiMatrix v1
In der klassischen Prädikatenlogik gibt es zu jeder Formel eine logisch äquivalente Formel in Pränexform.
Every formula in classical logic is equivalent to a formula in prenex normal form.
WikiMatrix v1
Zusicherungen sind Formeln der Prädikatenlogik.
Assertions are formulae in predicate logic.
WikiMatrix v1
Daher werden wir uns als Nächstes mit der Prädikatenlogik beschäftigen, welche diese beiden Einschränkungen aufhebt.
So, we will next cover first-order logic which addresses these two limitations.
QED v2.0a
In der Prädikatenlogik gibt es Relationen zwischen Dingen der Welt, Objekten und Funktionen dieser Objekte.
So in first order logic we have relations about things in the world, objects, and functions on those objects.
QED v2.0a
Unter Logik höherer Stufe (), auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Higher-order logic is the union of first-, second-, third-, ... order logic; i.e.
Wikipedia v1.0
Sie ist eine widerspruchsfreie Erweiterung der Prädikatenlogik und erlaubt (wie Peano) den uneingeschränkten Gebrauch von Klassentermen.
It is a consistent extension of predicate logic and allows the unrestricted use of class terms (such as Peano).
Wikipedia v1.0
Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der Logik sowie in Mathematik, Informatik, Linguistik und Philosophie.
In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic.
Wikipedia v1.0
Die Aussagenlogik, stärkere klassische Logiken wie Prädikatenlogik der zweiten Stufe oder nicht-klassische Logiken wie intuitionistische Logik werden ebenfalls untersucht.
Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.
Wikipedia v1.0
Skolemform ist ein Begriff der Prädikatenlogik und bezeichnet eine prädikatenlogische Formel, die sich in einer Normalform nach Albert Thoralf Skolem befindet.
A formula of first-order logic is in Skolem normal form (named after Thoralf Skolem) if it is in prenex normal form with only universal first-order quantifiers.
Wikipedia v1.0
Hier bewies er einen nach ihm benannten Satz, dass die modale Logik der Teil der Prädikatenlogik ist, der unter Bisimulation geschlossen ist.
This research has resulted in Van Benthem's Theorem, which states that modal logic is the fragment of first-order logic that is closed under bisimulation.
Wikipedia v1.0
Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden.
Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic.
WikiMatrix v1
Satz von Lindenbaum: Jede konsistente Formelmenge der Prädikatenlogik erster Stufe kann zu einer konsistenten und vollständigen Theorie erweitert werden.
In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory.
WikiMatrix v1
Der Vollständigkeitssatz (1929) (von Gödel) zeigte die Äquivalenz von semantischem und syntaktischem Folgern in der klassischen Prädikatenlogik der ersten Stufe.
Gödel's completeness theorem (Gödel 1929) established the equivalence between semantic and syntactic definitions of logical consequence in first-order logic.
WikiMatrix v1
Der Satz von Fagin ist ein 1973 von Ronald Fagin bewiesener Satz aus der deskriptiven Komplexitätstheorie, der aussagt, dass die Menge aller mit Hilfe der existentiellen Prädikatenlogik zweiter Stufe beschreibbaren Sätze genau die Komplexitätsklasse NP ist.
Fagin's theorem is a result in descriptive complexity theory that states that the set of all properties expressible in existential second-order logic is precisely the complexity class NP.
WikiMatrix v1