Unidad 5 ; DECIBILIDAD

* En lógica, el termino decidible se refiere a la existencia de un método efectivo para determinar si un objeto es miembro de un conjunto de fórmulas. Un sistema lógico o teoría es decidible sintácticamente si el conjunto de todas las formulas validas en el sistemas es decidible. Es decir, existe un algoritmo tal que para cada formula del sistema es capaz de decidir en un número finito de pasos si la fórmula es válida o no en el sistema.

TEMAS DE LA UNIDAD

5.1  LENGUAJES DECIDIBLES

5.2  EL PROBLEMA DE HALTING

5.3 TEORÍAS LÓGICAS