Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 1994) 2013-2

Optativas, Lógicas no Clásicas

Grupo 7016, 40 lugares. 4 alumnos.
Profesor Miguel Carrillo Barajas ma ju 18:30 a 20 P108
Ayudante Maribel Santiago Luna lu mi 20 a 21 P108

 

Avisos

En la primera clase vimos comentarios sobre el temario del curso y sobre la forma de evaluación.

El miercoles 30 estará Maribel en la clase de ayudantia.

Lógicas no Clásicas

Objetivos Generales.
Proporcionar un concepto amplio de la Lógica mediante algunos ejemplos de lógicas no clásicas y aplicaciones de las mismas.

Temario.

  • I.. Lógica Clásica
    • Alcance de la Lógica Clásica.
    • Desviaciones y Extensiones de la Lógica Clásica
  • II. Lógica Modal
    • Lógica proposicional modal. Semántica. Axiomatización.
    • Corrección, Completitud y Decidibilidad.
    • Aplicaciones.
  • III. Lógica Temporal
    • Tiempo lineal y tiempo ramificado.
    • Lógica proposicional temporal. Semántica. Axiomatización (K_t, K_b, etc.)
    • * Aplicaciones.
  • IV. Lógica Intuicionista
    • Filosofía intuicionista. Concepto de demostración, negación.
    • Lógica proposicional intuicionista
    • Lógica de predicados intuicionista
    • Teoría de Tipos intuicionista
    • Aplicaciones.

Los temas marcados con "*" dependen de la velocidad del curso.

Bibliografía.

  • G.E. Huges y M.J. Creswell, "A Companion to Modal Logic", Methuen & Co. 1984.
  • G.E. Huges y M.J. Creswell, "Introducción a la lógica modal", Tecnos 1973.
  • J. van Benthem, "Modal Logic for Open Minds", CSLI 2010.
  • Huth-Ryan, "Logic in computer science". 2000.
  • G. Priest. "An introduction to non-classical logic". 2001.
  • Nerode. "Logic for applications". 1997.
  • Handbook of Theoretical Computer Science, V.B. "Temporal and modal logic". 1990.
  • Blackburn-Rijke-Venema. "Modal logic".2001. http://www.mlbook.org/.
  • S. Popkorn. "First steps in modal logic". 1994.
  • Chellas. "Modal logic: an introduction". 1980.
  • A. Thayse (ed.) "From modal logic to deductive databases", John Wiley & Sons 1989.
  • N. Recher and A. Urquhart, "Temporal logic", Springer Verlag 1971.
  • A. Heyting, "Intuitionism. An introduction", North Holland 1971.
  • J. Barwise, "Handbook of mathematical logic", North Holland 1977.
  • S. Thompson, “Type Theory and Functional Programming”, Addison-Wesley 1991.

Evaluación.

Calificacion_del_curso= P1*25%+ P2*25%+ PF*25%+ EF*25%
P1,P2= Calificaciones Parciales= Examen_parcial*80% + Tareas*20%
PF= Proyecto Final.
EF= Examen Final

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.