Usuario:Rafael~eswikibooks
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.
.jpg){kind=link}
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.
.jpg){kind=link}
.jpg){kind=link}
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]
- ejercicio de programacion algoritmica , quia dejada por la monitora ejercico2.5 libro de joyanes
- ejercicio de programacion algoritmica , quia dejada por la monitora ejercico2.12 libro de joyanes
- ejercicio de programacion algoritmica , quia dejada por la monitora ejercico2.21 libro de joyanes
- ejercicio de programacion algoritmica , quia dejada por la monitora ejercico2.11 libro de joyanes
- ejercicio de programacion algoritmica , quia dejada por la monitora ejercico3.12 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]
- [http://es.wikibooks.org/wiki/Usuario:Rafael/ejercicio_21 INTRODUCCION A LA LOGICA MATEMATICA UNIVERSIDAD DEL QUINDIO ARMENIA 1980 COLOMBIA,AUTORES, JACOB ARANHA LOSADA Y GLORIA INES MONTOYA DE ARANHA EJERCICIO PAG 123( EL ULTIMO DE LA HOJA)