Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 1: |
Línea 1: |
| =Aclaración= | | <=Ejercicio 1= |
|
| |
|
| El examen consistió de 2 partes. En una parte se evaluó la parte de Lógica, y en otro la de Computabilidad. En ambas partes, el profesor le permitió al comienzo elegir un tema al alumno para que cuente, y luego se le hicieron preguntas relacionadas (si estuviste estudiando, te das cuenta que tarde o temprano todo se relaciona con todo... así que cuidado). Luego da un ejercicio que es más de pensar y aplicar los contenidos estudiados.
| | =Ejercicio 2= |
|
| |
|
| Por lo tanto, podemos pensar el oral de la siguiente manera. Paso a comentar en primera persona.
| | =Ejercicio 3= |
|
| |
|
| ==Ejercicio 1 (Computabilidad)==
| | =Ejercicio 4=> |
| | |
| Tema a elección + preguntas relacionadas
| |
| | |
| ==Ejercicio 2 (Computabilidad)==
| |
| | |
| En particular en este ejercicio me tomó un ejercicio parecido al "Busy Beaver". Acá la idea era que dada una función que me devolviera el nº de programa de longitud l que termina con entrada x, probar si esta era o no computable. El secreto estaba en probar que si esto funcionara, estaríamos probando el Halting Problem.
| |
| | |
| ==Ejercicio 3 (Lógica)==
| |
| | |
| Tema a elección + preguntas relacionadas
| |
| | |
| ==Ejercicio 4 (Lógica)==
| |
| | |
| Acá me tomó dos sub-ejercicios:
| |
| | |
| a) Dado un lenguaje <math>L</math> con igualdad probar que existe un conjunto Γ de sentencias del lenguaje <math>L</math> tal que A como modelo: <math> A |= </math> Γ <math>\leftrightarrow</math> A tiene universo infinito
| |
| | |
| b) ¿Existe una fórmula/sentencia tal que <math> A |= </math> ϕ <math>\leftrightarrow</math> A tiene universo infinito?
| |
| | |
| | |
| | |
| ==='''Respuestas del 4 (SPOILER):'''===
| |
| | |
| a) VERDADERO b) FALSO
| |
| | |
| Éxitos a los que rinden. Atte: Rok
| |