Descripción
Esta actividad consta de dos sesiones. En la primera sesión hablaremos de paradojas y demostraciones en matemáticas. La segunda se apoya en los autómatas de estados finitos para decidir qué problemas se pueden resolver con un ordenador (y cuáles no). Las dos sesiones tendrán enfoque participativo y manipulativo.
Organiza
Escuela Técnica Superior de Ingeniería de Sistemas Informáticos (ETSISI) UPM /
Universidad Politécnica de Madrid
Coorganizadores