

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

Sebastian Molina
20 nov 2020
17 visualizaciones
0 comentarios


Introducción a las clases
Como es bien sabido, el inicio de Beiträge zur Begründung der transfiniten Mengenlehre, o de una manera no tan precisa en español,...

Sebastian Molina
1 nov 2020
34 visualizaciones
0 comentarios


El sistema axiomático de Von Neumann-Bernays-Gödel
Como vimos en la entrada de Introducción a las clases, se puede desarrollar un sistema axiomático basado en las clases. En particular, se...

Sebastian Molina
28 sept 2020
19 visualizaciones
0 comentarios


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

Sebastian Molina
1 sept 2020
38 visualizaciones
0 comentarios