Navigation

pour s'amuser : calcul de la suite de Fibonacci de quatre façons différentes en C/C++

pour la programmation générique : tutoriel sur la création de classes templates qui s'appuie sur l'implémentation GNU de la classe Pair de la STL

pour l'analyse de concepts formels : implémentation de l'article Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice

pour la conception des bases de données : implémentation en C++ “moderne” de l'inférence de dépendances fonctionnelles, de la simplification des dépendances et du calcul de la base de Armstrong associée

pour la fouille des bases de données : implémentation du calcul des “agree sets” d'un instance Mysql

pour le mélange de cartes calcul de l'état d'un jeu de cartes après mélanges à l'américaine selon le modèle GSR, utilisé dans l'article Trailing the Dovetail Shuffle to its Lair

pour la sémantique dénotationnelle des langages (rendu pdf): un interpréteur du langage impératif jouet de l'excellent article de David SCHMIDT

pour la logique classique : quelques fonctions de basessur la logique des propositions, pour illustrer l'UE LIF11