Lógica y Computabilidad
1er. cuat. 2011
Docentes
Teóricas: Matias Graña (mail)Prácticas: Rafael Grimson (mail); Tomás Ibarlucía (mail).
Horarios de las Clases:
Miércoles de 17hs a 19 hs: Clase Teórica. Viernes 17hs a 22 hs: Clase Teórico-Práctica.
Guías de Trabajos Prácticos:
Lógica proposicional: Práctica 1; Práctica 2. Adicionales: Práctica 2.5.
Lógica de primer orden: Práctica 3; Práctica 4. Adicionales: Práctica 4.5.
Computabilidad: Práctica 5; Práctica 6;Práctica 7.
Lectura adicional de lógica y computabilidad: [...] La indefinibilidad de la Definición [...] por Xavier Caicedo.
Calendario:
Primer parcial: viernes 20 de mayo, 17 hs.Segundo parcial: viernes 8 de julio, 17 hs.
Recuperatorio primer parcial: viernes 22 de julio, 17 hs.
Recuperatorio segundo parcial: viernes 29 de julio, 17 hs.
Régimen de aprobación:
Para aprobar los Trabajos Prácticos es necesario haberse inscripto en la materia a través del Sistema de Inscripciones de la Facultad, aprobar los dos parciales y completar la encuesta de evaluación de la materia al final del cuatrimestre. Los parciales se aprueban con 5 (cinco). La materia puede ser promocionada si la nota final es mayor o igual a 7 (siete). La nota final será igual al promedio de las notas de los dos últimos exámenes rendidos, redondeanda al entero más cercano. Si el promedio cae justo en el medio entre dos enteros la nota final será redondeada hacia arriba. Habrá un recuperatorio de cada parcial al final del cuatrimestre. No se podrá recuperar dos veces el mismo parcial. El recuperatorio puede rendirse aún habiendo aprobado el parcial correspondiente (para mejorar el promedio) quedando como nota definitiva la última nota obtenida.
Bibliografía:
Lógica:
- A Mathematical Introduction to Logic, Herbert Enderton. - Introduction to Mathematical Logic, Elliott Mendelson. - Curso de Lógica, Roberto Cignoli y Guillermo Martinez. - First-Order Logic, Raymond Smullyan. - Metalógica, introducción a la metateoría de la lógica clásica de primer orden, Geoffrey Hunter.Computabilidad:
- Computability, Complexity, and Languages, de Martin Davis, Ron Sigal y Elaine Weyuker. (Los temas que se verán en la parte de computabilidad de la materia son los comprendidos en los capítulos 1 a 4 de este libro)
Enlaces relacionados:
Página de Lógica_y_Computabilidad de Cuba Wiki. (ojo, no es oficial) Página de Lógica_y_Computabilidad del DC (Material verano 2011).
<< Volver a la página de materias
