Haskell

Méthode de Briggs et de Héron avec MPFR via Haskell et Sage

Sage permet de travailler beaucoup plus convivialement avec la bibliothèque MPFR de C.

Complétez le script sage suivant qui permet d'utiliser les méthodes de Briggs et de Héron vues en cours.

Sommes compensées et en cascade

Voici le code à compléter pour la semaine 8 concernant les algorithmes de Kahan-Dekker et de Pichat :

Gauss par tête et queue

Voici une des 257 implémentations de l'algorithme de Gauss... Petite originalité : on utilise des listes dynamiques et on ne les parcourt que par «tête et queue».

C'est assez efficace...Quelques microsecondes pour le calcul du déterminant d'une matrice de taille 1000.

Chiffrement de Hill en Haskell

Pour éviter que vous ne sombriez dans l'ennui d'ici janvier, voici un petit travail à effectuer pour la fin de la semaine 2 de l'année 2014.

Il s'agit de fabriquer un petit outil cryptant des chaînes de caractères en utilisant le chiffrement de Hill. Renseignez-vous sur cette méthode mise au point dans les années 1920.

Nous travaillerons sur les 95 caractères affichables du code ascii 7 bits.

Vous pourrez utiliser le fichier ci-dessous comme squelette de départ.

Vous devrez par exemple obtenir :

ECB et CBC en Haskell

Voici un petit travail pour les INFO1 qui devra être rendu sous forme d'un fichier hs et transmis via courriel à votre responsable de TD avant le vendredi 13 à 17h59.

Nous ne chercherons pas
à être très efficaces : nous nous contenterons d'une approche naïve utilisant
les caractères ASCII.

Z/nZ sans arithmétique modulaire...

Voici une petite classe Haskell rigolote qui permet de travailler sur $\mathbb Z / n \mathbb Z$ avec $n$ petit sans parler d'arithmétique modulaire ni même d'addition : on fait tout, tels des Mac Gyver des mathématiques, avec une fonction successeur.

TP3 Monoïde - INFO2

Un point sera fait en amphi. Remarque générale : vous êtes trop nombreux à arriver en TP sans note et vous persistez à frapper vos claviers aveuglément. On passe 3/4 d'heure à régler de stupides problèmes de syntaxe sans intérêt car vous n'avez pas cherché le problème sur les aliens. Cela va continuer car vous êtes encore trop nombreux à ne pas sortir de crayon pour noter les problèmes rencontrés et leurs solutions.

En-tête IPV4

Afin de s'habituer aux manipulations de listes, de caractères, d'entiers dans différentes bases, il vous est demandé de créer une fonction Haskell qui vérifie la somme de contrôle (cheksum) de l'en-tête IPv4 d'une capture effectuée avec wireShark.

Tags

TP2 magmas INFO1

Pas mal de problèmes de syntaxe et de maîtrise de l'environnement de travail dans ce TP.
Vous manquez de pratique. Il faut absolument vous entraîner chez vous.

Attention à l'indentation, la casse. Sachez lire le debugger : parse error, not in scope, etc.

Beaucoup ne semblent jamais être allés en amphi et s'évanouissent en voyant la fonction filtre
ou bien l'utilisent n'importe comment sans réfléchir, sans écrire sur papier sa spécification...

Liste par compréhension et tableaux de données en Haskell

Voici un petit fichier pour s'habituer à travailler sur les listes par compréhension suivi de quelques indications:

Tags

Lois, structures et matrices (INFO2)

Le poly et ses sources TEX

Le diaporama et ses sources TEX

Correction TP1 INFO1

Voici une proposition de correction du TP1-DUT1 des semaines 41 et 42 :

Tags

Algèbre, matrices et informatique : 2e module du DUT - S1

Pendant la seconde période du S1, nous allons étudier les structures algébriques fondamentales, un peu de calcul matriciel et d'algèbre linéaire afin d'étendre un peu plus les capacités de programmation.
C'est un "work in progress"...

Le poly et ses sources TEX.

Haskell et la programmation fonctionnelle for dummies

Voici un petit diaporama et ses sources TEX présentant la programmation fonctionnelle et Haskell aux étudiants de première année.

Tags

Relations binaires et fonctions avec Haskell

Quelques tests pour travailler sur les relations binaires avec Haskell:

Pages

courtesy of webmatter.de