Werbung
 Übersetzung für 'Quantoren' von Deutsch nach Englisch
NOUN   der Quantor | die Quantoren
math.
quantifiers
Quantoren {pl}
14
1 Übersetzung
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Übersetzung für 'Quantoren' von Deutsch nach Englisch

Quantoren {pl}
quantifiersmath.
Werbung
Anwendungsbeispiele Deutsch
  • Zeichen und Zeichenketten über dem Gesamtalphabet sind oben zur Verdeutlichung blau hervorgehoben, insbesondere gehören dazu die Junktoren und Quantoren auf der linken Seite (Objektsprache).
  • Die doppelt-exponentielle Komplexität begrenzt zwar die praktische Einsetzbarkeit für komplizierte Formeln, jedoch tritt dieses Verhalten nur bei verschachtelten Quantoren auf: Oppen und Nelson beschreiben ein auf dem Simplex-Verfahren beruhendes automatisches Beweissystem für eine erweiterte Presburger-Arithmetik ohne verschachtelte Quantoren.
  • Quantoren sind Wörter, mit denen Mengenangaben dargestellt werden, wie zum Beispiel: "kein, alle, wenig, viel".
  • Quantoren sind standardmäßig „gierig“ (...) implementiert.
  • Das zweite charakteristische Konzept der Prädikatenlogik ist der "Quantor". Quantoren geben an, von wie vielen Individuen des Diskursuniversums eine Satzfunktion erfüllt wird.

  • Inhaltlich beantwortet diese Frage Alfred Tarski: Ihm gelingt es zu zeigen, dass zur vollen Ausdrucksstärke Quantoren unerlässlich sind.
  • Eine Lücke in Gödels Arbeit "Zum Entscheidungsproblem des logischen Funktionenkalküls" von 1933 fanden Stal Anderaa Mitte der 1960er Jahre und Warren Goldfarb, der 1984 bewies, dass die entsprechende Theorie (mit zwei Allquantoren gefolgt von einer beliebigen Anzahl von Existenz-Quantoren und mit Identität) entgegen Gödels Behauptung sogar unentscheidbar war.
  • Für einen Kalkül des natürlichen Schließens für die Prädikatenlogik sind zusätzliche Einführungs- und Beseitigungsregeln für die Quantoren erforderlich.
  • Partee veröffentlichte zahlreiche eigene Beiträge u. a. zu Quantoren, Typentheorie und Tempussemantik. In letzter Zeit arbeitet sie zum Genitiv der Verneinung im Russischen.
  • Der sogenannte verschärfte Hauptsatz ist dem Satz von Herbrand ähnlich. Dabei geht es um die Rolle der Quantoren in einem Beweis.

  • Neben diesen Symbolen stehen dann aussagenlogische Junktoren, die Quantoren, das Gleichheitszeichen sowie Variablen zum Formelaufbau zur Verfügung.
  • So lässt sich der Satz beweistheoretisch durch die Vollständigkeit des schnittfreien Sequenzenkalküls zeigen, indem aus einer schnittfreien Herleitung die Einführungen der Quantoren beseitigt werden, sodass man die Herleitung einer Sequenz aus quantorenfreien Instanzen erhält.
  • Die beiden gebräuchlichsten Quantoren sind der "Existenzquantor" (in natürlicher Sprache zum Beispiel als „mindestens ein“ ausgedrückt) und der "Allquantor" (in natürlicher Sprache zum Beispiel als „alle“ oder „jede/r/s“ ausgedrückt).
  • In der formalen Semantik dient die Lambda-Abstraktion dazu, "aus einer Formel Prädikate zu erzeugen, Individuen als generalisierte Quantoren darzustellen und die Semantik von Quantoren und Determinanten [...] formalisieren."
  • diejenige Formel, die man durch Streichen sämtlicher Quantoren aus [...] erhält.

  • Ontologische Verpflichtungen lassen sich erst dann transparent machen, wenn die Aussagen in „kanonischer Notation“, also in quantorenlogischer Form vorliegen.
  • Wie obige Definition zeigt, sind nur die Quantoren [...] und [...] von der [...] -Relativierung betroffen, was der intuitiven Vorstellung einer Einschränkung auf [...] entgegenkommt.
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!