Skip to content

Departamento de Matematica

Sections
Personal tools
You are here: Home » Académico » Materias » Primer Cuatrimestre de 2018 » Lógica y Computabilidad

Lógica y Computabilidad

Primer cuatrimestre 2018

¡Novedades!


  • (27/4) Publicamos las fechas de los parciales.
  • (20/4) La inscripción se cerró y ya están habilitados/as en el sistema de inscripciones para completar la encuesta de inicio de cuatrimestre. // El apunte con una demostración del teorema de compacidad que se mencionó en la teórica ya está subido.
  • (20/3) Hubo dificultades técnicas en la inscripción a la materia, pero ya pueden (y deberían) realizarla de la manera usual. La inscripción permanecerá abierta hasta el 14/4 a más tardar; luego se cierra para que se pueda acceder a las encuestas de inicio de cuatrimestre.
  • Docentes

    Clases teóricas

    Alejandro Petrovich .

    Clases prácticas

    Alejandro Nasif SalumEmiliano Acri — Ignacio Mollo Cunningham

    Horario y aulas

    Miércoles de 17 a 19hs.: aula 4 Pab. II

    Viernes de 17 a 22hs.: aula 4 Pab. II

    Prácticas

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

    Práctica 2: Semántica del Cálculo Proposicional.

    Práctica 3: Consecuencia lógica.

    Práctica 4: Compacidad.

    Práctica 5: Cálculo de predicados (lenguajes de primer orden e interpretaciones).

    Práctica 6: Cálculo de predicados (modelos y árboles).

    Exámenes parciales y recuperatorios

    Primer parcial: viernes 1ero de junio a las 17h.

    Segundo parcial: viernes 6 de julio a las 17h.

    Recup. del primer parcial: viernes 13 de julio (horario a confirmar).

    Recup. del segundo parcial: viernes 20 de julio a las 17h (horario a confirmar).

    Régimen de aprobación

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

    Para aprobar los Trabajos Prácticos (y así tener derecho a rendir el examen final) 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 —ya sea para mejorar el promedio con el que se promociona o para intentar promocionar quienes aprobaron ambos exámenes pero no promocionaron—.

    Importante: Al rendir un examen recuperatorio la calificación obtenida en este reemplaza a la del parcial correspondiente en todos los casos, incluso si esta sustitución implica una baja de la calificación final de la materia, perder la posibilidad de promocionar, o bien desaprobar la materia.

    Materias correlativas

    Para computación: Algoritmos y Estructuras de Datos II

    Bibliografía sugerida

    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í.
    • 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í.
    Apuntes Adicionales
    Created by slaplagn
    Last modified 2018-05-18 03:18 PM
     
     

    Powered by Plone