Salta al contenido principal
Panel lateral
English
Español
Euskara
Otros OCW sites
MIT OCW
Johns Hopkins OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
En este momento está usando el acceso para invitados (
Acceder
)
Fundamentos de Computabilidad [2011/03][cas]
Página Principal
Cursos
(2011) 4. zk. - núm. 4
Enseñanzas Técnicas
Fundamentos de Computabilidad [2011/03] [cas]
Tema 4
Conjuntos decidibles y semidecidibles
Conjuntos decidibles y semidecidibles
Haga clic en
PR010_Semidecidibilidad.pdf
para ver el archivo.
Fundamentos de Computabilidad [2011/03] [cas]
Página Principal
Todos los cursos
◄ Diagonalización
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. Implementaciones
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
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
Reducción ►