This HTML5 document contains 103 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
n23https://www21.in.tum.de/~nipkow/pubs/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22https://www.usna.edu/CS/qepcadweb/B/
n19https://infoscience.epfl.ch/record/110222/files/
dbpedia-eshttp://es.dbpedia.org/resource/
n25https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Quantifier_elimination
rdfs:label
Élimination des quantificateurs Eliminación de cuantificadores Quantifier elimination 量詞消去 Элиминация кванторов Eliminação de quantificadores Quantorenelimination
rdfs:comment
En logique mathématique, ou plus précisément en théorie des modèles, l'élimination des quantificateurs est l'action consistant à trouver une formule sans quantificateur équivalente à une formule donnée contenant éventuellement des quantificateurs dans la théorie considérée d'un certain langage. La eliminación de cuantificadores es un concepto de simplificación utilizado en lógica matemática, teoría de modelos, y teoría de la computación. Informalmente, una proposición cuantificada, por ejemplo " tal que " puede verse como una pregunta: "¿Cuándo hay un tal que ?",y la proposición sin cuantificadores puede verse como la respuesta a esa pregunta.​ Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement " such that " can be viewed as a question "When is there an such that ?", and the statement without quantifiers can be viewed as the answer to that question. Eliminação de quantificadores é um conceito de simplificação usado na lógica matemática, teoria dos modelos, e ciência da computação teórica. Um meio de classificar fórmulas é pelo número de quantificadores. Fórmulas com menos alternância entre os quantificadores são consideradas mais simples, sendo a fórmula livre de quantificadores a mais simples.Uma teoria possui eliminação de quantificadores se para cada fórmula , existe outra fórmula sem quantificadores que é logicamente equivalente a ela. Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории. 量詞消去是數理邏輯、模型論與計算機科學中的一類技巧。我們稱一個理論可消去量詞，若且唯若對每個公式皆存在另一個不帶量詞的公式，使得兩者在該理論中等價，即：。 量詞消去在模型論有多種刻劃；即使一個理論可消去量詞，也不保證存在一個相應的演算法。 一個理論的量詞消去演算法係將一個帶量詞的公式轉成一個等價但不帶量詞的公式。利用這個演算法，我們能將任一句子（不帶自由變量的公式）轉成一個不帶變量的句子，後者通常可藉簡單的計算判定。因此，量詞消去演算法的存在性蘊含該理論的可判定性。 Quantorenelimination bezeichnet in der Modelltheorie eine bestimmte Eigenschaft von Theorien: Man sagt, eine Theorie habe Quantorenelimination, wenn jede Formel innerhalb der Theorie zu einer Formel ohne Quantoren äquivalent ist. So ist beispielsweise in einem Körper (also etwa in den reellen Zahlen) die Formel , die besagt, dass ein multiplikatives inverses Element besitzt, äquivalent zu , also dazu, dass . In kommen keine Quantoren mehr vor. Lässt sich jede Formel in eine solche quantorenfreie Formel umformen, so besitzt die Theorie Quantorenelimination. In Theorien mit Quantorenelimination können also beliebige Formeln in quantorenfreie und damit einfachere Formeln umgeformt werden.
dcterms:subject
dbc:Model_theory
dbo:wikiPageID
2150441
dbo:wikiPageRevisionID
1121508988
dbo:wikiPageWikiLink
dbr:Quantifier_(logic) dbr:Sentence_(mathematical_logic) dbr:Feferman-Vaught_theorem dbr:Model_theory dbr:Nullstellensatz dbr:Real_closed_field dbr:Algebraically_closed_field dbr:Dense_linear_order dbr:Academic_Press dbr:Atom_(order_theory) dbr:Relation_(mathematics) dbr:Logical_equivalence dbr:Formal_language dbr:Complete_theory dbr:Well-formed_formula dbr:Algorithm dbr:Term_algebra dbr:Queue_(mathematics) dbr:Logical_theory dbr:Differentially_closed_field dbr:Elimination_theory dbr:Decidability_(logic) dbr:Mathematical_logic dbr:Fundamenta_Mathematicae dbr:Boolean_algebras dbr:Abelian_group dbr:Presburger_arithmetic dbr:Countable dbr:Disjunctive_normal_form dbr:Literal_(mathematical_logic) dbr:Random_graph dbr:Quadratic_polynomial dbr:Tarski–Seidenberg_theorem dbr:Discriminant dbr:Free_variable dbc:Model_theory dbr:Conjunction_elimination dbr:Theoretical_computer_science dbr:Cylindrical_algebraic_decomposition dbr:Amalgamation_property dbr:Fourier–Motzkin_elimination dbr:Ordered_group dbr:Simplification_(disambiguation) dbr:Cambridge_University_Press dbr:Substructure_(mathematics) dbr:Model_complete dbr:Springer-Verlag dbr:Modulo_(jargon)
dbo:wikiPageExternalLink
n19:KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.pdf n22:QE.html n23:ijcar08.pdf
owl:sameAs
dbpedia-he:חילוץ_כמתים dbpedia-zh:量詞消去 dbpedia-ru:Элиминация_кванторов freebase:m.06qh9_ dbpedia-pt:Eliminação_de_quantificadores wikidata:Q1849020 dbpedia-fa:حذف_سور dbpedia-de:Quantorenelimination dbpedia-es:Eliminación_de_cuantificadores n25:nFj2 dbpedia-fr:Élimination_des_quantificateurs
dbp:wikiPageUsesTemplate
dbt:Cite_web dbt:Cite_journal dbt:Refend dbt:Reflist dbt:Clarify dbt:Refbegin dbt:Cn dbt:Harvid dbt:Cite_conference dbt:Cite_book dbt:Harvtxt dbt:Sfn
dbp:date
October 2020
dbp:reason
complete sentence needed
dbo:abstract
Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории. Процессы нахождения алгоритмов элиминации кванторов для различных теорий имеют общие черты, что позволяет говорить о них как о едином методе. Название метод элиминации кванторов ввёл в обиход Тарский в 1935 году, хотя впервые соображения такого рода были применены ещё в 1927 году. Метод элиминации кванторов применим только к теориям очень специального вида, кроме того, каждый раз, когда этот метод применяется к новой теории, приходится проводить все доказательства с самого начала, так как арсенал общих результатов весьма скуден. Однако, если его удаётся применить, этот метод оказывается чрезвычайно полезным, так как даёт исчерпывающую информацию о данной теории. Обычно он также приводит к регулярному способу, позволяющему решить, принадлежит ли некоторое высказывание данной теории или нет — иными словами, даёт доказательство разрешимости теории. En logique mathématique, ou plus précisément en théorie des modèles, l'élimination des quantificateurs est l'action consistant à trouver une formule sans quantificateur équivalente à une formule donnée contenant éventuellement des quantificateurs dans la théorie considérée d'un certain langage. Ainsi, si l'on considère la théorie des corps réels clos, le langage de cette théorie est L={+,•,<,0,1} où +,• sont deux symboles de fonction d'arité 2, < est un symbole de relation binaire, et 0,1 sont deux symboles de constante, la L-formule ∃x (ax² + bx + c = 0) est équivalente à la L-formule dans la théorie, car dans cette théorie ax² + bx + c = 0 admet une racine si et seulement si a, b et c sont tous nuls, ou a est nul mais b est non nul, ou a non nul et est positif. Eliminação de quantificadores é um conceito de simplificação usado na lógica matemática, teoria dos modelos, e ciência da computação teórica. Um meio de classificar fórmulas é pelo número de quantificadores. Fórmulas com menos alternância entre os quantificadores são consideradas mais simples, sendo a fórmula livre de quantificadores a mais simples.Uma teoria possui eliminação de quantificadores se para cada fórmula , existe outra fórmula sem quantificadores que é logicamente equivalente a ela. Quantorenelimination bezeichnet in der Modelltheorie eine bestimmte Eigenschaft von Theorien: Man sagt, eine Theorie habe Quantorenelimination, wenn jede Formel innerhalb der Theorie zu einer Formel ohne Quantoren äquivalent ist. So ist beispielsweise in einem Körper (also etwa in den reellen Zahlen) die Formel , die besagt, dass ein multiplikatives inverses Element besitzt, äquivalent zu , also dazu, dass . In kommen keine Quantoren mehr vor. Lässt sich jede Formel in eine solche quantorenfreie Formel umformen, so besitzt die Theorie Quantorenelimination. In Theorien mit Quantorenelimination können also beliebige Formeln in quantorenfreie und damit einfachere Formeln umgeformt werden. 量詞消去是數理邏輯、模型論與計算機科學中的一類技巧。我們稱一個理論可消去量詞，若且唯若對每個公式皆存在另一個不帶量詞的公式，使得兩者在該理論中等價，即：。 量詞消去在模型論有多種刻劃；即使一個理論可消去量詞，也不保證存在一個相應的演算法。 一個理論的量詞消去演算法係將一個帶量詞的公式轉成一個等價但不帶量詞的公式。利用這個演算法，我們能將任一句子（不帶自由變量的公式）轉成一個不帶變量的句子，後者通常可藉簡單的計算判定。因此，量詞消去演算法的存在性蘊含該理論的可判定性。 Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement " such that " can be viewed as a question "When is there an such that ?", and the statement without quantifiers can be viewed as the answer to that question. One way of classifying formulas is by the amount of quantification. Formulas with less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulas as the simplest.A theory has quantifier elimination if for every formula , there exists another formula without quantifiers that is equivalent to it (modulo this theory). La eliminación de cuantificadores es un concepto de simplificación utilizado en lógica matemática, teoría de modelos, y teoría de la computación. Informalmente, una proposición cuantificada, por ejemplo " tal que " puede verse como una pregunta: "¿Cuándo hay un tal que ?",y la proposición sin cuantificadores puede verse como la respuesta a esa pregunta.​ Un criterio de clasificación de fórmulas es atendiendo a su cantidad de cuantificadores. Las fórmulas con menos cuantificadores anidados son más simples, siendo las fórmulas en las que no aparecen cuanficiadores las más sencillas.Una teoría lógica tiene eliminación de cuantificadores si para cada fórmula , existe otra fórmula sin cuantificadores que es equivalente a ella ( de ese teorema).
prov:wasDerivedFrom
wikipedia-en:Quantifier_elimination?oldid=1121508988&ns=0
dbo:wikiPageLength
10586
foaf:isPrimaryTopicOf
wikipedia-en:Quantifier_elimination