Skip to main content
Side panel
English
Español
Euskara
Beste OCW web gune batzuk
MIT OCW
Johns Hopkins OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
You are currently using guest access (
Log in
)
Fundamentos de Computabilidad [2011/03][cas]
Home
Courses
(2011) 4. zk. - núm. 4
Technical Educations
Fundamentos de Computabilidad [2011/03] [cas]
Topic 4
Conjuntos decidibles y semidecidibles
Conjuntos decidibles y semidecidibles
Click
PR010_Semidecidibilidad.pdf
link to view the file.
Fundamentos de Computabilidad [2011/03] [cas]
Home
All courses
◄ Diagonalización
Jump to...
Jump to...
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 ►