• Docentes - Horarios - Aulas
  
  

  	Docente	Horario	Aula
  Teórica	Alejandro Petrovich	Miércoles: 17 a 19 hs Viernes: 17 a 19 hs	8 - Pab. I 3 - Pab. II
  Práctica	Ezequiel Dratman Francisco Gozzi	Viernes: 19 a 22 hs	3 - Pab. II

  
  
• Prácticas
  
  
  • Práctica 1
  • Práctica 1 (más completa)
  • Práctica 2
  • Práctica 3
  • Práctica 4
  • Práctica 5
  • Práctica 6
  • Práctica 7
  • Práctica 8
  • Práctica 9
  
  
  
• Bibliografía
  

  Para la primera mitad de la materia pueden consultar el libro "Introduction to Mathematical Logic" de Elliott Mendelson, y/o el apunte "Curso de Lógica" de Roberto Cignoli y Guillermo Martinez (disponible en este Link y en la fotocopiadora del pabellón I).

  Para la segunda parte, pueden consultar el libro "Computability, Complexity, and Languages", de Davis, Sigal y Weyuker. Los temas que se verán en la materia son los comprendidos en los capítulos 1 a 4 del libro, que están disponibles en la fotocopiadora del pabellón I.

  
  
• 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 se obtiene un promedio mayor o igual a 7(siete).

  Habrá un recuperatorio de cada parcial al final del cuatrimestre. No se podrá recuperar dos veces el mismo parcial.

  
  
• Fechas de parciales
  
  

  Examen	Fecha	Horario	Aula
  1er Parcial	4 de Mayo	17 hs.	Magna Pab. II
  2do Parcial	6 de Julio	18 hs.	Aula 5 Pab. II
  Recup. 1er Parcial	13 de Julio	17 hs.	Aula 2 Pab. I
  Recup. 2do Parcial	20 de Julio	17 hs.	Aula 8 Pab. I

  
  
• Normas de Seguridad
  
  Se recuerda que es obligatoria la lectura de las Normas de Seguridad e Higiene.

a Materias Obligatorias