Suscribirse a:
Entradas (Atom)
Les màquines de Turing
Turing Bomber Machine Codebreaker Alan Turing és probablement l'ultim d'una llarga saga de pensadors que van formar part d'...
-
Benvinguts a la bitàcola lògica formal per a primer de batxillerat. Un dels objectius principals d'aquesta unitat és proporcionar el ...
-
El jove que havia enfonsat la carrera de Frege, Bertrand Russell, va patir en pròpia carn la maledicció de la paradoxa que portava el seu no...
-
Euclides és el pare dels sistemes axiomàtics. Va viure a la Grècia antiga, poc després d'Aristòtil, i sembla que la seva vida es desen...
No hay comentarios:
Publicar un comentario