Agregando polimorfismo a una lógica que identifica proposiciones isomorfas (Record no. 849178)
[ view plain ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 03326nam a2200265 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20240131171202.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s2020 ag dom 000 0 spa d |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | DIF007165 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Sottile, Cristian |
| 9 (RLIN) | 258129 |
| 245 10 - MENCIÓN DEL TÍTULO | |
| Título | Agregando polimorfismo a una lógica que identifica proposiciones isomorfas |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 1 archivo (3,1 MB) |
| 502 ## - NOTA DE TESIS | |
| Nota de tesis | Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2020. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | I Introducción y preliminares -- 1 Introducción -- 1.1 Motivación -- 1.2 El cálculo lambda como método de estudio -- 1.3 Nuestro aporte: una extensión polimórfica de Sistema I -- 1.4 Estructura del trabajo -- 2 Introducción al cálculo lambda -- 2.1 Orígenes -- 2.2 Definición -- 2.3 Computación -- 2.3.1 Sistemas de reescritura -- 2.3.2 Reescritura en el calculo lambda -- 2.3.3 Estrategias de reducción -- 3 Cálculo lambda y sistemas de tipos -- 3.1 Sistemas de tipos -- 3.2 Cálculo lambda simplemente tipado -- 3.2.1 El conjunto de los tipos -- 3.2.2 El conjunto de los términos -- 3.2.3 Reglas de tipado -- 3.2.4 Derivaciones de tipos -- 3.2.5 Propiedades de interés -- 3.3 Sistema F -- 3.3.1 Tipos y términos -- 3.3.2 Funciones relevantes -- 3.3.3 Reglas de tipado -- 3.3.4 Reglas de reducción -- 3.3.5 Ejemplos -- 3.4 Extensión con pares -- 4 Computación y Lógica: la correspondencia Curry-Howard -- 4.1 Deducción Natural -- 4.1.1 Definición -- 4.1.2 Construcción de pruebas -- 4.1.3 Simplificación de pruebas -- 4.2 Correspondencia Curry-Howard -- 4.2.1 Definición -- 4.2.2 Simplificación de pruebas y evaluación de programas -- 4.3 Conclusiones -- II Estado del arte -- 5 Isomorfismos en la programación y en la lógica -- 5.1 Definición -- 5.2 Caracterización -- 5.2.1 Cálculo lambda simplemente tipado con pares -- 5.2.2 Sistema F con pares -- 6 Conjunto I: sistemas módulo isomorfismos -- 6.1 Motivación -- 6.1.1 La perspectiva de la programación -- 6.1.2 La perspectiva de la lógica -- 6.2 Internacionalización de isomorfismos -- 6.2.1 Equivalencia entre tipos -- 6.2.2 Reglas de tipado -- 6.2.3 Equivalencia entre términos -- 6.2.4 Relación de reducción -- 6.3 Sistema I -- 6.3.1 Definición -- 6.3.2 Ejemplos -- III Nuestro aporte: Sistema I Polimórfico -- 7 Sistema I Polimórfico -- 7.1 Introducción -- 7.2 Definición -- 7.2.1 Funciones relevantes -- 7.2.2 Equivalencia entre tipos -- 7.2.3 Reglas de tipado -- 7.2.4 Equivalencia entre términos -- 7.2.5 Relación de reducción -- 7.3 Ejemplos -- 7.4 Propiedades -- 8 Conclusiones y trabajo futuro -- 8.1 Conclusiones -- 8.2 Trabajo futuro -- 8.2.1 Adición de conectivas -- 8.2.2 Terminación -- 8.2.3 Eta-expansión rule -- 8.2.4 Implementación y punto fijo |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | CÁLCULO LAMBDA |
| 9 (RLIN) | 253468 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | POLIMORFISMO |
| 9 (RLIN) | 253797 |
| 653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
| Término no controlado | teoría de tipos |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Díaz Caro, Alejandro , |
| Término indicativo de función/relación | Director/a |
| 9 (RLIN) | 255694 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Pons, Claudia Fabiana , |
| Término indicativo de función/relación | Codirector/a |
| 9 (RLIN) | 251525 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme de Recursos | <a href="http://sedici.unlp.edu.ar/handle/10915/118544">http://sedici.unlp.edu.ar/handle/10915/118544</a> |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme de Recursos | <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2397"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2397</a> |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Tesis de posgrado |
| Estado retirado | Estado de pérdida | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca Fac.Informática | Biblioteca Fac.Informática | 31/01/2024 | DIF-05012 | TES 20/72 | DIF-05012 | 31/01/2024 | 31/01/2024 | Tesis de posgrado |