ISSN 2255-2316
Panel lateral
En este momento está usando el acceso para invitados
Acceder
OCW
Tamaño de la fuente
A-
A
A+
Color del sitio
R
A
A
A
Salta al contenido principal
OCW
Panel lateral
Página Principal
Cursos por ámbito
Otros sitios OCW
MIT OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
OCW UPV/EHU
Más
En este momento está usando el acceso para invitados
Acceder
Página Principal
Cursos por ámbito
Otros sitios OCW
Colapsar
Expandir
MIT OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
OCW UPV/EHU
Usuarios
Expandir todo
Colapsar todo
Abrir índice del curso
Fundamentos de Computabilidad [2011/03] [cas]
Topic 3
R. Implementaciones
R. Implementaciones
Requisitos de finalización
Haga clic en
TRA_4_Implementaciones.pdf
para ver el archivo.
Actividad previa
R. Macroprogramas
Ir a...
Ir a...
Guía docente
Preliminares
Los programas-while
Técnicas Básicas de Computabilidad
Ejemplos de diagonalización
Reducción
R. Preliminares
R. Los programas-while
R. Macroprogramas
R. El tipo de datos Programa-while
R. La función universal
R. Intercalado
R. Diagonalización
R. Decibilidad y Semidecibilidad
R. Reducción
Preliminares
Programas-while
Macroprogramas
Implementaciones
El tipo de datos Programas-while
La función universal
La técnica de intercalado
Computabilidad no efectiva
Diagonalización
Conjuntos decidibles y semidecidibles
Reducción
Preliminares resueltos
Programas-while resueltos
Macroprogramas resueltos
Implementaciones resuelto
Tipo de datos Programas-while resueltos
La función universal resueltos
Técnica de intercalado resueltos
Computabilidad no efectiva resueltos
Otros ejemplos de diagonalización resueltos
Conjuntos decidibles y semidecidibles resueltos
Reducción
Profesorado
Bibliografía
Siguiente actividad
R. El tipo de datos Programa-while
