En esta materia usamos un grupo de mail para poder comunicarnos entre los estudiantes y los docentes. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo. También pueden mandar consultas que no pudieron preguntar durante las clases. Las únicas dos reglas para usar este medio son:
Seguí este link para agregarte al grupo de la materia (este grupo es diferente al del 1er Cuatrimestre): Grupo Introalg 2011 - 2do Cuatrimestre
Aquí iremos haciendo disponibles los prácticos de la materia. También estarán disponibles en la fotocopiadora de la facultad.
Jueves por medio se pedirá la entrega de algunos ejercicios seleccionados. El promedio de la nota de estos ejercicios, se sumará a la nota del parcial al que correspondan, pudiendo subir la nota hasta en 10 puntos sobre 100. El “parcialito práctico” se promediará con la nota de estos ejercicios.
Esta es la lista de clases que tendremos este cuatrimestre. Se detallan los temas que se verán el la clase teórica asi como los prácticos correspondientes de las clases prácticas. En la columna bibliografía detallamos el capítulo del libro que corresponde al tema de la clase.
| Día | Temas | Práctico | Bibliografía | |
|---|---|---|---|---|
| 09-08 | Presentación, organizacion, razonamiento ecuacional | P1 | Cap 1 | |
| 11-08 | Validez y satisfactibilidad, precedencia y tipado | P1 | Cap 1 | |
| 16-08 | Operadores y tipado con listas | Fin P1 | Sec 7.10 | |
| 18-08 | Funciones simples | P2 | Cap 3 (*) | |
| 23-08 | Funciones recursivas básicas | P2 | Cap 3 (*) | |
| 25-08 | Listas por comprensión | P2 | ||
| 30-08 | Funciones recursivas complejas | P2 | Cap 3 (*) | |
| 01-09 | Introducción a Inducción | P2 | Cap 4 (*) y Cap 10 | |
| 06-09 | Inducción sobre listas | Fin P2 | Cap 4 (*) y Cap 10 | |
| 08-09 | Lógica Proposicional: Semántica | P3 | Cap 2 | |
| 13-09 | Consultas | Fin P3 | ||
| 15-09 | Primer Parcial (aula 13) | P1, P2 y P3 | ||
| 27-09 | Cálculo proposicional: reglas de inferencia | P4 | Cap 3 | |
| 29-09 | Cálculo proposicional: axiomas/teoremas ≡, ¬, ≠ | P4 | Cap 3 | |
| 04-10 | Cálculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 | |
| 06-10 | Cálculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 | |
| 11-10 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 | |
| 13-10 | Repaso de proposicional y Parcialito Práctico | P4 | ||
| 18-10 | Cálculo de predicados (semántica y operadores) | P5 | Cap 5 | |
| 20-10 | Construcción de modelos y formalización de enunciados | P5 | ||
| 25-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 | |
| 27-10 | Cálculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 | |
| 01-11 | Cálculo de predicados: debilitamiento y monotonia | P5 | Cap 5 | |
| 03-11 | Análisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 | |
| 08-11 | Cierre de la materia y consultas | P1 a P5 | ||
| 10-11 | Segundo Parcial | P4 y P5 | ||
| 15-11 | Consultas | P1 a P5 | ||
| 17-11 | Recuperatorios | P1 a P5 | ||