introalg:taller09_9
Diferencias
Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
introalg:taller09_9 [2009/06/01 12:04] – laura | introalg:taller09_9 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 | ||
---|---|---|---|
Línea 1: | Línea 1: | ||
====== Resolviendo problemas complejos ====== | ====== Resolviendo problemas complejos ====== | ||
+ | |||
+ | ===== Problemas "de la vida real" ===== | ||
==== Los Amigos de Mis Amigos ==== | ==== Los Amigos de Mis Amigos ==== | ||
Línea 216: | Línea 218: | ||
Quizás pueden empezar a reconsiderar sus opiniones sobre prolog ;) | Quizás pueden empezar a reconsiderar sus opiniones sobre prolog ;) | ||
+ | |||
+ | |||
+ | ==== Cálculos numéricos de bases de datos ==== | ||
+ | |||
+ | Habíamos propuesto en el día anterior una función que calcule el porcentaje de estudiantes que aprobó o promocionó la materia, definiendo una función '' | ||
+ | |||
+ | Como en el caso anterior, definimos una función principal y varias funciones auxiliares o subrutinas: | ||
+ | < | ||
+ | porcentajeEstudiantes :: (Int -> Bool -> Bool) -> [(String, | ||
+ | porcentajeEstudiantes test estudiantes = | ||
+ | div | ||
+ | ( 100 * ( length ( filter (estudiantePositivo test) estudiantes ) ) ) | ||
+ | ( length estudiantes ) | ||
+ | |||
+ | aprueba, promociona :: Int -> Bool -> Bool | ||
+ | aprueba n _ = n > 4 | ||
+ | promociona n p = n > 7 && p | ||
+ | |||
+ | estudiantePositivo :: (Int -> Bool -> Bool) -> (String, | ||
+ | estudiantePositivo test (nombre, | ||
+ | </ | ||
+ | |||
+ | Probamos la función: | ||
+ | < | ||
+ | Main> porcentajeEstudiantes aprueba [(" | ||
+ | 66 | ||
+ | Main> porcentajeEstudiantes promociona [(" | ||
+ | 33 | ||
+ | </ | ||
==== Central de turnos ==== | ==== Central de turnos ==== | ||
Línea 244: | Línea 275: | ||
</ | </ | ||
- | ==== Nueve Reinas ==== | + | La regla que podríamos hacer sería algo más o menos así: |
+ | < | ||
+ | valido(Paciente, | ||
+ | not((turno(Paciente, | ||
+ | | ||
+ | not(turno(Paciente, | ||
+ | not(turno(_, | ||
+ | </ | ||
- | En el problema | + | ==== Otros problemas "de la vida real" para resolver ==== |
- | ==== Misioneros | + | * Comprobar si podemos cocinar un determinado platillo dados los ingredientes necesarios para el platillo |
- | En el problema | + | * Crear un sistema |
- | ==== Resolvemos con generalizaciones | + | * Hacer un programa **no muy largo** que, dado un animal, nos diga si es ovíparo o vivíparo, si vive en la tierra, en el agua o en el aire, si come carne o vegetales, etc. Tratar excepciones como " |
+ | |||
+ | ===== Problemas clásicos de programación recursiva ===== | ||
+ | |||
+ | ==== Máximo Común Divisor ==== | ||
+ | |||
+ | Definir en haskell y en prolog una función que nos dé el máximo común divisor (mcd) de dos números. Aprovechen el hecho de que se trata de lenguajes declarativos y traten de definir el mcd como **lo que es**: el mayor número por el que la division entera de cualquiera de los dos números devuelve 0 como resto. | ||
+ | |||
+ | Fíjense que puede haber suerte y que uno de los dos números sea ya el mcd, ese sería un caso base. Tenemos entonces dos casos base: que el primer número sea el mcd, o que lo sea el segundo. Si no es ninguno de esos casos, tenemos el caso recursivo... | ||
+ | |||
+ | ==== N Reinas ==== | ||
+ | |||
+ | En el problema de las n reinas tenemos que encontrar una forma de colocar n reinas en un tablero de n x n sin que se estén amenazando (por ejemplo, ocho reinas en un tablero de ajedrez). | ||
+ | |||
+ | ==== Misioneros y Caníbales | ||
+ | En el problema de los misioneros y los caníbales, tenemos tres misioneros y tres caníbales que tienen que cruzar un río usando un bote que sólo puede transportar hasta dos personas. En ningún momento pueden quedar más caníbales que misioneros en ningún lado del río, porque en ese caso los caníbales se comerían a los misioneros. Además, el bote no puede cruzar el río sin personas a bordo. | ||
+ | ==== Resolvemos con generalizaciones los ejercicios de clases anteriores ==== | ||
introalg/taller09_9.1243857865.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)