Departamento de Matemática - FCEyN - UBA |
Segundo Cuatrimestre 2008
|
Docente |
Horario |
Aula |
---|---|---|---|
Teórica |
Miércoles: 17 a 19 hs |
Aula 10 - Pab. I |
|
Teórico |
Juan José Guccione - Gustavo Massaccesi - Ma. Del Rosario Lazzaro - Pablo Vasquez |
Viernes: 17 a 22 hs |
Aula 11 - Pab. II |
Cálculo Proposicional
Práctica 2 : Semántica del cálculo proposicional.
Práctica 3 : Consecuencia lógica.
Práctica 4 : Compácidad.
Lógica de Primer Orden
Práctica 5 : Cálculo de predicados.
Práctica 6 : Modelos y Árboles
Computabilidad
Práctica 7 : Funciones Computables.
Práctica 8 : Funciones Primitivas Recursivas.
Práctica 9 : Teoría de Computabilidad.
Práctica 10 : Conjuntos computables
Para la primera mitad de la materia pueden consultar el libro Introduction to Mathematical Logic de Elliott Mendelson, y/o el apunte Curso de Lógica de Roberto Cignoli y Guillermo Martinez (también disponible en la fotocopiadora del pabellón I).
Para la segunda parte, pueden consultar el libro Computability, Complexity, and Languages, de Davis, Sigal y Weyuker. Los temas que se verán en la materia son los comprendidos en los capítulos 1 a 4 del libro.
Examen |
Fecha |
Horario |
Aula |
Enunciados |
---|---|---|---|---|
1er parcial | Viernes 24 de Octubre | 17:00 | 11 Pab. II | Primer Parcial |
2do parcial | Viernes 12 de Diciembre | 17:00 | 3 Pab. I | Segundo Parcial |
Rec. 1er parcial Rec. 2do parcial |
Viernes 19 de Diciembre | 17:00 | 5 Pab. I |
Primer Parcial Segundo Parcial |
Rec. 1er parcial Rec. 2do parcial |
Martes 23 de Diciembre | 17:00 | 4 Pab. I |
Primer Parcial Segundo Parcial |
Se recuerda que es obligatoria la lectura de las
Normas de Seguridad e Higiene.