Les dejo el programa analítico. Recuerden que para el examen no va teoría de conjuntos, pero deben tenerla en cuenta especialmente para orden uno.
La parte escrita del examen no va a diferrir esencialmente de lo que hemos hecho en los parciales. La parte oral va a ser un poco más teórca. Esto quiere decir que les puedo pedir que hagan un ejercicio en cual expliquen detalladamente por qué lo hacen de la manera que lo hacen, de forma similar a como explábamos los ejerccios en clase. Por ejemplo, les puedo preguntar para qué sirve una prueba por inducción, qué cosas podemos probar por medio de ella, y que ejemplifiquen (con un ejemplo que ustedes armen) cómo realizar una prueba por inducción, en la cual detallen la razón de ser de cada paso.
Otro ejemplo: dada una estructura en el Traski's Wolrd, les puedo pedir que formulen un enunciado y que expliquen (dada la aclaración de cómo interpretarlo) cómo es que verifcamos su valor de verdad a partir de la fórmula abierta. Haciendo esto deberán explicar cómo el significado de la sentencia (su valor de verdad) depende del significado de sus partes (términos, predicados).
Programa analítico:
http://www.megaupload.com/?d=L8P4Q4MN
