Michel Quercia


Note : les fichiers dont le nom se termine par .tgz ou .tar.gz sont des archives créées sous Linux avec GNU-tar et comprimées avec Gzip. Pour les ouvrir vous pouvez utiliser le logiciel StuffIt Expander (graticiel fonctionnant sous Linux/Mac/Solaris/Windows).

Cours d'informatique

pour l'option informatique en MPSI et MP

Cours, exercices, problèmes et travaux pratiques cours.ps.gz (773K) cours.pdf.gz (1277K)
idem en réduction (2 pages logiques sur une page physique) cours2.ps.gz (777K) cours2.pdf.gz (1256K)
Aide-mémoire Caml aide-caml.ps.gz (37K) aide-caml.pdf.gz (225K)

Ce cours est publié par les édition Vuibert. Voir ici la liste des erreurs détectées dans la version imprimée (et corrigées dans les versions électroniques).


Sujets de TP Caml

Les textes suivants ont été donnés en MPSI/MP, option info au lycée Poincaré de Nancy, au lycée Champollion de Grenoble et au lycée Carnot de Dijon. Chaque archive contient l'énoncé en TeX, la version prête à imprimer en PDF et un fichier Caml tenant lieu de corrigé. Pour décomprimer ces archives, utilisez Winzip sous Windows ou Gnu-tar sous Linux. La recompilation sous TeX impose de disposer du jeu de macros carnot.mac
arbpri.tgz Arbres de priorité équilibrés
bool.tgz Manipulation de formules booléennes
chemins.tgz Chemins dans Z2
file.tgz Files d'attente et suite de Hamming
formules.tgz Évaluation d'une formule arithmétique
multiprecision.tgz Calcul multiprécision
polynomes.tgz Manipulation de polynômes
premier.tgz Tests de primalité
resolution.tgz Recherche de contradictions
segmentation.tgz Segmentation d'une liste
tableur.tgz Modélisation d'un tableur
taquin.tgz Résolution d'un taquin
train.tgz Permutation d'un train (listes à double entrée)

Retour au sommaire

Cette page est gérée par Michel Quercia

Mise à jour : 01/04/2003