Poker en CAML


Dénombrement à l'aide de CAML des mains de Poker. On commence par construire un type "Ensemble" récursif sous forme d'un arbre dégénéré ("un peigne"). Pour tenir compte du côté non ordonné des ensembles, on construit une égalité basée sur les éléments appartenant à l'arbre. Si, comme au Poker, on n'est sûr que les éléments de départ sont tous distincts (on n'est pas dans un western), on gagne du temps de parcours en ne vérifiant pas l'appartenance d'un élément à l'ensemble avant de l'y ajouter.

Duc de Toscane

Cosme II de Médicis (Florence 1590-1621), Duc de Toscane, fut le protecteur de l’illustre Gallilée (né à Pise le 15 février 1564
et mort à Florence le 8 janvier 1642) son ancien précepteur. Profitant d’un moment de répit du savant entre l’écriture d’un
théorème sur la chute des corps et la création de la lunette astronomique, le Grand Duc lui soumet le problème suivant : il
a observé qu’en lançant trois dés cubiques et en faisant la somme des numéros des faces, on obtient plus souvent 10 que 9,

Dénombrement et probabilités

Dénombrement : cours court et nombreux exercices avec création d'outils de dénombrement en Caml à partir de rien ou presque...
Probabilités : axiomes de КОЛМОГОРОВ, variables aléatoires réelles finies, lois discrètes, simulations à l'aide de Caml.
Processus aléatoires, chaînes de MAPKOB : automates,, chaînes absorbantes, calcul matriciel.

Duc de Toscane avec Python et Pygal

Le module pygal de Python permet de faire de très jolis diagrammes au format svg visualisables dans son
navigateur libre préféré.
Pour illustrer notre propos, occupons-nous du célèbre problème du duc de Toscane.
On utilisera python3 via ipython en le lançant avec pylab :

Article paru sur Mathématice au sujet des rapports entre algèbre et informatique

Article paru dans le numéro 34 de mathématice sur les liens entre algèbre et informatique. L'article se termine sur le traitement d'images à l'aide d'outils algébriques. Voici le résumé:

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

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

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".

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 :

Pages

courtesy of webmatter.de