Diferencia entre revisiones de «Introducción a la Programación»
De Cuba-Wiki
Línea 37: | Línea 37: | ||
* [[Media:ParcialesEspecificacion.zip|Parciales de especificacion]] | * [[Media:ParcialesEspecificacion.zip|Parciales de especificacion]] | ||
* [[Media:img001.pdf|Parcial del 17/04/2013]] | * [[Media:img001.pdf|Parcial del 17/04/2013]] | ||
* [[Media:RPI resuEspe1C2013.pdf|Recuperatorio del 28/06/2013]] | |||
* [[Medio:espe2C2013.pdf|Parcial del 13/09/2013]] | * [[Medio:espe2C2013.pdf|Parcial del 13/09/2013]] | ||
* [[Media:RPI resuEspe2C2013.pdf|Recuperatorio del 28/06/2013]] | |||
===Funcional=== | ===Funcional=== |
Revisión del 04:31 2 ene 2014
Algoritmos I es la primera materia propia de la carrera. Según el Plan de la Carrera es una materia a ser cursada en Primer año. Es correlativa con Álgebra I y necesaria para cursar Algoritmos y Estructuras de Datos II.
Información General sobre la Cursada
Algoritmos I consiste de clases teóricas y prácticas. Para aprobar la materia se deben rendir 3 exámenes parciales (especificación, funcional e imperativo) y 3 trabajos prácticos.
La materia se cursa los Lunes, Miércoles y Viernes de 9 a 14 hs en el turno mañana y de 17 a 22hs en el turno tarde.
Contenidos
- Especificación de programas utilizando contratos.
- Tipos de datos: primitivos, abstractos y algebraicos.
- Conceptos básicos de programación funcional - Recursión.
- El tipo de datos lista - Funciones sobre listas.
- Terminación de programas funcionales.
- Conceptos básicos de los programas imperativos. Estructuras de control - variables.
- Tipo de dato: arreglo.
- Funciones y procedimientos - pasaje de parámetros.
- Ciclos - Construcción, corrección y terminación.
Prácticas
- Práctica 1: Lógica Proposicional y Tipos Básicos
- Práctica 2: Secuencias
- Práctica 3: Cuantificadores
- Práctica 4: Especificación de Problemas
- Práctica 5: Tipos
- Práctica 6: Funcional Básica
- Práctica 7: Listas
- Práctica 8: Tipos compuestos
Parciales
Especificación
- Parciales de especificacion
- Parcial del 17/04/2013
- Recuperatorio del 28/06/2013
- Parcial del 13/09/2013
- Recuperatorio del 28/06/2013
Funcional
Imperativo
Apuntes
- Apuntes del lenguaje de especificación
- Apuntes de funcional: Apuntes y resumenes de programacion en funcional.