ENTREGA 3 - 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.
- UN sólo archivo pdf por cada grupo de 2 o 3 personas, en formato
.
- En el cuerpo del email y en la primera página del pdf, especificar NOMBRE DE LOS ESTUDIANTES, CÓDIGO E EMAIL DE LA UNAL. DOCUMENTOS NO MARCADOS DENTRO DEL PDF NO SERÁN CALIFICADOS.
- REENVIAR A TODOS LOS INTEGRANTES DEL GRUPO EN EL MISMO MOMENTO DE ENVIAR LA ENTREGA AL PROFESOR.
- Enviar con asunto "ENTREGA 3 Lógica Matemática II-2017", hasta las 11:59 A.M. del LUNES 13 DE NOVIEMBRE DE 2017. DOCUMENTOS ENVIADOS LUEGO DE ESA HORA NO SERÁN REVISADOS.
- Demuestre que si
son relaciones primitivas recursivas, entonces
es primitiva recursiva.
- Demuestre que si
son relaciones primitivas recursivas disyuntas dos a dos cuya unión es
y
(
) son funciones primitivas recursivas, la función
definida por partes dada por
si
es primitiva recursiva.
- Demuestre que el conjunto
es impar
es una relación primitiva recursiva.
- Demuestre que la relación
es primitiva recursiva.
- Demuestre que si
y
es un conjunto aritmético, demuestre que
es una función aritmética.