| http://dbpedia.org/ontology/abstract
|
La eliminación de cuantificadores es un co … 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).e es equivalente a ella ( de ese teorema).
, 量詞消去是數理邏輯、模型論與計算機科學中的一類技巧。我們稱一個理論可消去量詞，若且唯若對每個公式皆存在另一個不帶量詞的公式，使得兩者在該理論中等價，即：。 量詞消去在模型論有多種刻劃；即使一個理論可消去量詞，也不保證存在一個相應的演算法。 一個理論的量詞消去演算法係將一個帶量詞的公式轉成一個等價但不帶量詞的公式。利用這個演算法，我們能將任一句子（不帶自由變量的公式）轉成一個不帶變量的句子，後者通常可藉簡單的計算判定。因此，量詞消去演算法的存在性蘊含該理論的可判定性。
, Quantorenelimination bezeichnet in der Mod … 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.damit einfachere Formeln umgeformt werden.
, Eliminação de quantificadores é um conceit … 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.dores que é logicamente equivalente a ela.
, Элиминация кванторов — получение по заданн … Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории. Процессы нахождения алгоритмов элиминации кванторов для различных теорий имеют общие черты, что позволяет говорить о них как о едином методе. Название метод элиминации кванторов ввёл в обиход Тарский в 1935 году, хотя впервые соображения такого рода были применены ещё в 1927 году. Метод элиминации кванторов применим только к теориям очень специального вида, кроме того, каждый раз, когда этот метод применяется к новой теории, приходится проводить все доказательства с самого начала, так как арсенал общих результатов весьма скуден. Однако, если его удаётся применить, этот метод оказывается чрезвычайно полезным, так как даёт исчерпывающую информацию о данной теории. Обычно он также приводит к регулярному способу, позволяющему решить, принадлежит ли некоторое высказывание данной теории или нет — иными словами, даёт доказательство разрешимости теории., даёт доказательство разрешимости теории.
, Quantifier elimination is a concept of sim … 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). is equivalent to it (modulo this theory).
, En logique mathématique, ou plus préciséme … 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. est non nul, ou a non nul et est positif.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www21.in.tum.de/~nipkow/pubs/ijcar08.pdf +
, https://infoscience.epfl.ch/record/110222/files/KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.pdf +
, https://www.usna.edu/CS/qepcadweb/B/QE.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
2150441
|
| http://dbpedia.org/ontology/wikiPageLength
|
10586
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121508988
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Modulo_%28jargon%29 +
, http://dbpedia.org/resource/Real_closed_field +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Academic_Press +
, http://dbpedia.org/resource/Model_complete +
, http://dbpedia.org/resource/Dense_linear_order +
, http://dbpedia.org/resource/Literal_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Queue_%28mathematics%29 +
, http://dbpedia.org/resource/Feferman-Vaught_theorem +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Elimination_theory +
, http://dbpedia.org/resource/Algebraically_closed_field +
, http://dbpedia.org/resource/Well-formed_formula +
, http://dbpedia.org/resource/Disjunctive_normal_form +
, http://dbpedia.org/resource/Quadratic_polynomial +
, http://dbpedia.org/resource/Conjunction_elimination +
, http://dbpedia.org/resource/Fundamenta_Mathematicae +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Substructure_%28mathematics%29 +
, http://dbpedia.org/resource/Ordered_group +
, http://dbpedia.org/resource/Nullstellensatz +
, http://dbpedia.org/resource/Atom_%28order_theory%29 +
, http://dbpedia.org/resource/Cylindrical_algebraic_decomposition +
, http://dbpedia.org/resource/Differentially_closed_field +
, http://dbpedia.org/resource/Abelian_group +
, http://dbpedia.org/resource/Random_graph +
, http://dbpedia.org/resource/Quantifier_%28logic%29 +
, http://dbpedia.org/resource/Complete_theory +
, http://dbpedia.org/resource/Category:Model_theory +
, http://dbpedia.org/resource/Logical_theory +
, http://dbpedia.org/resource/Relation_%28mathematics%29 +
, http://dbpedia.org/resource/Presburger_arithmetic +
, http://dbpedia.org/resource/Free_variable +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Simplification_%28disambiguation%29 +
, http://dbpedia.org/resource/Amalgamation_property +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Term_algebra +
, http://dbpedia.org/resource/Discriminant +
, http://dbpedia.org/resource/Fourier%E2%80%93Motzkin_elimination +
, http://dbpedia.org/resource/Boolean_algebras +
, http://dbpedia.org/resource/Tarski%E2%80%93Seidenberg_theorem +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Sentence_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Countable +
, http://dbpedia.org/resource/Cambridge_University_Press +
|
| http://dbpedia.org/property/date
|
October 2020
|
| http://dbpedia.org/property/reason
|
complete sentence needed
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Cn +
, http://dbpedia.org/resource/Template:Harvtxt +
, http://dbpedia.org/resource/Template:Cite_conference +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Sfn +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Harvid +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Model_theory +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Quantifier_elimination?oldid=1121508988&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Quantifier_elimination +
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.06qh9_ +
, http://pt.dbpedia.org/resource/Elimina%C3%A7%C3%A3o_de_quantificadores +
, http://ru.dbpedia.org/resource/%D0%AD%D0%BB%D0%B8%D0%BC%D0%B8%D0%BD%D0%B0%D1%86%D0%B8%D1%8F_%D0%BA%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80%D0%BE%D0%B2 +
, http://de.dbpedia.org/resource/Quantorenelimination +
, http://he.dbpedia.org/resource/%D7%97%D7%99%D7%9C%D7%95%D7%A5_%D7%9B%D7%9E%D7%AA%D7%99%D7%9D +
, https://global.dbpedia.org/id/nFj2 +
, http://fr.dbpedia.org/resource/%C3%89limination_des_quantificateurs +
, http://zh.dbpedia.org/resource/%E9%87%8F%E8%A9%9E%E6%B6%88%E5%8E%BB +
, http://fa.dbpedia.org/resource/%D8%AD%D8%B0%D9%81_%D8%B3%D9%88%D8%B1 +
, http://dbpedia.org/resource/Quantifier_elimination +
, http://es.dbpedia.org/resource/Eliminaci%C3%B3n_de_cuantificadores +
, http://www.wikidata.org/entity/Q1849020 +
|
| rdfs:comment |
Элиминация кванторов — получение по заданн … Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории.содержательных результатов об этой теории.
, Quantifier elimination is a concept of sim … 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. be viewed as the answer to that question.
, 量詞消去是數理邏輯、模型論與計算機科學中的一類技巧。我們稱一個理論可消去量詞，若且唯若對每個公式皆存在另一個不帶量詞的公式，使得兩者在該理論中等價，即：。 量詞消去在模型論有多種刻劃；即使一個理論可消去量詞，也不保證存在一個相應的演算法。 一個理論的量詞消去演算法係將一個帶量詞的公式轉成一個等價但不帶量詞的公式。利用這個演算法，我們能將任一句子（不帶自由變量的公式）轉成一個不帶變量的句子，後者通常可藉簡單的計算判定。因此，量詞消去演算法的存在性蘊含該理論的可判定性。
, Quantorenelimination bezeichnet in der Mod … 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.damit einfachere Formeln umgeformt werden.
, La eliminación de cuantificadores es un co … 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.e verse como la respuesta a esa pregunta.
, Eliminação de quantificadores é um conceit … 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.dores que é logicamente equivalente a ela.
, En logique mathématique, ou plus préciséme … 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.a théorie considérée d'un certain langage.
|
| rdfs:label |
Élimination des quantificateurs
, 量詞消去
, Eliminación de cuantificadores
, Eliminação de quantificadores
, Quantifier elimination
, Quantorenelimination
, Элиминация кванторов
|
