inferencia

  • 1 inferencia — sustantivo femenino 1. Uso/registro: elevado. Acción y resultado de inferir, deducir una consecuencia a partir de una idea anterior: Tu inferencia fue incorrecta, no abrí la puerta porque no podía, y no porque no estuviera en casa …

    Diccionario Salamanca de la Lengua Española

  • 2 inferência — s. f. 1. Ato ou efeito de inferir. 2. Dedução, conclusão …

    Dicionário da Língua Portuguesa

  • 3 inferencia — (De inferir). f. Acción y efecto de inferir …

    Diccionario de la lengua española

  • 4 Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …

    Wikipedia Español

  • 5 Inferencia — ► sustantivo femenino 1 Acción y resultado de inferir. 2 Enlace o relación entre ideas que se deducen unas de otras en un discurso o razonamiento. SINÓNIMO ilación deducción FRASEOLOGÍA inferencia estadística ESTADÍSTICA Conjunto de métodos que… …

    Enciclopedia Universal

  • 6 inferencia — {{#}}{{LM I21763}}{{〓}} {{SynI22313}} {{[}}inferencia{{]}} ‹in·fe·ren·cia› {{《}}▍ s.f.{{》}} Deducción de un juicio desconocido a partir de otro conocido: • ‘Estoy despierto, luego esto no es un sueño’ es una inferencia.{{○}} {{#}}{{LM… …

    Diccionario de uso del español actual con sinónimos y antónimos

  • 7 inferencia — s f 1 Consecuencia o conclusión que se considera lógicamente implicada en determinada proposición o en ciertos hechos: las inferencias de Newton 2 Forma de razonamiento que parte de ciertos datos o de determinados hechos, descubre las… …

    Español en México

  • 8 inferència — in|fe|rèn|ci|a Mot Esdrúixol Nom femení …

    Diccionari Català-Català

  • 9 inferencia — sustantivo femenino consecuencia*, ilación …

    Diccionario de sinónimos y antónimos

  • 10 Inferencia de tipos — es una característica predominante de los lenguajes de programación funcional tales como ML, Haskell y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el programador lo escriba. El tipo de… …

    Enciclopedia Universal

  • 11 inferencia arbitraria — Forma de distorsión cognitiva en la que un juicio, que se basa en pruebas insuficientes, lleva a una conclusión errónea. Diccionario Mosby Medicina, Enfermería y Ciencias de la Salud, Ediciones Hancourt, S.A. 1999 …

    Diccionario médico

  • 12 Inferencia bayesiana — La inferencia bayesiana se aplica a muchos dominios de la teoría de la decisión La inferencia bayesiana es un tipo de inferencia estadística en la que las evidencias u observaciones se emplean para actualizar o inferir la probabilidad de que una… …

    Wikipedia Español

  • 13 Inferencia de tipos — Los tipos de inferencia es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el …

    Wikipedia Español

  • 14 inferencia estadística — ► locución ESTADÍSTICA Conjunto de métodos que permiten formular un juicio sobre una población en términos de probabilidades, a partir de los resultados de una muestra al azar de la misma …

    Enciclopedia Universal

  • 15 Regla de inferencia — En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada… …

    Wikipedia Español

  • 16 Leyes de inferencia — Saltar a navegación, búsqueda Alguna reglas de inferencia clásicas, muy utilizadas en matematicas para la demostración de Teoremas, se detallan a continuación: Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q… …

    Wikipedia Español

  • 17 Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …

    Wikipedia Español

  • 18 Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… …

    Wikipedia Español

  • 19 Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …

    Wikipedia Español

  • 20 Explicación — Saltar a navegación, búsqueda Se entiende por explicación del latín “explicatio”: acción de desplegar o desenvolver ya sea hacer evidente la esencia de algún objeto o fenómeno de interés u ofrecer una aclaración o motivo entendible a la razón por …

    Wikipedia Español