El primer día de clases te pediremos que llenes esta encuesta para ayudarnos a mejorar la materia.
Por favor (si todavía no lo hiciste) completá esta encuesta: Encuesta 2011
En este manteria 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.
Por favor (si todavia no lo hiciste) agregate al grupo de la materia en esta página: Grupo Introalg 2011
Aquí iremos colgando los prácticos a medida que estén disponibles. También estarán disponibles en la fotocopiadora de la facultad.
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-03 | Presentación, organizacion, intro ecuacional en aritmética | P1 | Cap 1 |
| 14-03 | Cálculo ecuacional en aritmética (operadores y tipado) | P1 | Cap 1 |
| 16-03 | Operadores y tipado con listas | Fin P1 | Cap 7 |
| 21-03 | Inducción y recursión | P2 | Cap 10 |
| 23-03 | Inducción y recursión | P2 | Cap 10 |
| 28-03 | Inducción y recursión | P2 | Cap 10 |
| 30-03 | Listas por comprension | Fin P2 | |
| 04-04 | Lógica Proposicional: Semántica | P3 | Cap 2 |
| 06-04 | Consultas | Fin P3 | |
| 11-04 | Primer Parcial Definitiva | P1, P2 y P3 | |
| 13-04 | Calculo proposicional: reglas de inferencia | P4 | Cap 3 |
| 18-04 | Calculo proposicional: axiomas/teoremas ≡, ¬, ≠ | P4 | Cap 3 |
| 20-04 | Calculo proposicional: axiomas/teoremas Λ, ∨ | P4 | Cap 3 |
| 25-04 | Calculo proposicional: axiomas/teoremas ⇒, ⇐ | P4 | Cap 3 |
| 27-04 | Análisis de razonamientos (cálculo proposicional) | Fin P4 | Cap 4 |
| 02-05 | Calculo de predicados (semantica y operadores) | P5 | Cap 5 |
| 04-05 | Construcción de modelos y formalización de enunciados | P5 | |
| 09-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∃ | P5 | Cap 5 |
| 11-05 | Calculo de predicados: propiedades, axiomas, teoremas del ∀ | P5 | Cap 5 |
| 16-05 | Calculo de predicados: debilitamiento y monotonia | P5 | Cap 5 |
| 18-05 | Calculo de predicados: demostraciones | P5 | Cap 5 |
| 30-05 | Analisis de razonamientos (cálculo de predicados) | Fin P5 | Cap 5 |
| 01-06 | Cierre de la materia y consultas | P1 a P5 | |
| 06-06 | Consultas | P1 a P5 | |
| 08-06 | Segundo Parcial | P4 y P5 | |
| 13-06 | Recuperatorio Primer Parcial (fecha tentativa) | P1, P2 y P3 | |
| 15-06 | Recuperatorio Segundo Parcial (fecha tentativa) | P4 y P5 |
Acá hay disponible una versión digital del libro. Aclaración: esta versión difiere mínimamente de la versión impresa en el Depto. de Publicaciones