Vídeos

Esteu convidats al canal youtube sobre lògica formal, on trobareu enllaços que poden ajudar a entendre l'estudi dels sistemes formals a primer de batxillerat:

PechaKucha de la unitat didàctica





No hay comentarios:

Publicar un comentario

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

  • Benvinguda
    Benvinguts a la bitàcola lògica formal per a primer de batxillerat. Un dels objectius principals d'aquesta unitat és proporcionar el ...
  • Gödel i la teoria de la incompletesa
    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...
  • Axiomes i geometría
    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...