Skip to content

Departamento de Matematica

Sections
Personal tools
You are here: Home » Enseñanza » Materias » Primer cuatrimestre 2024 » Lógica y Computabilidad

Lógica y Computabilidad - 1C 2024

Novedades

  • 23/05: Este viernes 24/05 habrá teórica de 17 a 19. La práctica comenzará a las 19.
  • 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

Docentes Horario Aula
Teórica Alejandro Petrovich Mi 17 a 19 - Vi 17 a 18 207 (Pab 2)
Práctica Maximiliano Frungillo - Nicolás González - Manuel Robert Vi 18 a 22 207 (Pab 2)

Prácticas

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 de 17 a 22. Aula 9, Pabellón I.
  • Recuperatorio de Lógica: Viernes 12/07 de 17 a 22. Aula 9, Pabellón I.
  • Recuperatorio de Computabilidad: Viernes 19/07 de 17 a 22. Aula 1115, Pabellón 0.

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.
    • Computabilidad, notas de clase tipeadas por Alejandro.

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.

Created by secre
Last modified 2024-07-15 02:24 AM
 
 

Powered by Plone