Herramientas Personales
Usted está aquí: Inicio / Materias / Lógica y Computabilidad / 2007 / verano 2007 / contenido

Contenido del curso

Temario

 

Computabilidad

  • Lenguajes de programación
  • Macros
  • Recursión
  • Funciones primitivas recursivas
  • Predicados, operadores lógicos
  • Minimización
  • Codificación de Godel
  • Halting Problem, universalidad
  • Conjuntos recursivamente enumerables
  • Teoremas de la recursión, del punto fijo y de Rice

 

Lógica Proposicional

  • Lenguaje
  • Semántica
  • Mecanismo Deductivo
  • Metateoremas para SP
  • Tableaux
  • Compacidad

 

Lógica de Primer Orden

  • Lenguaje
  • Semántica
  • Sistema axiomático
  • Metateoremas
  • Indecidibilidad

Bibliografía

 

  • Computability, Complexity and Languages, fundamentals of theoretical computer science. Martin Davis, Ron Sigal, Elaine Weyuker, Elsevier, 1994
  • Metalógica, introducción a la metateoría de la lógica clásica de primer orden. Geoffrey Hunter, Editorial Paraninfo, 1981.