Buenas a todos!
Estoy estudiando para rendir una vez mas el final de matematica discreta (voy por la 3 chance), y al ver el temario de la catedra hay cosas que no estan en el libro naranja ni en la teoria que me dio el profesor, o capaz no tengo bien en claro ese concepto.
En la Unidad 1, dedicada a la logica, alguno sabe a que hace referencia estos temas:
- Componentes sintacticos del calculo de predicados.
- Logica de primer orden: sintaxis, semantica, reglas de inferencia, sistemas deductivos.

Capaz es una pavada pero sinceramente no lo sé y me canse de que a la hora de justificar un ejercicio de final, la jefa de catedra me diga: esta en el temario de la materia.
Por eso estoy estudiando tema por tema, titulo por titulo asi me saco este clavo de encima.


Gracias!

Con lo único que te puedo ayudar es que Reglas de inferencia se refiere a las reglas que se usan en los razonamientos, esto esta en el apunte/libro de piñeiro en la página 12, Dice Reglas de Inferencia y las explica (modus ponens , silogismo etc)

Yo estoy estudiando para rendirlo por primera ves, y esperemos que sea la última

Saludos!

(31-01-2013 19:13)agusbrand escribió:  Con lo único que te puedo ayudar es que Reglas de inferencia se refiere a las reglas que se usan en los razonamientos, esto esta en el apunte/libro de piñeiro en la página 12, Dice Reglas de Inferencia y las explica (modus ponens , silogismo etc)

Yo estoy estudiando para rendirlo por primera ves, y esperemos que sea la última

Saludos!

Cual es el libro de Piñeiro? Yo tengo el naranja de la catedra, y tengo unas fotocopias que son 7 unidades con un borde creo que violeta. Son esas?


Gracias!

Las fotocopias violeta que decis son las del curso de verano, que para mi son las mejores, la guia de piñeiro es el 90% Igual que los apuntes del curso de verano tiene muchos ejercicios que no estan resueltos pero tiene algunas cosas útiles, como eso de razonamientos (que no lo vi en ningun lado) y me sirvio mucho para automatas, gramatica y lenguajes.
Se puede pedir por capítulos en la fotocopiadora...

saludos