LMF2013: Soluciones lógicas de problemas lógicos
En la clase de hoy del curso Lógica matemática y fundamentos se ha presentado una colección de problemas para mostrar cómo pueden resolverse elementalmente con Prolog.
Los problemas son
- Rompecabeza lógico.
- La banda de músicos.
- Mini sudoku.
- Criptoaritmética.
- Cuadrados mágicos.
- La sucesión de Langford.
- Coloraciones de un mapa.
- El mono y el plátano.
A continuación se muestran los problemas y sus soluciones
Read More “LMF2013: Soluciones lógicas de problemas lógicos”