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 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,...
34 visualizaciones0 comentarios
Sebastian Molina
28 sept 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...
19 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