Inferencias Sintesis
Páginas: 2 (260 palabras)
Publicado: 24 de noviembre de 2013
Inferencia
Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal son expresiones bien formadas de un lenguaje formal (EBF) que,al ser relacionadas , permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedadposible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así loque conocemos como postulado1 o transformada de una expresión original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextosreferenciales diversos,3 obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.
Los tipos de inferencia es una característica predominantede 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 sinnecesidad de que el programador lo escriba. El tipo de las funciones es reconstruido a partir de un análisis estático del programa realizado por el compilador ointérprete del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.
Ejemplo
Una definición de la función longitud de listaen Haskell se puede definir de la siguiente forma: ==
-- Función longitud
-- [] denota una lista vacía
-- (prim:resto) denota una lista formada por un elemento,prim, concatenado o construido con el resto
-- : operador constructor de listas.
function longitud
longitud [] = 0
longitud (prim:resto) = 1 + longitud resto
Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal son expresiones bien formadas de un lenguaje formal (EBF) que,al ser relacionadas , permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedadposible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así loque conocemos como postulado1 o transformada de una expresión original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextosreferenciales diversos,3 obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.
Los tipos de inferencia es una característica predominantede 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 sinnecesidad de que el programador lo escriba. El tipo de las funciones es reconstruido a partir de un análisis estático del programa realizado por el compilador ointérprete del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.
Ejemplo
Una definición de la función longitud de listaen Haskell se puede definir de la siguiente forma: ==
-- Función longitud
-- [] denota una lista vacía
-- (prim:resto) denota una lista formada por un elemento,prim, concatenado o construido con el resto
-- : operador constructor de listas.
function longitud
longitud [] = 0
longitud (prim:resto) = 1 + longitud resto
Leer documento completo
Regístrate para leer el documento completo.