Novedades

• 06/05: El parcial del viernes 10/05 será de 17 a 22 en el Aula 9 del Pabellón I.
• 06/05: El miércoles 08/05 respondemos consultas de 17 a 20 en el aula de siempre.
• 06/05: Ya están subidas las notas de Lógica de Primer Orden.
• 01/05: Este viernes 03/05 habrá teórica de 17 a 19. La práctica comenzará a las 19.
• 25/04: Mañana, viernes 26/04, habrá teórica de 17 a 19. La práctica comenzará a las 19.
• 09/04: Este viernes 12/04 habrá práctica de 17 a 19. La teórica comenzará a las 19.
• 21/03: La teórica de mañana viernes 22/03 será de 17 a 19, de modo que la práctica comenzará a las 19.

Docentes, horarios y aulas

Prácticas

• Práctica 1: Lenguajes y Lógica Proposicional.
• Práctica 2: Semántica de la Lógica Proposicional.
• Práctica 3: Consecuencia Semántica y Compacidad.
• Práctica 4: Teoría de la Prueba.
• Práctica 5: Lógica de Primer Orden.
• Práctica 6: Teoría de la Prueba y Compacidad.

Fechas importantes

• Inicio de la cursada: Miércoles 20/03.
• Fin de la cursada: Viernes 05/07.
• Parcial de Lógica: Viernes 10/05 de 17 a 22. Aula 9, Pabellón I.
• Parcial de Computabilidad: Viernes 05/07.
• Recuperatorio de Lógica: Viernes 12/07.
• Recuperatorio de Computabilidad: Viernes 19/07.

Programa y bibliografía

• Programa.
• Bibliografía sugerida para Lógica:
  • A Mathematical Introduction to Logic, Herbert Enderton.
  • Introduction to Mathematical Logic, Elliott Mendelson.
  • First-Order Logic, Raymond Smullyan.
  • Metalógica, introducción a la metateoría de la lógica clásica de primer orden, Geoffrey Hunter.
  • Curso de Lógica, Roberto Cignoli y Guillermo Martinez.
  • Lógica de Primer Orden, notas de clase tipeadas por Alejandro.
• Bibliografía sugerida para Computabilidad:
  • Computability, Complexity, and Languages, de Martin Davis, Ron Sigal y Elaine Weyuker.

Otros

• Inscripción. Para poder ser incluido en las Actas de Trabajos Prácticos es necesario inscribirse a la materia en el Sistema de Inscripciones de la Facultad y completar la encuesta de evaluación docente cuando corresponda.
• Correlatividades. Los alumnos de Computación que siguen el Plan de Estudios 1993 deben tener aprobada la cursada de Algoritmos y Estructuras de Datos II para poder cursar esta materia. Los alumnos de Matemática deben tener aprobada la cursada de Álgebra I. En cualquier otro caso consultarlo con Alejandro.
• Régimen de aprobación. Para firmar los trabajos prácticos bastará aprobar ambos parciales, en primera instancia o en recuperatorio. Para promocionar la materia será necesario obtener 6 o más puntos en cada parcial. NO se podrá promocionar si al menos uno de los parciales fuera desaprobado en primera instancia.