Curso del Plan 87 de Ingeniería en Computación
(dictado por última vez en el segundo semestre
de 1999)
El 5 de octubre de 2006 el Consejo de la Facultad de Ingeniería adoptó la resolución que sigue a continuación. La misma establece un mecanismo de reválida similar al que ya se había implementado con la electiva Lógica de la Programación Imperativa, pero mas amplio.
(Exp. Nº 060120-002412-06) - Visto la solicitud de la Comisión del Instituto de Computación y el informe de la Asistente Académica del Sr. Decano Mariana Correa:
1) Establecer que los alumnos del Plan 87 que aprueben alguna de las asignaturas que siguen se les podrá revalidar por "Teoría de la Programación II" según luce en el dist. No. 828:
| Nombre asignatura | Código(s) de asignatura |
| Análisis de algoritmos | 1334 |
| Construcción formal de programas en teoría de tipos | 1347 y 1337 |
| Verificación y lógica | 1339 |
| Computación gráfica avanzada | 1349 |
| Taller de producción de programas sin fallas | 1314 |
| Diseño de compiladores | C455 y 1331 |
| Introducción a la computación gráfica | C552 y 1315 |
| Introducción a la programación para diseño gráfico | C556 y 1332 |
| Programación genérica | 1333 |
2) Aprobar este mecanismo de reválida en forma retroactiva para los alumnos que ya hayan aprobado cualquiera de estas Electivas Técnicas.
| período julio/agosto 2008 | (fecha tentativa) 31 de julio, 10 hs | Salón a confirmar |
A partir de Febrero 2006 el examen se ha comenzado a tomar en forma oral y no escrita. Esto no invalida que se pueda tomar en forma escrita en algun período, por ejemplo, porque el número de estudiantes que se presentan así lo amerite.
El programa del curso pude ser consultado aquí.
Bibliografía