inferencia
11Inferencia 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 …
12inferència — in|fe|rèn|ci|a Mot Esdrúixol Nom femení …
13inferencia — sustantivo femenino consecuencia*, ilación …
14inferencia 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 …
15Regla 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… …
16Leyes 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… …
17Ló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… …
18Grá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… …
19Cá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… …
20Explicació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 …