Récursion, ensembles, relations, logique
Soumis par mathemator le 7 Octobre 2012 - 11:22pmEnsembles et Relations binaires avec CAML
Soumis par mathemator le 7 Octobre 2012 - 11:00pmVoici 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
Soumis par mathemator le 19 Septembre 2012 - 2:32pmVoici 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
Soumis par mathemator le 18 Septembre 2012 - 5:15pmXMONAD (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
Soumis par mathemator le 16 Septembre 2012 - 8:05pmUn petit aide-mémoire pour faire tourner une procédure ADA sous emacs avec ada-mode.
Il faut au préalable installer gnat :
TP MAPLE n°1 (MP*)
Soumis par mathemator le 5 Septembre 2012 - 9:34pmProbabilités
Soumis par mathemator le 30 Mai 2012 - 11:57pmCours 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
Soumis par mathemator le 6 Mai 2012 - 5:59pmCalcul des coefficients binomiaux et visualisation du triangle de Pascal et du triangle de Sierpinski associé:
Arithmétique avec CAML
Soumis par mathemator le 1 Avril 2012 - 8:14pmVoici quelques fonctions Caml relatives au cours d'arithmétique:
Arithmétique, polynômes et suites pour l'informatique
Soumis par mathemator le 19 Mars 2012 - 7:23pmTP MAPLE n°7 : transformée de Laplace
Soumis par mathemator le 24 février 2012 - 10:42pmUne proposition de corrigé sous forme d'une feuille de travail MAPLE.
Sage a son livre : le sagebook
Soumis par mathemator le 28 Janvier 2012 - 8:10pmLe 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.
TP MAPLE n°6 : séries de Fourier
Soumis par mathemator le 26 Janvier 2012 - 10:39amUne proposition de corrigé sous forme d'une feuille de travail MAPLE.