Entrega 1 - Lógica Matemática II-2017

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  \LaTeX.
  • 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 2017TALLERES 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 \mathcal{L}-estructura \mathcal{M}_{\Sigma} definida en clase en la demostración del Teorema de Completitud, demuestre que si t es un \mathcal{L}-término cerrado entonces t^{\mathcal{M}_{\Sigma}}=[t].
This entry was posted in Logica Matematica II-2017. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>