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

Une proposition de corrigé sous forme d'une feuille de travail MAPLE.

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

Une proposition de corrigé sous forme d'une feuille de travail MAPLE.

TP Maple n°5 : courbes elliptiques

Articles publiés

Analyse 2 : vers l'infini et au-delà.

On distingue les mathématiques CONtinues des mathématiques disCRÈTES. Les premières correspondent à celles que vous avez découvertes au lycée avec le calcul différentiel (dérivées, intégrales) alors que les secondes correspondent à celles que vous avez étudiées jusqu'à maintenant à l'IUT (suites, arithmétiques, dénombrement, graphes, automates,...).

Langages, automates, grammaires

  • Semaine 42 : les machines de Turing
  • Semaine 43 : les langages (introduction)
  • Semaine 46 : langages et expressions rationnels, automates.
  • Semaine 47 : expressions rationnelles, grep, automates, automates déterministes.
  • Semaine 48 : automates émondés, standards, déterministes.
  • Semaine 49 : opérations rationnelles sur les automates. Théorème de Kleene.
  • Semaine 50 : Minimalisation ; automates séquentiels ; automates à pile.
  • Semaine 1 : Grammaires hors contexte.

TP Maple n°4 : formes quadratiques

Pour bien réviser les différents types de coniques et de quadriques...

Le TP au format PDF et TEX

Une proposition de corrigé sous forme d'une feuille de travail MAPLE.

Pages

courtesy of webmatter.de