Diferencia entre revisiones de «Final del 10/09/14 (Lógica y Computabilidad)»

De Cuba-Wiki
Sin resumen de edición
 
Línea 1: Línea 1:
{{Back|Lógica y Computabilidad}}
=Ejercicio 1=
=Ejercicio 1=



Revisión actual - 17:03 7 abr 2015

Plantilla:Back

Ejercicio 1

a) Dar el concepto de consecuencia para lógica proposicional
b) Demostrar que  es consecuencia lógica de  si y sólo si { U ¬} es insatisfacible

Ejercicio 2

es un lenguaje con igualdad y un predicado binario . Dada una interpretación con universo en los Naturales y con el predicado . Probar que 0, 1 y 2 son distinguibles.

Ejercicio 3

es un conjunto de naturales. Demostrar que es recursivo si y sólo si y son recursivamente enumerables.


Ejercicio 4

Demostrar que no es computable.