• Augmentar lletres
  • Inici
  • Informació
  • Contactar
  • Mapa
Máquinas de Turing y la indecidibilidad del problema de parada

Máquinas de Turing y la indecidibilidad del problema de parada

En la conferencia recapitularemos las reflexiones de Turing del año 1936 en las que se basa la formalización de la noción de algoritmo mediante sus máquinas
Ponents: Joerg Flum

Afegit el 14/06/2012 a les 12:01 | Vist 86 vegades | Duració del vídeo: 01:08:52 | Mida: 369.43MB

| |


Silverlight Player | Reproductor extern



 
logo FIB© Facultat d'Informàtica de Barcelona - webmaster @fib.upc.edu - MediaFIB versión: 3.0 RSS