BITÁCORA

Anotaciones sobre la clase y otros temas.

Christian Camilo Pabon Useche

13 dic 2020

Teorema de Forma Normal

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...

13 visualizaciones0 comentarios

Sebastian Molina

20 nov 2020

Introducción a la computación moderna (con un poco de sistemas formales)

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

17 visualizaciones0 comentarios

Sebastian Molina

1 sept 2020

Lógica Difusa

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...

38 visualizaciones0 comentarios

David Molina Rodríguez

1 sept 2020

Teoremas de incompletitud de Gödel

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,...

22 visualizaciones0 comentarios

Edison Huérfano

1 sept 2020

Conceptos de independencia y forcing

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...

19 visualizaciones0 comentarios