Prácticas

Práctica 1: Lenguaje del Cálculo Proposicional.

Práctica 2: Interpretaciones y modelos de primer orden.

Práctica 3: La consecuencia lógica.

Práctica 4: Compacidad.

Práctica 5: Programas en S. Funciones y predicados computables.

Práctica 6: Recursividad primitiva.

Práctica 7: Teoría de la computabilidad.

Docentes

Clases prácticas

Francisco Kordon, Santiago Vega, Nahuel Albarracín.

Clases teóricas

Alejandro Petrovich .

Horario y aulas

Los miércoles de 17 a 19 horas en el aula 5 P1 y los viernes de 17 a 22 horas en el aula 11 P1.

Exámenes parciales y recuperatorios

El primer parcial tendrá lugar el viernes 19 de mayo, de 17 a 22hs en el Aula 12 de Pabellón II.

El segundo parcial tendrá lugar el miércoles 5 de julio durante el horario de la materia.

Los recuperatorios serán los miércoles 12 y 19 de julio en el aula 6 durante el horario de la materia. Primero el recu del primero y segundo el del segundo.

Régimen de aprobación

La materia tiene dos exámenes parciales y uno final.

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 de la cursada.

Los parciales se aprueban con dos o más ejercicios correctos. A los parciales aprobados les corresponderá una nota numérica. La materia puede ser promocionada si la suma de las notas de los parciales es mayor o igual a catorce. En tal caso, la nota final será igual al promedio.

Habrá un recuperatorio de cada parcial al final del cuatrimestre. El recuperatorio puede rendirse aún habiendo aprobado el parcial correspondiente —para mejorar el promedio o intentar promocionar—, pero en este caso la nota definitiva será la del recuperatorio, aún si eso implica bajar el promedio o perder la materia.

Materias correlativas

Para computación: Algortimos y Estructuras de Datos II

Bibliografía sugerida

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)
• J.E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation Second Edition. Addison-Wesley (2001).
• R. Soare, The History and Concept of Computability. Disponible aquí.

Lógica

• A Mathematical Introduction to Logic, Herbert Enderton. (En Biblioteca Leloir)
• Introduction to Mathematical Logic, Elliott Mendelson. (En Biblioteca Leloir)
• First-Order Logic, Raymond Smullyan.  (En Biblioteca Leloir)
• Curso de Lógica, Roberto Cignoli y Guillermo Martinez. Disponible aquí.
• Una demostración del teorema de compacidad, disponible aquí.
• Metalógica, introducción a la metateoría de la lógica clásica de primer orden, Geoffrey Hunter.
• Una lectura adicional sobre la indefinibilidad de la definición, por Xavier Caicedo. Disponible aquí.
• Unas notas de Nahuel basadas en las teóricas de Alejandro del 2013. Disponible aquí. Cualquier corrección es bienvenida!
• Las notas de Francisco de su clase del viernes 21 de abril.