

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


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


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


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