TP MP* n°6 (SCILAB et MAPLE) SVD et traitements linéaires d'images

Dans ce TP, des mathématiques concrètes vont nous permettre de réduire, agrandir, assombrir, éclaircir, compresser, bruiter, quantifier,... une photo. Pour cela, il existe des méthodes provenant de la théorie du signal et des mathématiques continues. Nous nous pencherons plutôt sur des méthodes plus légères basées sur l'algèbre linéaire et l'analyse matricielle. Une image sera pour nous une matrice carrée de taille $2^9$ à coefficients dans $\lbrack! | 0, 2^9-1| !\rbrack$. Cela manque de charme? C'est sans compter sur Lena

Conférence XCAS lors du séminaire IREM/APMEP de Bordeaux

Voici le diaporama d'une conférence donnée lors du séminaire organisé par l'IREM et l'APMEP de Bordeaux le 24 janvier 2013 présentant XCAS aux formats PDF et

Tags

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

Le cours et les TD au format PDF et TEX

Le diaporama au format PDF et TEX

Algèbre, Analyse : niveau II

Module mathématiques générales pour poursuites d'études:

  • Algèbre
    • rotations
    • matrices orthogonales
    • projection orthogonale
    • diagonalisation
    • décomposition en valeurs singulières
    • compression et manipulations diverses d'images avec Python
  • Calcul différentiel

  • Approximations polynomiales

TP MP* n°5 (SCILAB) Discrétisation d'équations différentielles

Le TP au format PDF et TEX et une proposition de corrigé:

TP MP* n°4 (SCILAB) Intégration numérique

Le TP au format PDF et TEX ainsi que des propositions de correction en SCILAB

Calcul matriciel

À l'horizon de ce module : une structure en CAML autour de la méthode du pivot de Gauss (ou algorithme 方程 ) tout en fonctionnel...Pas une seule boucle pour calculer des l-réduites échelonnées, des inverses de matrices, des résolutions de systèmes dans des matrices à coefficients dans des anneaux quelconques, tout en récursion terminale. On terminera par un travail sur les matrices à coefficients dans Z/nZ avec comme fil rouge le chiffrement de Hill. En amphi, quelques exercices sur les bases, les changements de bases.

Automates et langages

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

TP Scilab MP* N°2 & 3

On passe à Scilab pour faire un peu d'analyse numérique qui reste pour l'instant très algébrique : Horner, Newton, Lagrange seront nos guides dans ces problèmes d'interpolation polynomiale... Il y a un petit document inclus : "Scilab for dummies". Le TP au format PDF et TEX ainsi que des propositions de correction en

Tags

Test ADA en INFO1

Test d'ALGO1 pour les INFO1 : le texte du test PDF et ses sources TEX
et une proposition de correction de la question 1 :

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

Pages

courtesy of webmatter.de