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 5
Conjuntos decidibles y semidecidibles resueltos
Conjuntos decidibles y semidecidibles resueltos
Click
Pre_10_Semidecidbilidad_formateado.pdf
link to view the file.
Fundamentos de Computabilidad [2011/03] [cas]
Home
All courses
◄ Otros ejemplos de diagonalización resueltos
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
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
Reducción
Profesorado
Bibliografía
Reducción ►