Programación Funcional. Curso 2009 (Record no. 52640)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 02370nam a2200193 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20250312144855.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s2009 ag o 000 0 spa d |
| 024 8# - Otro identificador estandar | |
| Número estándar o código | DIF-M2859 |
| -- | 2950 |
| -- | DIF002768 |
| 040 ## - FUENTE DE LA 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 | Baum, Gabriel Alfredo |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Programación Funcional. Curso 2009 |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Nombre del editor, distribuidor, etc. | [S.n.], |
| Fecha de publicación, distribución, etc. | 2009 |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | ^p Datos electrónicos (2 archivos : 767 KB, 361 KB) |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Teorías: Clase inaugural | Conceptos preliminares | Modelo funcional: valores -- y expresiones | Modelo funcional: Sistemas de tipos | Modelo funcional: Currificación | -- Modelo funcional: Reducción | Técnicas formales: Propiedades y demostraciones | Técnicas -- formales: Inducción/Recursión | Aplicación de conceptos: Listas | Tipos de datos: Tipos -- algebraicos | Tipos de datos: Tipos abstractos | Tipos de datos: Tipos recursivos | -- Tipos de datos: Esquemas de recursión | Tipos de datos: Esquemas en árboles | Evaluación -- Lazy | Recursión de cola y Teoremas de dualidad | Derivación de programas | Técnicas de -- diseño | Lambda Cálculo: Definición-Sustitución | Lambda Cálculo: Semántica por -- equivalencias | Lambda Cálculo: Semántica operacional | Lambda Cálculo: Programación || -- Prácticas: Práctica 1. Introducción a la sintaxis de Haskell y al ambiente Hugs | -- Práctica 2. Expresiones y valores. Tipos. Notación Lambda | Práctica 3. Currificación. -- Alto orden. Reducción. Ordenes de evaluación | Práctica 4. Demostraciones. Propiedades -- de programas: terminación, equivalencia. Inducción. Recursión | Práctica 5. Tipos -- algebraicos. Pattern matching. Listas | Práctica 6. Sinónimos de tipos. Tipos -- algebraicos recursivos. Árboles | Práctica 7. Funciones de alto orden sobre listas | -- Práctica 8. Tipos abstractos de datos y módulos | Práctica 9. Patrones genéricos de -- recursión. Funciones sobre árboles | Práctica 10. Lazy evaluation. Estructuras -- infinitas. Elementos parciales. Principios de dualidad | Práctica 11. Derivación y -- síntesis de programas. Combinadores | Práctica 13. Práctica integradora. |
| 534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL | |
| Encabezamiento principal del original | Carreras: Lic. en Informática (Planes 2003/2007), Lic. en Informática (Plan 1990) -- Año: 4to. -- Duración: semestral. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | PROGRAMACIÓN FUNCIONAL |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Documento de cátedra |
| Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Precio válido a partir de | Tipo de ítem Koha | Colección | Identificador Uniforme del Recurso |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo a domicilio | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 03/02/2010 | DIF-C0217 | OI409_09T | DIF-C0217 | 11/03/2025 | 11/03/2025 | Documento de cátedra | ||||||
| Préstamo a domicilio | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 03/02/2010 | DIF-C0218 | OI409_09P | DIF-C0218 | 11/03/2025 | 11/03/2025 | Documento de cátedra | ||||||
| Recurso en Línea | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | 11/03/2025 | 11/03/2025 | Documento de cátedra | Biblioteca digital | catedras.lifia.info.unlp.edu.ar/funcional/programas.html |