Lógica y Computabilidad
Primer Cuatrimestre 2012
PAGINA EN CONSTRUCCION
Docentes
Teóricas: Juan José Guccione (mail)Prácticas: Carlos Scirica (mail); Rosario Lázaro (mail).
Horarios de las Clases:
Miércoles de 17hs a 19 hs: Clase Teórica. Viernes 17hs a 18hs: Clase Teórica y de 18hs a 22hs Clase Práctica.
Guías de Trabajos Prácticos:
Lógica proposicional: Práctica 1; Práctica 2. Adicionales del año anterior sobre Algebras de Lindenbaum: Práctica 2.5.
Lógica de primer orden: Práctica 3; Práctica 4.
Computabilidad: Práctica 5; Práctica 6; Práctica 7. Práctica 8
Notas de la primera clase práctica.
Lectura adicional de lógica y computabilidad: [...] La indefinibilidad de la Definición [...] por Xavier Caicedo.
Calendario:
Primer parcial: Viernes 18 de Mayo, 18hs. Aula 12, PAB. 2Segundo parcial: Viernes 6 de Julio, 18hs. Aula 12, PAB. 2
Recuperatorio primer parcial: Viernes 13 de Julio.
Recuperatorio segundo parcial: Viernes 20 de Julio.
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
