Search
Now showing items 1-2 of 2
¿Cuándo un sistema (no) computa?
(Universidad Nacional de Córdoba, 2012-11)
En el este trabajo presentaremos un esbozo de cara:ctenzaoón de la noción de computación a partir de la de intérprete y luego sugeriremos una forma de vincular esta caracterización con el problema del pancomputacionalismo. ...
El debate acerca de la verificación formal de los programas
(Universidad Nacional de Córdoba, 2009-10)
En este trabajo nos concentramos en un análisis de los argrunentos presentados en
(Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus
opiniones, por ejemplo en el trabajo ...