Hola, bueno tengo que preparar el tp de mat discreta para entregar pronto pero no entiendo las consignas, en especial la primera de todas, alguien me lo puede traducir a español simple? xD

- Generar regla lógicas (proposiciones) que a partir de un hecho (proposición de valor conocido), permita llegar a otro hecho . Este sistema de reglas, debe resolverse mediante deducción natural (Modus Ponens, Eliminación de la Conjunción, etc.)

- Investigar sobre Deducción Automática (la Teoría de Herbrand), elaborar ejemplos propios e intentar explicar con términos propios el propósito de esta teoría
- Investigar sobre Deducción Natural (uso de reglas Modus Ponens, Eliminación de la Conjunción, de la Disyunción, etc.). Generar ejemplos y explicar con términos propios las aplicaciones de esta teoría

GRAXX!!!

Las dos últimas son claras, lo dice ahí investigar, aplicar y concluir. La primera te pide que en base a un hecho (proposición de valor conocido), hagas proposiciones relacionadas al mismo que te permitan llegar a otro hecho, las reglas o proposiones que uses para el fin, tienen que obedecer a la "deducción natural" y como en la última consigna tenes que investigar la misma, eso te va ayudar para saber como relacionar esas proposiciones.

Ejemplo del tp2013

- TODOS los griegos son hombres (regla)
- TODOS los hombres caminan en dos piernas (regla)
- YO soy griego (hecho)
- ENTONCES camino en dos piernas
Los silogismos tienen reglas genéricas (TODOS, ALGUNOS) que pueden utilizarse en forma compuesta para formar nuevas reglas. Ante un hecho (YO soy griego), se pueden utilizar los silogismos mediante razonamientos para llegar a una conclusión que a simple vista parecían hechos sueltos.


Yo ni me anote a los grupos todavía, ví que cerraron hoy, sabés hasta cuando hay tiempo para entregar el tp y si se va entregando por secciones, o cómo es el tema..?

Yo ni me anote a los grupos todavía, ví que cerraron hoy, sabés hasta cuando hay tiempo para entregar el tp y si se va entregando por secciones, o cómo es el tema..?

La planilla la abrieron de vuelta, y el trabajo no tiene fecha de entrega, tenes todo el año para hacerlo, pero recomiendan entregarlo cada tanto cada seccion, para ir corrigiendolo

Tengo que entregar el TP para poder firmar la libreta (cuatrimestral), y no entiendo ni las consignas, alguno tiene algo resuelto de alguno de los putnos para orientarme un poco? Voy a terminar recursando por ese TP de mierda.

Yo tengo una pregunta sobre el tp, porque tiene una parte para programadores, pero el enunciado no es muy claro....

- Generar un programa de compuertas lógicas de al menos 2 proposiciones compuestas (de al menos 3 términos) donde dados los valores de verdad de las proposiciones simples, indica el valor de verdad de la proposición compuesta

Tengo que hacer que el usuario ingrese la tabla de verdad? o lo hago todo de una? Porque si no pide que ingrese nada el usuario, resulta muy facil jajajaja

Tiene idea si hay algún tipo de fecha límite para la anual?
Porque me puse a hacerlo recién ahora!! xD
=(

Teóricamente la última sección se hace con autómatas y eso se ve a fin de año
Y lo de grafos, recién lo vimos ayer xD

D:

La fecha limite de entrega creo que es despues de las vacaciones. No se si coincide mas o menos con los segundos recuperatorios o si dan tiempo hasta mayo que es cuando cierra el ciclo lectivo.