Récursion, ensembles, relations, logique

Le poly et ses sources TEX (version 9 oct 2012).

Les diaporamas:

Ensembles et Relations binaires avec CAML

Voici quelques fonctions permettant de travailler sur les relations binaires à l'aide de CAML. Attention ! Cette présentation n'est vraiment pas performante mais uniquement destinée à être utilisée par des apprentis mathématiciens-programmeurs très débutants...

Emacs pour les étudiant(e)s de l'IUT

Voici quelques commandes pour installer un fichier de configuration .emacs ainsi qu'un répertoire /emacs contenant le mode tuareg pour CAML.
Il suffit d'ouvrir un terminal à la racine du $home et de taper:

Xmonad

XMONAD (site officiel) est un gestionnaire de fenêtres pavant pour le système X écrit, configurable et extensible en Haskell. C'est un vrai plaisir de l'utiliser, surtout avec deux écrans.

Après installation, il faut le configurer. Voici mon fichier de configuration ~/.xmonad/xmonad.hs.

ADA et emacs

Un petit aide-mémoire pour faire tourner une procédure ADA sous emacs avec ada-mode.

Il faut au préalable installer gnat :

Tags

TP MAPLE n°1 (MP*)

Remise en forme en algo avec le sujet de l'X-ENS de 2012 sur les sandwichs au jambon...

Le TP au format PDF et TEX

Tags

Probabilités

Cours et TD autour des probabilités en INFO 1...ou comment les probas peuvent sauver la géométrie et l'algèbre.

Dénombrement avec CAML

Calcul des coefficients binomiaux et visualisation du triangle de Pascal et du triangle de Sierpinski associé:

Arithmétique avec CAML

Voici quelques fonctions Caml relatives au cours d'arithmétique:

Arithmétique, polynômes et suites pour l'informatique

Semaines 4, 5, 6, 9, 10 et 11 : arithmétique. (MAJ 19 mars 2012 - 19:23)

Le cours et les TD au format PDF et TEX

TP MAPLE n°7 : transformée de Laplace

Le TP au format PDF et TEX

Sage a son livre : le sagebook

Le sagebook ou tout ce que vous avez toujours voulu savoir sur l'utilisation de Sage. La version 1.0.9 est en ligne depuis décembre 2011 et une version papier devrait être publiée chez Eyrolles en juin 2012.

Les auteurs : Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, François Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry, Paul Zimmermann.

Tags

TP MAPLE n°6 : séries de Fourier

Le TP au format PDF et TEX

TP Maple n°5 : courbes elliptiques

Articles publiés

Pages

courtesy of webmatter.de