Herramientas Personales
Usted está aquí: Inicio / Materias / Lógica y Computabilidad / 2011 / Segundo Cuatrimestre / Información

Información

Computabilidad

  1. Lenguajes de programación
  2. Macros
  3. Recursión
  4. Funciones primitivas recursivas
  5. Predicados, operadores lógicos
  6. Minimización
  7. Codificación de Godel
  8. Halting Problem, universalidad
  9. Conjuntos recursivamente enumerables
  10. Teoremas de la recursión, del punto fijo y de Rice

Clases Prácticas

  1. Lenguaje
  2. Semántica
  3. Mecanismo Deductivo
  4. Metateoremas para SP
  5. Compacidad

Lógica de Primer Orden

  1. Lenguaje
  2. Semántica
  3. Sistema axiomático
  4. Metateoremas
  5. Indecidibilidad