ISSN 2255-2316
Side panel
You are currently using guest access
Log in
OCW
Font size
A-
A
A+
Site color
R
A
A
A
Skip to main content
OCW
Side panel
Home
Courses by field
Other OCW sites
MIT OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
OCW UPV/EHU
More
You are currently using guest access
Log in
Home
Courses by field
Other OCW sites
Collapse
Expand
MIT OCW
Universitat Oberta de Catalunya OCW
OCW de la Universidad Politécnica de Madrid
Universitat d'Alacant OCW
OCW UPV/EHU
Users
Expand all
Collapse all
Open course index
Fundamentos de Computabilidad [2011/03] [cas]
Topic 3
R. Reducción
R. Reducción
Completion requirements
Click
TRA11_Reduccion.pdf
link to view the file.
Previous activity
R. Decibilidad y Semidecibilidad
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
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
Next activity
Preliminares
