¿Alguien podría darme alguna idea de cómo encarar este ejercicio? Lo estuve pensando un rato pero no se me ocurre. Especialmente las partes b y c. Gracias de antemano.
En respuesta a Sebastian Juan Rodriguez Leopold
Re: Segundo parcial 2012, ejercicio 4
de Matias Rodal Medina -
Para la parte a tendrias que tomarte formulas que "definan" lo que piden.
En la parte b hay un resultado del teorico que sirve mucho, y lo use en todos los parciales que hice: Th(Mod(R))=Cons(R)
Para la parte c te dicen que no te tomes K3=vacio por algo. Fijate que pasa si k3 es vacio.
Saludos
En respuesta a Matias Rodal Medina
Re: Segundo parcial 2012, ejercicio 4
Es super util eso! Una prgunta cuando lo usas en el parcial, po dnde lo justificas? que numero de prop del teorico? Gracias!
En respuesta a Francisco Andres Panzera Almada
Re: Segundo parcial 2012, ejercicio 4
lo podes demostrar bastante facil, con las definiciones de Th(k), Mod(R) y Cons(R) y aplicando correccion y completitud para "pasar de" |- a |=, al menos me parece medio visto por arriba que con eso sale...
En respuesta a Guillermo Hans Leopold Farina
Re: Segundo parcial 2012, ejercicio 4
de Matias Rodal Medina -
Igualmente dejan usar resultados del practico, o eso dijeron para el primer parcial
En respuesta a Matias Rodal Medina
Re: Segundo parcial 2012, ejercicio 4
Si por eso, queria saber si alguien sabia que ejercicio de practico o que entrada de teorico, para ahorrar tiempo en el parcial y tener menos lugar a errores.
Pero ta, si no lo encuenta nadie a demostrarlo en el parcial! jaja
agradezco si alguien sabe donde esta esa prop
En respuesta a Francisco Andres Panzera Almada
Re: Segundo parcial 2012, ejercicio 4
de Matias Rodal Medina -
no hace falta poner la hoja de diapositiva donde esta el resultado, lo enuncias y decis que esta en el teorico y ta
En respuesta a Francisco Andres Panzera Almada
Re: Segundo parcial 2012, ejercicio 4
El resultado es lo último de lo último del curso en las diapositivas; asi que con seguridad no habrá problema en usarlo ya que se considera como resultado teórico.
En respuesta a Hernan Esteves Rosano
Re: Segundo parcial 2012, ejercicio 4
Ya lo encontre, no se como no lo vi. Gracias
En respuesta a Hernan Esteves Rosano
Re: Segundo parcial 2012, ejercicio 4
Ya lo encontre, no se como no lo vi. Gracias