Ir al contenido

Usuario:Rafael~eswikibooks

De Wikilibros, la colección de libros de texto de contenido libre.

PONTIFICIA UNIVERSIDAD JAVERIANA

ASIGNATURA: PENSAMIENTO ALGORITMICO

PROFESOR: OFFRAY VLADIMIR LUNA CARDENAS

ALUMNO: RAFAEL RICARDO ROMERO TORRES

GRUPO: 7



EJERCICIOS PROPUESTOS


El ejercicio 1 lo tome del libro:

GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.3: CAPÍTULO2. Cálculo de predicados. Ejercicio 3. Página 86.


1. Dar una derivación formal para demostrar que implica lógicamente que Archivo:Pensamiento algorítmico conclusión 1).jpg. Utilizar la particularización existencial y la generalización existencial como reglas de inferencia.

Ver la solución del ejercicio 1 aquí




El ejercicio 2 lo tome del libro:

GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.3: CAPÍTULO2. Cálculo de predicados. Ejercicio 4. Página 86.


2. Dar una derivación formal para demostrar que Archivo:Pensamiento algorítmico expresión 2).jpg implica lógicamente que Archivo:Pensamiento algorítmico conclusión 2).jpg.

Ver la solución del ejercicio 2 aquí

  • [http:es.wikibooks.org/wiki/Usuario:Rafael/ejercicio_5 ejercicio de programacion algoritmica , quia dejada por la monitora ejercico2.3 libro de joyanes]


INTRODUCCION A LA LOGICA MATEMATICA UNIVERSIDAD DEL QUINDIO ARMENIA 1980 COLOMBIA,AUTORES,JACOB ARANHA LOSADA Y GLORIA INES MONTOYA DE ARANHA EJERCICIO PAG 103]