Diferencia entre revisiones de «Introducción a la Programación»
De Cuba-Wiki
| Línea 20: | Línea 20: | ||
==Prácticas== | ==Prácticas== | ||
*[[Media:P1-logica.pdf |Práctica 1: Lógica Proposicional y Tipos Básicos]] | *[[Media:P1-logica.pdf |Práctica 1: Lógica Proposicional y Tipos Básicos]] | ||
** [[Práctica 1: Lógica Proposicional y Tipos Básicos (Algoritmos I) | Solución]] | |||
*[[Media:P2-secuencias.pdf|Práctica 2: Secuencias]] | *[[Media:P2-secuencias.pdf|Práctica 2: Secuencias]] | ||
** [[Práctica 2: Secuencias (Algoritmos I) | Solución]] | |||
*[[Media:P3-cuantificadores.pdf |Práctica 3: Cuantificadores]] | *[[Media:P3-cuantificadores.pdf |Práctica 3: Cuantificadores]] | ||
** [[Práctica 3: Cuantificadores (Algoritmos I) | Solución]] | |||
*[[Media:P4-espec_problemas.pdf| Práctica 4: Especificación de Problemas]] | *[[Media:P4-espec_problemas.pdf| Práctica 4: Especificación de Problemas]] | ||
** [[Práctica 4: Especificación de Problemas (Algoritmos I) | Solución]] | |||
*[[Media:P5-tipos.pdf| Práctica 5: Tipos]] | *[[Media:P5-tipos.pdf| Práctica 5: Tipos]] | ||
*[[Media:P6-FuncionalBasica.pdf| Práctica 6: Funcional Básica]] | *[[Media:P6-FuncionalBasica.pdf| Práctica 6: Funcional Básica]] | ||
Revisión del 15:01 28 nov 2012
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 17 a 22hs.
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
Funcional
Imperativo
Apuntes
- Apuntes del lenguaje de especificación
- Apuntes de funcional: Apuntes y resumenes de programacion en funcional.
