Introducción a los Algoritmos - 2007
Últimas novedades
Información
General
Horarios
Lunes Martes Miércoles Jueves Viernes
9hs a 11hs Teórico (D4)
Teórico (D4)
11hs a 13hs Práctico (D4)
Práctico (D4)
14hs a 17hs Taller (Lab)
Taller (Lab)
Condiciones para promocionar, regularizar y rendir

Parciales y parcialitos
Fecha Temas Observaciones
1er Parcialito jueves 22 de Marzo Sustitucion, Precedencia, Tipado
1er Parcial martes 3 de Abril Sustitución, Precedencia, Tipado, demostración de teoremas con axiomas y teoremas básicos
2do Parcialito jueves 26 de Abril Programas funcionales y aplicaciones
1er Parcialito de taller martes 8 de Mayo y jueves 10 de Mayo
2do Parcial jueves 17 de Mayo Programación funcional, aplicaciones del cálculo proposicional
3er Parcialito jueves 31 de mayo Expresiones cuantificadas, especificaciones
2do Parcialito de taller martes 5 de Junio y jueves 7 de Junio
3er Parcial martes 19 de Junio Expresiones cuantificadas, cálculo de predicados
Fecha de exámen jueves 28 de junio martes 24 de julio miércoles 1 de agosto
Fecha de consulta martes 26 de junio* lunes 23 de julio lunes 30 de julio
Lista de e-mail
Bibliografía
Material de Lectura
Software
Agradecimientos
Ediciones anteriores
$Date: 2007-07-30 12:10:01 $, $Revision: 1.245 $