Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Fundamentos :: Teoría de la Computación
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Lógica y computabilidad
*Autor   Enrique Alonso
Editorial   Summa Logicae
*Fecha de creación   15-09-2002
Página Web  
Código  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Computable
Diagonalizacion
Kleene
Turing
Church
Tipo Título Archivo Opciones
Indice Índice del Libro Indice.pdf
Libro Lógica y computabilidad LogicayComputabilidad.pdf
Seccion 1.1 La idea de algoritmo 1.1Laideadealgoritmo.pdf
Seccion 1.2 El modelo estándar 1.2Elmodeloestandar.pdf
Seccion 1.3 Diagonalización 1.3Diagonalizacion.pdf
Seccion 2.1 Una época de convulsiones 2.1Unaepocadeonvulsiones.pdf
Seccion 2.2 Otros modelos. Normalización 2.2Otrosmodelos.Normalizacion.pdf
Seccion 3.1 Todo o parte 3.1Todooparte.pdf
Capitulo 3.2 El problema del significado 3.2Elproblemadelsignificado.pdf
Seccion 3.3 El problema de la autorreferencia 3.3Elproblemadelaautorreferencia.pdf
Seccion 4.1 Autómatas finitos 4.1Automatasfinitos.pdf
Seccion 4.2 Introducción a la complejidad 4.2Introduccionalacomplejidad.pdf
Seccion 4.3 Indecidibilidad 4.3Indecidibilidad.pdf
Seccion Bibliografía Bibliografia.pdf
Seccion 2.3 La Tesis de Turing-Church 2.3LaTesisdeTuring-Church.pdf

     << Atras