Lógica y Computabilidad
Docentes
Clases prácticas |
|
Martín Mansilla - Santiago Vega - Nicolás Canevali - Ignacio Mollo |
Clases teóricas
|
|
Juan José Guccione |
Horario y aulas
Clases prácticas |
Viernes 18-22 hs | Aula 12 pab. II |
Clases teóricas |
Miércoles 17-19 hs, Viernes 17-18 hs |
Miércoles: Aula 5 pab. I Viernes: Aula 12 pab. II |
Exámenes parciales y recuperatorios
| Exámenes | Fecha | Horario | Aula | Pabellón |
|---|---|---|---|---|
| Primer parcial (Lógica) | 20/05 | 17hs | 12 | II |
| Segundo parcial (Computabilidad) | 1/07 |
17hs |
12 |
II |
| Recuperatorio Lógica | 6/07 |
17hs |
8 |
I |
| Recuperatorio Computabilidad | 15/07 |
17hs |
12 |
II |
Régimen de aprobación
La materia tiene dos exámenes parciales y uno final.
Para aprobar los Trabajos Prácticos es necesario haberse inscrito 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 2 (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 14. En tal caso, la nota final será igual al promedio de las notas de los dos últimos exámenes rendidos.
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 y/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)
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. (link)
- Demostración del teorema de compacidad.
- Metalógica, introducción a la metateoría de la lógica clásica de primer orden, Geoffrey Hunter.
- Lectura adicional: " [...] La indefinibilidad de la Definición [...] " por Xavier Caicedo. (link)
Prácticas
Práctica 1 Lenguaje del Cálculo Proposicional
Práctica 2 Semántica del Cálculo Proposicional
Ejercicio Resuelto Item del ejercicio 12 - b de la práctica 2
Práctica 3 Consecuencia Lógica
Práctica 4 Compacidad
Práctica 5 Cálculo de Predicados
Práctica 6 Modelos y Árboles
Práctica 7 Funciones Computables
Práctica 8 Funciones Recursivas Primitivas
Práctica 9 Teoría de Computabilidad
Práctica 10 Conjuntos computables
