Lógica paraconsistente oor Engels
Lógica paraconsistente
Vertalings in die woordeboek Spaans - Engels
paraconsistent logic
en
type of formal logic without explosion principle
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Él predijo la utilidad de la lógica paraconsistente que sólo surgió mucho más tarde.
may we praise you in union with themLiterature Literature
La característica distintiva de una lógica paraconsistente es que rechaza el principio de explosión.
You must have been suffering since then, tooWikiMatrix WikiMatrix
Otro crítico de la lógica paraconsistente.
I feel I should repay you with somethingWikiMatrix WikiMatrix
Probablemente el más firme defensor actual de la lógica paraconsistente.
Government RegulationWikiMatrix WikiMatrix
Personalidaes destacadas en la historia y /o el desarrollo de la lógica paraconsistente son: Alan Ross Anderson (EE.
If we can forge a case file linking the silver thefts, he won' t be able to resist itWikiMatrix WikiMatrix
En ese sentido, la lógica paraconsistente es más "conservativa" o "cautelosa" que una lógica clásica.
The idea becomes an institutionWikiMatrix WikiMatrix
Acuñó la expresión "lógica paraconsistente".
You know, Mom, you have kind of a Barbara Stanwycky voiceWikiMatrix WikiMatrix
Uno de los fundadores de la lógica de relevancia, un tipo de lógica paraconsistente.
The European Commission is launching a call for proposals (ref. ECFIN/A#/#/#) for carrying out surveys as part of the Joint Harmonised EU Programme of Business and Consumer Surveys (approved by the Commission on # July #, COM #) in the # EU Member States and in the candidate countries: Croatia, the former Yugoslav Republic of Macedonia, Iceland and TurkeyWikiMatrix WikiMatrix
Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.
Did you talk to him?WikiMatrix WikiMatrix
Una característica notable de las lógicas relevantes es que son lógicas paraconsistentes: la existencia de una contradicción no causará una explosión.
The Grahams put in a pool?WikiMatrix WikiMatrix
El enfoque de la revisión de creencias es alternativo para las lógicas paraconsistentes, las cuales más que intentar remover la inconsistencia la toleran.
And where are they?WikiMatrix WikiMatrix
Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos paraconsistentes (o "tolerantes a la inconsistencia").
It' il reassure youWikiMatrix WikiMatrix
Por lo tanto a diferencia de la lógica clásica y otros tipos de lógicas, las lógicas paraconsistentes pueden ser usadas para formalizar teorías inconsistentes no triviales.
Let' s get this understoodWikiMatrix WikiMatrix
Mientras estas ideas funcionan tanto en la lógica clásica como en la instuicionista, no funcionan en la lógica paraconsistente, donde las contradicciones no son necesariamente falsas.
For hours Rex dragged himself along just ahead of themWikiMatrix WikiMatrix
Debe destacarse que las lógicas paraconsistentes en general son más débiles que las lógicas clásicas; o sea es posible realizar a partir de ellas una menor cantidad de inferencias.
Of course I was thereWikiMatrix WikiMatrix
El punto importante es que una lógica paraconsistente nunca puede ser la extensión de una lógica clásica, es decir, validar todo aquello que es posible validar mediante una lógica clásica.)
That doesn' t mean you didn' t use itWikiMatrix WikiMatrix
En la lógica paraconsistente, la introducción de la disyunción es controversial porque en combinación con otras reglas de la lógica, conduce a la explosión (es decir, todo se vuelve demostrable).
I drewblood from his hand with a needle, he didn' t even flinchWikiMatrix WikiMatrix
La lógica paraconsistente es aplicable para resolver problemas complejos de toma de decisiones, tal como se ha demostrado en dos publicaciones del proyecto en revistas de renombre sometidas a revisión.
They' re gonna press charges?cordis cordis
Del mismo modo, se pueden obtener los métodos de cálculo para la lógica intuicionista dual, que es una tipo de lógica paraconsistente, exigiendo que los consecuentes tengan una fórmula en el antecedente.
lf he does, your prenuptial stops him from getting anythingWikiMatrix WikiMatrix
En lógica difusa paraconsistente, una proposición no está limitada a ser verdadera o falsa.
He died this morningcordis cordis
Un grupo de científicos financiado por la Unión Europea desafió este principio tratando las contradicciones con lógica difusa paraconsistente de forma sensata.
The beans smell delicious, Sergeantcordis cordis
Peña implementa el gradualismo pluralista ético con la lógica difusa paraconsistente: las conductas pueden considerarse a la vez buenas y malas, mejores en ciertos aspectos y peores en otros.
Oh...I can' t go on like thisWikiMatrix WikiMatrix
A diferencia de otras corrientes del movimiento de la lógica paraconsistente (como la relevantista y la brasileña de Newton da Costa), el tratamiento paraconsistente desarrollado por Peña —que pertenece a la familia de lógicas difusas, o fuzzy, fundada por Lotfi A. Zadeh— concibe las contradicciones reales o verdaderas como aquellas situaciones en las que un estado de cosas sólo tiene una existencia parcial.
In the name of clarity, why does the Prime Minister not say what constitutes an acceptable majority?WikiMatrix WikiMatrix
El proyecto PARFUZGENQ (Paraconsistent fuzzy logic with generalized quantifiers), financiado por la Unión Europea, se centró en álgebras multivaluadas perfectas.
Oh, hi, guys.I didn' t see you therecordis cordis
"""Cualquier teoría matemática presentada en la lógica del primer orden tiene un modelo paraconsistente finito."""
• Council of Europe, A Media Policy for Tomorrow, Ministerial Declaration, 6th European Ministerial Conference on Mass Media Policy, Cracow, June 15-16, 2000, typescript, 3 p.Literature Literature
37 sinne gevind in 11 ms. Hulle kom uit baie bronne en word nie nagegaan nie.