Fundamentos de Computabilidad [2011/03][cas]

Topic outline

• 

  General

  • Esta obra se publica bajo una licencia Creative Commons License.

  • Fundamentos de computabilidad, [2011/03] [cas] Autoría: Ibáñez Martínez-Conde, Jesús Irastorza Goñi, Arantza Sánchez Ortega, Ana UPV/EHU

• 

  Topic 1

  GUÍA DOCENTE

  • Guía docente File
• 

  Topic 2

  MATERIALES DE ESTUDIO

  • Preliminares File
  • Los programas-while File
  • Técnicas Básicas de Computabilidad File
  • Ejemplos de diagonalización File
  • Reducción File
• 

  Topic 3

  OTROS RECURSOS

  • R. Preliminares File
  • R. Los programas-while File
  • R. Macroprogramas File
  • R. Implementaciones File
  • R. El tipo de datos Programa-while File
  • R. La función universal File
  • R. Intercalado File
  • R. Diagonalización File
  • R. Decibilidad y Semidecibilidad File
  • R. Reducción File
• 

  Topic 4

  PRÁCTICAS, EJERCICIOS Y ACTIVIDADES

  • Preliminares File
  • Programas-while File
  • Macroprogramas File
  • Implementaciones File
  • El tipo de datos Programas-while File
  • La función universal File
  • La técnica de intercalado File
  • Computabilidad no efectiva File
  • Diagonalización File
  • Conjuntos decidibles y semidecidibles File
  • Reducción File
• 

  Topic 5

  PROCEDIMIENTO DE AUTOEVALUACIÓN

  • Preliminares resueltos File
  • Programas-while resueltos File
  • Macroprogramas resueltos File
  • Implementaciones resuelto File
  • Tipo de datos Programas-while resueltos File
  • La función universal resueltos File
  • Técnica de intercalado resueltos File
  • Computabilidad no efectiva resueltos File
  • Otros ejemplos de diagonalización resueltos File
  • Conjuntos decidibles y semidecidibles resueltos File
  • Reducción File
• 

  Topic 6

  PROFESORADO

  • Profesorado Page
• 

  Topic 7

  BIBLIOGRAFÍA

  • Bibliografía File