Metanovedaes

• 08/07  ¡Hay novedades sobre OTRA Clase de Consultas!

• 05/07  ¡Hay novedades sobre Clase de Consultas!

• 29/06  ¡Hay novedades nuevas!, ¡Hay novedades nuevas!
• 19/05  ¡Hay novedades nuevas!

Novedades

• 08/07  CLASE de CONSULTAS: Lunes 12/07 a las 17 hs. en el aula 6 del pab. I.

• 08/07  Se fijaron las aulas para el 2do. parcial y para los recuperatorios.
  

• 05/07  CLASE de CONSULTAS: Martes 06/07 a las 18 hs. en el bar del pab. I, y a partir de las 20 hs. en el aula 9 del pab. I.

• 05/07  Se actualizó la subsección "Fé de erratas de las prácticas" de la sección "Prácticas, apuntes y demás material".
• 02/07  Se actualizó la sección "Prácticas, apuntes y demás material" (se agregaron teóricas de un cuat. pasado).
• 02/07  Se actualizó la sección "Enlaces de interés".
• 29/06  Se actualizó la subsección "Fé de erratas de las prácticas" de la sección "Prácticas, apuntes y demás material".
• 19/05  Se actualizó la sección "Prácticas, apuntes y demás material" (se agregó un parcial de 2009).
  
• 12/05  Se actualizó la sección "Enlaces de interés".
• 10/05  Se actualizó la sección "Régimen de aprobación".
• 07/05  Se actualizó la sección "Enlaces de interés".
  
• 01/05  Se agregaron fé de erratas de las prácticas en la sección "Prácticas, apuntes y demás material".
  
• 01/05  Ya están las aulas para el primer parcial.
  
• 29/04  Se actualizó la sección "Bibliografía".
  
• 29/04  Ya están todas las fechas y horarios de parciales y recuperatorios.
  
• 28/04  La materia tiene página web :)

Docentes, horarios y aulas

Calendario

• Primer Parcial: viernes 21/05 a las 17 hs. en las aulas 2 y 3 del pab. I
  
• Segundo Parcial: martes 13/7 a las 17 hs. en el aula 8 del pab. I
• Recuperatorio del primer parcial: sábado 17/7 a las 9 hs. en el aula 8 del pab. I
• Recuperatorio del segundo parcial: jueves 22/7 a las 17 hs. en el aula 8 del pab. I

Prácticas, apuntes y demás material

Fé de erratas de las prácticas:

• Práctica 1, ejercicio 14): eliminar la frase "... y sus correspondientes paréntesis.", y también eliminar a todo el paréntesis que le sigue.
• Práctica 2, ejercicio 7): cambiar el único "tiene" que aparece en el enunciado, por la frase "es semánticamente equivalente a una fórmula con".
• Práctica 2, ejercicio 12)a): cambiar la última frase "... sea el único conectivo que figure en..." por la frase "... sea el único conectivo binario que figure en..."
• Práctica 4, ejercicio 6)a): cambiar la última frase "... es consecuencia de S." por la frase "... es consecuencia débil de S."
• Práctica 8, ejercicio 10): En la productoria, el índice i debe empezar desde 1, y definir H(1)=1 (por ejemplo).
• Práctica 9, ejercicios 6) y 9): En todos lados en donde aparece, cambiar la Psi mayúscula (el "tridente", o ver http://es.wikipedia.org/wiki/%CE%A8) por la Fi mayúscula (el "conjunto vacío", o ver http://es.wikipedia.org/wiki/%CE%A6).
  

Bibliografía

Básica:

• Introduction to Mathematical Logic, Elliot Mendelson. (1)(A)

• Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science; Martin Davis, Ron Sigal, Elaine J. Weyuker. (1)(A)

Complementaria:

• First-Order Logic, Raymond Merril Smullyan. (2)(A)

• Obras Completas, Kurt Gödel. (2)(A)
• Metalógica: Introducción a la Metateoría de la Lógica Clásica de Primer Orden, Geoffrey Hunter.
• Introduction to Metamathematics, Stephen Cole Kleene. (1)(B)

• Principia Mathematica, 3 vols.;  Bertrand Arthur William Russell, Alfred North Whitehead. (2)(A)

• On Computable Numbers, with an Application to the Entscheidungsproblem; Alan Mathison Turing.

Enlaces de interés

• Programa de la materia
• Gödel para todos (blog de Guillermo Martínez y Gustavo Piñeyro)
• Free Software Foundation
• GNU
  
• http://xkcd.com/149/ (Sandwich)
• http://xkcd.com/378/ (Real Programmers)
  
• http://xkcd.com/742/ (Campfire)
• http://www.xkcd.com/761/ (DFS)
  

Régimen de aprobación