Quelques ressources de programmation
En C++
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
En Haskell
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