BITÁCORA

Teorema de Forma Normal (Kleene). Existen un predicado T(e, x, y) (llamado el predicado-T Kleene) y una función U(y) que son recursivos...

BIT Definimos al bit como el conjunto B={0,1}, el cual representa dos estados, apagado y encendido. Esto se puede ver manifestado, por...

La lógica difusa es una manera de extender la lógica clásica (o proposicional de primer orden), usando teoría de probabilidad y de...

En la república Checa en el año 1906 nace Kurt Gödel , considerado como uno de los más grandes y prestigiosos matemáticos del siglo XX,...

Este es un breve resumen de un tema que fue una propuesta de tema para el proyecto blog. Independencia Un enunciado S es independiente de...