Werbung
 Übersetzung für 'Satz von Fagin' von Deutsch nach Englisch
math.
Fagin's theorem [also: theorem of Fagin]
Satz {m} von Fagin
Teiltreffer
math.
Schauder's theorem [also: Schauder theorem, theorem of Schauder]
Satz {m} von Schauder
math.
Lindenbaum's theorem [also: Lindenbaum theorem, theorem of Lindenbaum]
Satz {m} von Lindenbaum
math.
Gauss's theorem
Satz {m} von Gauß
math.
Segre's theorem [also: theorem of Segre]
Satz {m} von Segre
math.
Roth's theorem
Satz {m} von Roth
math.
Thurston's theorem [also: theorem of Thurston]
Satz {m} von Thurston
math.
Cheng's theorem
Satz {m} von Cheng
math.
Chen's theorem
Satz {m} von Chen
math.
Gershgorin circle theorem
Satz {m} von Gerschgorin
math.
Gantmacher's theorem [also: Gantmacher theorem, theorem of Gantmacher]
Satz {m} von Gantmacher
math.
Silver's theorem [theorem of Silver]
Satz {m} von Silver
math.
Lie's theorem [also: theorem of Lie]
Satz {m} von Lie
math.
Lochs' theorem [also: theorem of Lochs]
Satz {m} von Lochs
math.
Thabit's theorem
Satz {m} von Thabit
math.
Sperner's theorem [also: Sperner theorem, theorem of Sperner]
Satz {m} von Sperner
med.
theorem of Lovász [also: Lovász theorem]
Satz {m} von Lovász
math.
Bloch's theorem [also: Bloch theorem, theorem of Bloch]
Satz {m} von Bloch
math.
Valiron's theorem [also: theorem of Valiron]
Satz {m} von Valiron
math.
Löb's theorem [also: theorem of Löb, theorem of Loeb]
Satz {m} von Löb
math.
Little's theorem
Satz {m} von Little
21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Deutsch
  • 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.
  • Nach dem Satz von Fagin ist eine Sprache "L" genau dann in NP, wenn es einen Satz in der existenziellen Prädikatenlogik zweiter Stufe (SO∃) gibt, der "L" beschreibt.
  • Die Klasse der mittels ∃SO-Ausdrücken definierbaren Strukturen ist über den Satz von Fagin eng mit den Sprachen der Komplexitätsklasse NP verbunden, so dass sich bei geeigneter Codierung ∃SO mit NP identifizieren lassen.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!