Summa Logicae - Universidad de Salamanca

Lógica y computabilidad - Summa Logicae
255
wp-singular,post-template-default,single,single-post,postid-255,single-format-standard,wp-theme-bridge,wp-child-theme-bridge-child,cookies-not-set,bridge-core-1.0.4,ajax_fade,page_not_loaded,,qode-title-hidden,qode-child-theme-ver-1.0.0,qode-theme-ver-18.0.8,qode-theme-bridge,disabled_footer_top,qode_advanced_footer_responsive_1000,wpb-js-composer js-comp-ver-7.6,vc_responsive

20 Ene 2025 Lógica y computabilidad

Posted at 13:38h in 1) Fundamentos, Teoría de la Computación by

Depositado por: Maria Manzano, e-mail: mara@usal.es

Depositado el: 28-07-2005

Autor: Enrique Alonso

Fecha de creación: 15-09-2002

Idioma: Español/Spanish

Formato: .pdf (Adobe)

TipoTítuloArchivoOpciones
ResumenIndiceIndice-1.pdfDescargar
DocumentoLógica y ComputabilidadLogicayComputabilidad.pdfDescargar
Documento1.1. La Idea de Algoritmo1.1Laideadealgoritmo.pdfDescargar
Documento1.2. El modelo estándar1.2Elmodeloestandar.pdfDescargar
Documento1.3. Diagonalización1.3Diagonalizacion.pdfDescargar
Documento2.1. Una época de convulsiones2.1Unaepocadeonvulsiones.pdfDescargar
Documento2.2. Otros modelos. Normalización2.2Otrosmodelos.Normalizacion.pdfDescargar
Documento2.3. La Tesis de Turing-Church2.3LaTesisdeTuring-Church.pdfDescargar
Documento3.1. Todo o parte3.1Todooparte.pdfDescargar
Documento3.2. El Problema del Significado3.2Elproblemadelsignificado.pdfDescargar
Documento3.3. El Problema de la Autorreferencia3.3Elproblemadelaautorreferencia.pdfDescargar
Documento4.1. Autómatas Finitos4.1Automatasfinitos.pdfDescargar
Documento4.2. Introducción a la Complejidad4.2Introduccionalacomplejidad.pdfDescargar
Documento4.3. Indecibilidad4.3Indecidibilidad.pdfDescargar
DocumentoBibliografíaBibliografia-2.pdfDescargar
Tags:
, , , ,
No Comments

Sorry, the comment form is closed at this time.