Ces modules consistaient au traitement de structures de donnée
(listes, arbres binaires, ...) en application avec le langage SCHEME, ainsi
qu'à une introduction à la logique du 1er ordre et à
la méthode de résolution. J'ai d'ailleurs réalisé
en SCHEME un programme qui permettait d'appliquer à méthode
de résolution pour résoudre un problème.
Comme travail personnel (non demandé),
j'ai réalisé un programme permettant de résoudre les
problèmes de logique du 1er ordre avec la méthode de résolution
de Robinson.
J'ai également réalisé
en RPL (sur ma calculatrice HP48GX) un évaluateur SCHEME. Cela m'a
permis de comprendre beaucoup de subtilités du langage. L'intérêt
de faire ce programme étant surtout de pouvoir disposer d'un évalusateur
SCHEME à l'examen (car celui-ci se passait sur papier, loin des
ordis... ~.^) |