ENTREGA 1 - LÓGICA MATEMÁTICA:
SI UN DOCUMENTO ENVIADO NO CUMPLE ALGUNA DE LAS SIGUIENTES PAUTAS, NO SERÁ RECIBIDO. DEBE CUMPLIR TODAS.
ENVIAR A MI EMAIL INSTITUCIONAL.
- CONTESTAR EL TALLER EN ORDEN. PUNTOS CONTESTADOS EN OTRO ORDEN AL ESPECIFICADO NO SERÁN CALIFICADOS.
- UN sólo archivo pdf por GRUPO en formato
.
- GRUPOS DE 2 (DOS) INTEGRANTES.
- En el cuerpo del email y en la primera página del pdf, especificar NOMBRES DE INTEGRANTES, CÓDIGO E EMAIL DE LA UNAL. TALLERES NO MARCADOS NO SERÁN CALIFICADOS.
- Reenviar a TODOS los integrantes del grupo al tiempo que lo envían al profesor.
- Enviar con asunto "ENTREGA 1 Lógica Matemática II-2017", hasta las 17:59 HORAS (5:59 P.M.) del MIÉRCOLES 18 DE OCTUBRE DE 2017. TALLERES ENVIADOS LUEGO DE ESA HORA NO SERÁN REVISADOS.
- Escribir enunciados completos. Punto sin enunciado NO será revisado.
ENTREGAR LOS SIGUIENTES EJERCICIOS:
- Taller 5 punto 6.
- Taller 5 punto 7.
- Taller 5 punto 9.
- Demuestre que dada la
-estructura
definida en clase en la demostración del Teorema de Completitud, demuestre que si
es un
-término cerrado entonces
.