par Jean-François PIQUE ( http://www.dil.univ-mrs.fr/~jfp/ ) 07/02/2013 (v9c)

Pour Installer Prolog II+ chez vous

Les supports de cours.

Licence 1, Shell

Interpréteur de commandes Bourne shell (bash) et quelques notions de C shell. Expressions régulières et filtrage de nom de fichier.

Licence 3, Compilation - Lex/Yacc

Cours et TP lex

Expressions régulières, programmes lex simples, réalisation en lex d'un évaluateur d'une expression postfixée.

Cours et TP yacc

Utilisation de yacc pour créer des analyseurs et compilateurs.

Master 1, Prolog

Documentation Prolog II+.
Pour lancer prolog II+, taper dans un terminal la commande :

~pique/p2/p2+

TP 1 les assertions :

Une base de données sur les pays de la communauté européenne.

TP 2 les listes

TP 3 les analyseurs

nouveau TP 4 analyseur et sémantique

Base de donnée pour le TP 4. Complément d'information : structure profonde associée à la sémantique d'une phrase du sous-ensemble considéré.
(ancien TP4 pour ceux qui l'ont commencé)

Master 1, module M03 : Réseaux et Systèmes

2012 : Fichiers de départ pour la création des machines virtuelles

• Le fichier M1Reseaux.vdi (3,9 GB) à télécharger dans le répertoire local /virtualbox/vdi/ de votre poste pour créer la machine virtuelle VM1 avec XUbuntu 12.04 LTS et quelques utilitaires installés (si un fichier incorrect existe déjà dans /virtualbox/vdi/ et que vous n'avez pas de roit dessus, créez un sous-répertoire avec votre nom et prenez comme répertoire de référence pour votre fichier .vdi).
• Son fichier de vérification M1Reseaux.vdi.md5sum (48 B).

Important : après chargement, exécuter les commandes :

  cd /virtualbox/vdi/
  md5sum -c M1Reseaux.vdi.md5sum
  # Si le resultat n'est pas OK il y a eu erreur au transfert, sinon faire :
  chmod 444 M1Reseaux.vdi
  

Autres

• Les supports cours et TP réseaux de l'année 2008 et des années pécédentes.
• Description de la cryptographie AES (copie du document de Andreea Dragut) avec en introduction une description sommaire de l'arithmétique des corps de restes F₂[x]/p(x).
  On y trouvera un exemple détaillé d'encryptage AES avec les valeurs obtenues pour toutes les étapes intermédiaires pour le polynôme générateur (x⁸+x⁴+x³+x+1).
  NOTE:
  Le deuxième exercice page 4 comporte une erreur, il faut lire pour la deuxième équation:
  (x⁷+x⁶+x³+x+1) = (x+1)(x⁶+x²+x) + 1
  Page 11 en bas il faut lire:
  ... sont des vecteurs verticaux dans l'ordre 0,..,7.

Documentations diverses pouvant être utiles pour certains projets

Le langage HTML

Spécifications et tutoriels sélectionnés.

éditeur vi

Mémo des principales commandes de l'éditeur vi.