Departamento de Matemática - FCEyN - UBA

Lógica y Computabilidad

Segundo Cuatrimestre 2007

Novedades

Cuatrimestre finalizado.

Docentes - Horarios - Aulas

	Docente	Horario	Aula
Teórica	Matías Graña	Miércoles: 17 a 19 hs Viernes: 17 a 19 hs	Aula 5 - Pab. I (cambiada) Aula 4 - Pab. I (cambiada)
Práctica	Gustavo Massaccesi Aluminé Aznar Francisco Gozzi	Viernes: 19 a 22 hs	Aula 4 - Pab. I (cambiada)

Prácticas

Cálculo Proposicional

Práctica 1 : Lenguaje del cálculo proposicional.
Práctica 2 : Semántica del cálculo proposicional.
Práctica 3 : Consecuencia lógica. - Versión Correcta
Práctica 4 : Compácidad.

Lógica de Primer Orden

Práctica 5 : Cálculo de predicados.
Práctica 6 : Modelos, Árboles y Compacidad

Computabilidad

Práctica 7 : Funciones Computables.
Práctica 8 : Funciones Primitivas Recursivas.
Práctica 9 : Teoría de Computabilidad.

Bibliografía

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, que están disponibles en la fotocopiadora del pabellón I.

Parciales

Examen	Fecha	Horario	Aula	Enunciados
1^er parcial	viernes 19/10	17:00	Aula 4 - Pab. I	Enunciado
2^do parcial	viernes 07/12	17:00	Aula 4 - Pab. I	Enunciado
Rec. 1^er parcial	viernes 14/12	17:00	Aula 4 - Pab. I	Enunciado
Rec. 2^do parcial	viernes 21/12	17:00	Aula 4 - Pab. I	Enunciado
Rec. 1^er o 2^do parcial	jueves 27/12			1^er Enunciado 2^do Enunciado

Normas de Seguridad

Se recuerda que es obligatoria la lectura de las Normas de Seguridad e Higiene.

Volver a Materias Obligatorias