La lettre de Caml

Un cours d'informatique pour la deuxième année de spéciales, dans une version non définitive

Des transparents de cours pour la deuxième année de l'option informatique

Un poly d'informatique en Caml

Quelques suggestions bibliographiques en direction des étudiants

Un petit mémento de Caml (en collaboration avec Alain Bèges) (au format pdf — 164ko)

Un Caml Primer, par Alain Bèges, au format pdf, 588ko

Et, en vrac, mes exposés au Colloque "Algorithmique et programmation", à Luminy (et Toulouse en 1999)

un texte sur les arbres couvrant minimaux (pdf, 180 ko), présenté à Luminy en 1998,

une introduction à Metapost, présentée à Toulouse en 1999,

une introduction aux arbres 2-3 et leur combinatoire, présentée à Luminy en 2000,

deux applications de l'automate des suffixes à la recherche d'un motif dans une chaîne, présentée à Luminy en 2001

La lettre de Caml est une publication de Laurent Chéno.

Les numéros suivants sont disponibles:

Vous êtes très cordialement invités à envoyer vos contributions à Laurent.

Pour lire les Lettres de Caml, vous aurez besoin d'Acrobat® Reader (disponible gratuitement sous forme de plug-in pour votre browser, et en tant qu'application séparée).

• Numéro 0 (.pdf, 194 k) ou (.ps.gz, 472 k)
  
  Au programme de cette lettre:
  • Un parseur pour les expressions régulières
  • Le crible d'Ératosthène par les flots

Les sources de la Lettre de Caml numéro 0.

• Numéro 1 (.pdf, 194 k) ou (.ps.gz, 600 k)
  
  Au programme de cette lettre:
  • Un convertisseur graphique
  • Une recherche linéaire du i-ème plus petit élément
  • Parseurs et expressions arithmétiques
  • Expressions régulières et automates

Les sources de la Lettre de Caml numéro 1.

• Numéro 2 (.pdf, 149 k) ou (.ps.gz, 1225 k)
  
  Au programme de cette lettre:
  • Évaluation paresseuse
  • Mots de Lyndon et mots de Lukasiewicz
  • Permutations

Les sources de la Lettre de Caml numéro 2.

• Numéro 3 (.pdf, 191 k) ou (.ps.gz, 800 k)
  
  Au programme de cette lettre:
  • Formes normales disjonctives et conjonctives
  • Arithmétique exacte en Caml
  • Algorithme de Johnson sur les permutations
  • Parseur d'expressions arithmétiques

Les sources de la Lettre de Caml numéro 3.

• Numéro 4 (.pdf, 206 k) ou (.ps.gz, 800 k)
  
  Au programme de cette lettre:
  • Recherche d'un motif dans une chaîne (algorithmes de Knuth, Morris et Pratt et de Boyer, Moore et Horspool)
  • La bibliothèque format

Les sources de la Lettre de Caml numéro 4.

• Numéro 5 ( pdf, 207 k) ou (.ps.gz, 980 k)
  
  Au programme de cette lettre:
  • Files binomiales
  • Pagodes
  • Dessin d'arbres

Les sources de la Lettre de Caml numéro 5.

• Numéro 6 ( pdf, 314 k) ou (.ps.gz, 1200 k)
  
  Au programme de cette lettre:
  • Partitions d'un entier naturel, dont algorithme RSK
  • Introduction au lambda-calcul, alpha-équivalence, bêta-réduction, utilisation de la notation de de Bruijn

Les sources de la Lettre de Caml numéro 6.

• Numéro 7 ( pdf, 188 k) ou (.ps.gz, 788 k)
  
  Au programme de cette lettre:
  • Arbres compactés de recherche de chaînes de caractères
  • Manipulation des séries formelles

Les sources de la Lettre de Caml numéro 7.

Un polycopié d'informatique en Caml

Un polycopié en pdf de 632 ko

Pour la deuxième année de CPGE : un cours de l'option informatique

Le programme officiel de l'option informatique (76 ko)

Un cours de deuxième année (version provisoire) fichier pdf de 596 ko

Retour à la page générale de Caml

ou à la page de l'UPS sur le serveur de l'INRIA ou à la page de l'UPS sur le serveur de l'ENST-Bretagne