Diferencia entre revisiones de «Final del 26/12/12 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «{{Back|Lógica y Computabilidad}} == Ejercicio 1 == Probar que si una función es primitiva recursiva si pertenece a toda clase PRC. == Ejercicio 2 == Enunciar y demostra...») |
(→Ejercicio 3: Typo.) |
||
Línea 8: | Línea 8: | ||
== Ejercicio 3 == | == Ejercicio 3 == | ||
Usando la correctitud de la lógica | Usando la correctitud de la lógica proposicional, demostrar que si un conjunto de fórmulas <math>\Gamma</math> es satisfacible entonces es consistente. | ||
== Ejercicio 4 == | == Ejercicio 4 == |
Revisión actual - 23:47 29 dic 2012
Ejercicio 1
Probar que si una función es primitiva recursiva si pertenece a toda clase PRC.
Ejercicio 2
Enunciar y demostrar el Teorema de Rice.
Ejercicio 3
Usando la correctitud de la lógica proposicional, demostrar que si un conjunto de fórmulas es satisfacible entonces es consistente.
Ejercicio 4
Sea 𝓛 = { 0, S, <, +, · } con igualdad y sea 𝓝 = ⟨ ; 0, S, <, +, · ⟩ una 𝓛-estructura de primer orden con la interpretación usual.
Mostrar que existe un modelo de en donde valen todas las verdades de 𝓝 pero en donde existe un elemento inalcanzable (desde el 0, usando la función sucesor S).