[contact]

Pierre Hyvernat

LAMA

• 
• 
• 
• 

2023--2024

Info201 : systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et shell (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : processus (pdf)

  • le programme Python donné à la fin du TD, pour ceux qui veulent tester : concurrent_update.py

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : programmation shell

• TP4 : scripts shell, mini projets

• TP5 : fichiers

• examen 2023 (pdf)

• examen 2022 (pdf)

Info205 : mathématiques pour le numérique

Enseignant responsable : François Boussion

• lien vers le script pour craquer les substitutions monoalphabétiques

Info501 : logique et informatique

• TD1 : logique propositionnelle (pdf)

• TD2 : logique du premier ordre (pdf)

---

• TP1 : satisfiabilité

• TP2 : systèmes de preuves, assistants de preuves

• TP3 : initiation à Prolog

Info506 : systèmes d'exploitation

Enseignant responsable : Gerald Cavallini

Info601 : graphes et algorithmes

• TD0 : préliminaires, complexité "pratique"

• TD1 : représentation des graphes, premiers algorithmes

• TD2 : parcours en profondeur, parcours en largeur

• TD3 : plus court chemin dans un graphe pondéré

• TD4 : arbre couvrant de poids minimal

• TD5 : flot maximal

  • complément pour les matheux courageux TD5 : flot maximal, non convergence sur les réels

• TP1 : parcours de graphes, labyrinthes (lien)

• TP2 : plus court chemin, "seam carving", algorithm A* (lien)

• TP3 : flot maximum, application à la segmentation d'image (lien)

Info602 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : générateurs aléatoires

• TD3 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info002 : cryptologie

• TD0 : quelques exemples avec OpenSSL

  • une clé publique

  • la signature du fichier td0.pdf

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

  • attaque de Vaudenay (Il faudra installer bottle et pycryptodome, par exemple avec pip install bottle pycryptodome -U.)

• TD4 : hash, MAC

  • collisions naïves

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

---

• wiki

---

• TP0 : cryptanalyse historique : le chiffre de Playfair

• TP1 : compromis temps / mémoire, les tables arc-en-ciel

• TP2 : stéganographie, signature, etc.

---

• Seconde édition du livre de R. Anderson, "Security Engineering"

---

• Référentiel général de sécurité

• Guide des mécanismes cryptographiques

• page de la CNIL sur la cryptographie

---

• Petite anecdotes sur les "stations de nombres" (numbers stations)

• attaque "acoustique" sur RSA

2022--2023

Math105 : logique et ensembles

Enseignant responsable : Karim Nour

Info201 : systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et shell (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : processus (pdf)

  • le programme Python donné à la fin du TD, pour ceux qui veulent tester : concurrent_update.py

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : programmation shell

• TP4 : scripts shell, mini projets

• TP5 : fichiers

info205 : mathématiques pour le numérique

Enseignant responsable : François Boussion

Info501 : logique et informatique

• TD1 : logique propositionnelle (pdf)

• TD2 : logique du premier ordre (pdf)

• TP1 : satisfiabilité

• TP2 : systèmes de preuves, assistants de preuves

• TP3 : initiation à Prolog

• examen de l'année 2021 (attention, les règles utilisées étaient légèrement différentes)

• examen de l'année 2021, avec éléments de correction

Info506 : systèmes d'exploitation

Enseignant responsable : Gerald Cavallini

Info602 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : générateurs aléatoires

• TD3 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info002 : cryptologie

• TD0 : quelques exemples avec OpenSSL

  • une clé publique

  • la signature du fichier td0.pdf

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

  • attaque de Vaudenay (Il faudra installer bottle et pycryptodome, par exemple avec pip install bottle pycryptodome -U.)

• TD4 : hash, MAC

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

• TP1 : compromis temps / mémoire, les tables arc-en-ciel

• TP2 : stéganographie, signature, etc.

2021--2022

Info201 :systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et shell (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : processus (pdf)

  • le programme Python donné à la fin du TD, pour ceux qui veulent tester : concurrent_update.py

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : programmation shell

• TP4 : scripts shell, mini projets

• TP5 : fichiers

Info501 : logique et informatique

• TD1 : logique propositionnelle (pdf)

• TD2 : logique du premier ordre (pdf)

• TP1 : satisfiabilité

• TP2 : initiation à Prolog

• TP3 : systèmes de preuves, assistants de preuves

Info502 : théorie des langages

Enseignant responsable : François Boussion

Info506 : systèmes d'exploitation

Enseignant responsable : Gerald Cavallini

Info602 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : générateurs aléatoires

• TD3 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info002 : cryptologie

• évaluation du cours

• TD0 : quelques exemples avec OpenSSL

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

• TD4 : hash, MAC

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

• TP1 : compromis temps / mémoire, les tables arc-en-ciel

• TP2 : stéganographie, signature, etc.

2020--2021

Info202 :systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et processus (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : scripts shell, mini projets

• TP4 : fichiers

• TP5 : réseau

Info501 : logique et informatique

Les cours se tiendront à distance, probablement en utilisant Discord.

Contactez moi si vous n'avez pas reçu l'invitation.

• TD1 : logique propositionnelle (pdf)

• TD2 : logique du premier ordre (pdf)

• TP1 : satisfiabilité

• TP2 : SAT solveur

• TP3 : initiation à Prolog

Info502 : théorie des langages

Enseignant responsable : François Boussion

Les sujets de TP et TD sont disponibles sur Moodle

Info507 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 : gestion de la mémoire (pdf)

• TD4 : systèmes de fichiers (pdf)

• TD5 : systèmes de fichiers, exemples (pdf)

• TP1 : processus et ordonnancement (lien)

• TP2 : mémoire, "ramasse miettes" (lien)

• TP3 : systèmes de fichiers (lien)

Info607 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : codes de Reed-Solomon

• TD3 : générateurs aléatoires

• TD4 : modes pour le déchiffrement par bloc

• TD5 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info910 : cryptologie

• TD0 : quelques exemples avec OpenSSL

  • une clé publique

  • la signature du fichier td0.pdf

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

• TD4 : hash, MAC

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

• TP1 : cryptanalyse historique : le chiffre de Playfair

• TP2 : compromis temps / mémoire, les tables arc-en-ciel

• TP3 : stéganographie, signature, etc.

2019--2020

Info202 :systèmes d'exploitation

• CM2 : système d'exploitation, processus et shell quelques notes de cours pour pouvoir essayer de faire le TD2.

  • CM2 : compléments, questions de cours quelques questions à regarder pour compléter le cours. (Vous pouvez utiliser Wikipedia ou Stackoverflow !)

• CM3 : système d'exploitation, ordonnancement, RAM et fichiers

• CM4 : quelques notions de réseau

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et processus (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : réseau (pdf)

• examen 2016--2017

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : scripts shell, mini projets

• TP4 : fichiers

• TP5 : réseau

Info502 : théorie des langages

Enseignant responsable : François Boussion

Les sujets de TP et TD sont disponibles sur Moodle

Info507 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 : gestion de la mémoire (pdf)

• TD4 : systèmes de fichiers (pdf)

• TD5 : systèmes de fichiers, exemples (pdf)

• TP1 : processus et ordonnancement (lien)

• TP2 : mémoire, "ramasse miettes" (lien)

• TP3 : systèmes de fichiers (lien)

Info607 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : codes de Reed-Solomon

• TD3 : générateurs aléatoires

• TD4 : modes pour le déchiffrement par bloc

• TD5 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info910 : cryptologie

• TD0 : quelques exemples avec OpenSSL

  • une clé publique

  • la signature du fichier td0.pdf

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

• TD4 : hash, MAC

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

• TP1 : cryptanalyse historique : le chiffre de Playfair

• TP2 : compromis temps / mémoire, les tables arc-en-ciel

• TP3 : stéganographie, signature, etc.

2017--2018

Math102 : mathématiques pour le numérique

Enseignant responsable : Frédéric Garet

Les sujets de TD et TP sont disponibles sur Moodle.

Info201 : programmation et algorithmique

• un livre d'apprentissage de la programmation en Python (lien direct pdf)

  Les chapitres pertinents pour ce cours sont: chapitres 1 à 7, chapitre 9 et 10.

• Autres liens pertinents :

  • Apprenez à programmer en dix ans, et la version originale (en anglais)

  • BD "How to teach yourself programming"

  • Project Euler, une liste de problèmes de programmation, à connotations mathématiques (en anglais)

  • défi Turing, une autre liste de problèmes de programmation, également à connotations mathématiques, inspiré du lien précédent (en français)

• TD (lien)

• TP1 : dichotomie, boucles while (lien)

• TP2 : jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : démineur (lien)

• examen 2017--2018, avec correction

• examen 2016--2017, avec correction

Info202 :systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et processus (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : réseau (pdf)

• examen 2016--2017

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : fichiers

• TP4 : réseau

• TP5 : mini projets

Math202 : mathématiques pour le numérique

• TD1 : binaire, codage, nombres (pdf)

• TD2 : codes (pdf)

• TD3 : compression par dictionnaires (pdf)

• TD4 : cryptographie (pdf)

• TD5 : cryptographie asymétrique, arithmétique (pdf)

• TP1 : images et couleurs

• TP2 : compression par dictionnaires

• TP3 : cryptanalyse du code de Vigenère

• TP4 : compression avec pertes

Info502 : théorie des langages

• TD1 : expressions régulières

• TD2 : expressions régulières -- 2 ; dérivation

• TD3 : automates finis déterministes

• TD4 : automates finis non-déterministes

• TD5 : langages non réguliers et grammaires hors contexte

• « regex croisées », un jeu similaire aux mots croisés, mais avec des expressions régulières de type POSIX étendu, avec « backreference ».

• TP1 : utilisations des expressions régulières (outils du shell) (lien)

• TP2 : utilisations des expressions régulières : langage de programmation (lien)

• TP3 : les expressions régulière à la Kleene, en C (lien)

• TP4 : parser des expressions régulière à la Kleene, en C (lien)

Info507 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 : gestion de la mémoire (pdf)

• TD4 : systèmes de fichiers (pdf)

• TD5 : systèmes de fichiers, exemples (pdf)

• TP1 : processus et ordonnancement (lien)

• TP2 : mémoire, "ramasse miettes" (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info607 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : codes de Reed-Solomon

• TD3 : générateurs aléatoires

• TD4 : modes pour le déchiffrement par bloc

• TD5 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

2016--2017

Info101 : introduction à l'algorithmique

Enseignant responsable : Christine Ferrarris.

• complément de cours : Apprendre à programmer avec Python (pdf), un livre d'introduction à la programmation, en français. (site web)

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TP1 : premiers pas en Python (lien)

• TP2 : premières boucles en Python (lien)

• TP3 : boucles for, utilisation du débogueur en Python (lien)

• TP4 : les tableaux (et les polynômes) (lien)

• TP5 : manipulation de dates (lien)

• TP6 : jeux de lettres (lien)

Math102 : mathématiques pour le numérique

Enseignant responsable : Frédéric Garet

Les sujets de TD et TP sont disponibles sur Moodle.

Info201 : programmation et algorithmique

• un livre d'apprentissage de la programmation en Python (lien direct pdf)

  Les chapitres pertinents pour ce cours sont: chapitres 1 à 7, chapitre 9 et 10.

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TP1 : dichotomie, boucles while (lien)

• TP2 : jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : démineur (lien)

• examen, avec correction

Info202 :systèmes d'exploitation

• TD1 : architecture (pdf)

• TD2 : système d'exploitation et processus (pdf)

• TD3 : système d'exploitation et fichiers (pdf)

• TD4 : réseau (pdf)

• TP1 : Linux, machine virtuelle

• TP2 : Linux, initiation au shell

  • liste et description des concepts et commandes du shell utilisés en TP

• TP3 : fichiers

• TP4 : réseau

• TP5 : mini projets

Math202 : mathématiques pour le numérique

Enseignant responsable : Xavier Provencal

Les sujets de TD et TP sont disponibles sur le site de Xavier Provencal ou sur le wiki du LAMA.

Info524 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 et td4 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichiers (pdf)

• TD6 : systèmes de fichiers, exemples (pdf)

• TP1 : introduction à Minix (lien)

• TP2 : mémoire d'un processus, malloc (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info528 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : codes de Reed-Solomon

• TD3 : générateurs aléatoires

• TD4 : arithmétique

• TD5 : cryptographie

• TD6 : modes pour le chiffrement par bloc

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info633 : théorie des langages

• TD1 : expressions régulières

• TD2 : expressions régulières -- 2 ; dérivation

• TD3 : automates finis déterministes

• TD4 : automates finis non-déterministes

• TD5 : langages non réguliers

• TD6 : grammaires hors contexte

• « regex croisées », un jeu similaire aux mots croisés, mais avec des expressions régulières de type POSIX étendu, avec « backreference ».

• TP1 : utilisations des expressions régulières (lien)

• TP2 : les expressions régulière à la Kleene, en C (lien)

• TP3 : parser des expressions régulière à la Kleene, en C (lien)

2015--2016

Info113 : introduction à l'algorithmique

Enseignant responsable : Christine Ferrarris.

• complément de cours : Apprendre à programmer avec Python (pdf), un livre d'introduction à la programmation, en français. (site web)

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TD5 (pdf)

• TP1 : premiers pas en Python (lien)

• TP2 : premières boucles en Python (lien)

• TP3 : boucles for, utilisation du débogueur en Python (lien)

• TP4 : les tableaux (et les polynômes) (lien)

• TP5 : manipulation de dates (lien)

• TP6 : jeux de lettres (lien)

Info223 : science informatique

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TD5 (pdf)

• TP1 : images, rectangles et autres (lien)

• TP2 : compression par dictionnaires (LZ78) (lien)

• TP3 : cryptage : substitution et code de Vigenère, cryptanalyse (lien)

Info224 : algorithmique

• un livre d'apprentissage de la programmation en Python (lien direct pdf)

  Les chapitres pertinents pour ce cours sont: chapitres 1 à 7, chapitre 9 et 10.

• les exemples écrits pendant le cours 1 : exemples-CM1.py (fichier Python)

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TP1 : dichotomie, boucles while (lien)

• TP2 : jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : OpenStreetMap (lien)

• TP5 : démineur (lien)

Info524 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 et td4 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichiers (pdf)

• TD6 : systèmes de fichiers, exemples (pdf)

• TP1 : introduction à Minix (lien)

• TP2 : mémoire d'un processus, malloc (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info528 : mathématiques pour l'informatique

• TD1 : codes correcteurs d'erreurs

• TD2 : codes de Reed-Solomon

• TD3 : générateurs aléatoires

• TD4 : arithmétique

• TD5 : cryptographie

• TP1 : code de Golay (lien)

• TP2 : craquer les générateurs aléatoires linéaires (lien)

• TP3 : RC4 et WEP (lien)

Info633 : théorie des langages

• TD1 : expressions régulières

• TD2 : expressions régulières -- 2 ; dérivation

• TD3 : automates finis déterministes

• TD4 : automates finis non-déterministes

• TD5 : langages non réguliers

• TD6 : grammaires hors contexte

• « regex croisées », un jeu similaire aux mots croisés, mais avec des expressions régulières de type POSIX étendu, avec « backreference ».

• TP1 : utilisations des expressions régulières (lien)

• TP2 : les expressions régulière à la Kleene, en C (lien)

• TP3 : parser des expressions régulière à la Kleene, en C (lien)

2014--2015

Info113 : introduction à l'algorithmique

Enseignant responsable : Christine Ferrarris.

• complément de cours : Apprendre à programmer avec Python (pdf), un livre d'introduction à la programmation, en français. (site web)

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TD5 (pdf)

• TP1 : premiers pas en Python (lien)

• TP2 : premières boucles en Python (lien)

• TP3 : boucles for, utilisation du débogueur en Python (lien)

• TP4 : les tableaux (et les polynômes) (lien)

• TP5 : manipulation de dates représentées sous forme de tableaux (lien)

• TP6 : jeux de lettres (lien)

Info223 : science informatique

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TD5 (pdf)

• TD6 (pdf)

• TP1 : images, rectangles et autres (lien)

• TP2 : compression par dictionnaires (LZ78) (lien)

• TP3 : cryptage : substitution et code de Vigenère, cryptanalyse (lien)

Info224 : algorithmique

• un livre d'apprentissage de la programmation en Python (lien direct pdf)

• les fichiers d'exemples utilisés pour le cours 1, avec la définition de la fonction tictac() :

  • cours1.py (fichier Python)

  • metronome.py (fichier Python)

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TP1 : dichotomie, boucles while (lien)

• TP2 : jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : OpenStreetMap (lien)

• TP5 : démineur (lien)

Info524 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 et td4 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichiers (pdf)

• TP1 : introduction à Minix (lien)

• TP2 : mémoire d'un processus, malloc (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info528 : mathématiques pour l'informatique

• TD0 : les subtilités de la puissance et des polynômes

• TD1 : diviser pour régner

• TD2 : codes correcteurs d'erreurs

• TD3 : codes de Reed-Solomon

• TD4 : générateurs aléatoires

  • le petit texte à décrypter

  • page pour tester un décryptage « substitution de lettres »

• TP1 : décodage des QR codes (lien)

• TP2 : correction d'erreurs dans les QR codes (lien)

• TP3 : RC4 et WEP (lien)

Info633 : théorie des langages

• TD1 : expressions régulières

• TD2 : expressions régulières -- 2 ; dérivation

• TD3 : automates finis déterministes

• TD4 : automates finis non-déterministes

• TD5 : langages non réguliers

• TD6 : grammaires hors contexte

• « regex croisées », un jeu similaire aux mots croisés, mais avec des expressions régulières de type POSIX étendu, avec « backreference ».

• ML-regular, un petit prototype pour expérimenter avec les expressions régulières de Kleene et les automates finis. Il faut avoir une installation de OCaml pour pouvoir le compiler... Reportez vous au fichier INSTALL de l'archive pour plus de détails.

  Note : ce programme peut vous aider à résoudre certains des problèmes du cours, mais il ne remplace en aucun cas l'apprentissage des manipulations sur les expressions régulières et automates ! Vous n'aurez pas accès à ce programme pour l'examen...

• TP1 : utilisations des expressions régulières (lien)

• TP2 : les expressions régulière à la Kleene, en C (lien)

• TP3 : parser des expressions régulière à la Kleene, en C (lien)

2013--2014

Info113 : introduction à l'algorithmique

Enseignant responsable : Miguel Tomassena.

• complément de cours : Apprendre à programmer avec Python (pdf), un livre d'introduction à la programmation, en français. (site web)

• TD1

• TD2

• TD3

• TD4

• TD5

• TP4 : les tableaux et les polynômes (lien)

Info223 : science informatique

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TP1 : images, rectangles et autres (lien)

• TP2 : cryptage : substitution et code de Vigenère, cryptanalyse (lien)

• TP3 : cryptographie et chiffrement (lien)

Info224 : algorithmique et programmation

• un livre d'apprentissage de la programmation en Python (lien direct pdf)

• compléments de cours : méthodes sur les chaînes de caractères

• TD1 (lien)

• TD2 (lien)

• TD3 (lien)

• TP1 : dichotomie (lien)

• TP2 : jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : OpenStreetMap (lien)

• TP5 : jeu du démineur (lien)

Info524 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement... (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichiers (pdf)

• TD6 : systèmes de fichiers, exemples (pdf)

• TP1 : introduction à Minix (lien)

• TP2 : introduction à Minix (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info528 : mathématiques pour l'informatique

• TD0 : les subtilités de la puissance et des polynômes

• TD1 : diviser pour régner

• TD2 : codes correcteurs d'erreurs

• TD3 : codes de Reed-Solomon (QR-codes)

• TD4 : générateurs pseudo-aléatoires... (pdf)

  • le petit texte à décrypter

  • page pour tester un décryptage « substitution de lettres »

• TP1 : décodage des QR codes (lien)

• TP2 : correction d'erreurs dans les QR codes (lien)

• TP3 : RC4 et le WEP (lien)

Info623 : théorie des langages et calculabilité

• TD1 : expressions régulières

• TD2 : expressions régulières -- 2 ; dérivation

• TD3 : automates finis déterministes

• TD4 : automates finis non déterministes

• TD5 : langages non réguliers

• TD6 : grammaires hors contexte

• « regex croisées », un jeu similaire aux mots croisés, mais avec des expressions régulières de type POSIX étendu, avec « backreference ».

• ML-regular, un petit prototype pour expérimenter avec les expressions régulières de Kleene et les automates finis. Il faut avoir une installation de OCaml pour pouvoir le compiler... Reportez vous au fichier INSTALL de l'archive pour plus de détails.

  Note : ce programme peut vous aider à résoudre certains des problèmes du cours, mais il ne remplace en aucun cas l'apprentissage des manipulations sur les expressions régulières et automates ! Vous n'aurez pas accès à ce programme pour l'examen...

2012--2013

Info113 : introduction à l'algorithmique

Enseignant responsable : Miguel Tomassena.

• complément de cours : Apprendre à programmer avec Python (pdf), un livre d'introduction à la programmation, en français. (site web)

• TD1 : variables, affectations, opérations, types (txt)

• TD2 : booléens, exécution conditionnelle, fonctions (txt)

• TD3 : boucles (txt)

• TD4 : chaînes de caractères : lettre à lettre (txt)

• TD5 : tableaux (txt)

Info223 : science informatique

• TD1 : représentation des nombres (pdf)

• TD2 : représentation des caractèeres, dates et autres (pdf)

• TD3 : codage (pdf)

• TD4 : cryptographie (pdf)

• TP1 : Images, rectangles et autres (lien)

• TP2 : code de Vigenère (lien)

• TP3 : codage et gpg (lien)

• devoir à la maison (pdf) : rectangles et transparence

  • fichier rectangles.py

Info224 : algorithmiques et programmation

• TD1 : rappels, complements sur les fonctions (lien)

• TD2 : chaînes de caractères (lien)

• TD3 : chaînes de caractères et fichiers (lien)

• TP1 : rappels du premier semestre, dichotomie (lien)

• TP2 : le jeu du pendu (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : OpenStreetMap (lien)

• TP5 : démineur (lien)

• Devoir à la maison : analyse fréquentielle du français (lien)

Info421 : programmation fonctionnelle

• wiki du cours

• TD1 : premières expressions en Caml (pdf)

• TD2 : récursion, listes (pdf)

• TD3 : programmes récursifs (pdf)

• TD4 : arbres binaires (pdf)

• TD5 : récursion terminale (pdf)

• TD6 : exceptions (pdf)

• TD7 : références et mémoization (pdf)

• TD8 : modules et foncteurs (pdf)

• TP0 : premiers pas en Caml (lien)

• TP1 : programmes récursifs, listes et tris (lien)

• TP2 : arbres et tas, crible d'Eratosthène (lien)

• TP3 : deux suites récursives (lien)

• TP4 : générateurs pseudo-aléatoires (lien)

• TP5 : algorithmes gloutons, mémoization (lien)

• TP6 : expressions arithmétiques (lien)

• TP7 : références, code impératif, OpenGL (lien)

Info524 : systèmes d'exploitation

• TD1 : appels système, processus et ordonnancement... (pdf)

• TD2 : ordonnancement et processus, suite (pdf)

• TD3 / TD4 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichier (pdf)

• TD6 : systèmes de fichier, suite (pdf)

• TP1 : introduction à Minix (lien)

• TP2 : mémoire d'un processus, malloc (lien)

• TP3 : appels systèmes, ordonnancement (lien)

Info528 : mathématiques pour l'informatique

• TD0 : les subtilités de la puissance et des polynômes... (pdf)

• TD1 : diviser pour régner... (pdf)

• TD2 : codes correcteurs d'erreurs... (pdf)

• TD3 : générateurs pseudo-aléatoires... (pdf)

  • le petit texte à décrypter

  • page pour tester un décryptage « substitution de lettres »

• TD4 : cryptographie (pdf)

• TP1 : décodages de QR codes... (lien)

• TP2 : correction d'erreurs dans les QR codes... (lien)

• TP3 : RC4 et le WEP (lien)

2011--2012

Info223 : science informatique

• TD1 : la base 2, représentation des nombres

• TD2 : représentation des caractères, dates et autres

• TD3 : codage

• TD4 : substitutions lettres à lettres (lien)

• TP1 : images, rectangles et autres (lien)

• TP2 : code de Vigenère (lien)

• TP3 : signature électronique et chiffrement avec GnuPG (lien)

Info224 : algorithmique et programmation

• document de cours sur les chaînes de caractères (lien)

• TD1 : rappels, compléments sur les fonctions (lien)

• TD2 : chaines de caractères - 1 (lien)

• TD3 : chaines de caractères - 2 : expressions régulières (lien)

• TD4 : fichiers (lien)

  • une correction possible du TD4 (fichier python)

• TP1 : un boulet de canon et des polynômes (lien)

• TP2 : chaînes de caractères, expressions régulières (lien)

• TP3 : QCM, lecture / écriture de fichiers (lien)

• TP4 : dictionnaires, « graphes » et GoogleMap (lien)

• TP5 : le démineur (lien)

• devoir à la maison (pdf), avec le fichier à compléter : rectangles.py,

• devoir à la maison (lien), filière MASS, avec le fichier à télécharger : images.py.

Info421 : programmation fonctionnelle

• TD1 : premières expressions en Caml

• TD2 : tuples et listes, un peu de filtrage

• TD3 : types inductifs

• TD4 : programmes récursifs

• TD5 : récursion terminale, exceptions

• TD6 : exceptions, suite

• TD7 : références, mémoization

• TP0 : prise en main de Caml

  • racourci pour lancer l'interprète (à copier sur votre bureau)

• TP1 : programmes récursifs, listes

• TP2 : crible d'Eratosthene, arbres et tas

• TP3 : deux suites (presque) similaires

• TP4 : algorithmes gloutons, mémoization

• TP5 : références, code impératif, OpenGL (lien)

Info524 : systèmes d'exploitation

• TD1 : appels système, ordonnancement et processus (pdf)

• TP1 : introduction à MINIX (lien)

• TD2 : appels système et processus, suite (pdf)

• TP2 : mémoire d'un processus, malloc (lien)

• TD3 et 4 : gestion de la mémoire (pdf)

• TD5 : systèmes de fichiers (pdf)

• TD6 : systèmes de fichiers, exemples (pdf)

• TP3 : appels système (lien)

Info528 : mathématiques pour l'informatique

• TD0 : les subtilités de la puissance et des polynômes... (pdf)

• TD1 : diviser pour régner (pdf)

• TD2 : codes correcteurs d'erreurs (pdf)

• TD3 : arithmétique et cryptographie (pdf)

  • le fichier texte contenant le code de l'exercice 2

  • en bonus, un code un peu plus dur

  • un petit script php pour analyser les codes par substitution

• TP1 : code de Hamming (lien)

• TP2 : manipulation de grands entiers avec libgmp, RSA (lien)

• TP3 : attaque Fluhrer, Mantin & Shamir, RC4 et WEP (lien)

2010--2011

Info223 : sciences informatiques

• TD1 : représentation des nombres (pdf)

• TD2 : représentation des caractères, dates et autre (pdf)

• TD3 : codage (pdf)

• TD4 : cryptographie (pdf)

• TP1 : images : rectangles, dégradés et autres (lien)

• TP2 : signature et électronique et chiffrement avec GPG (lien)

Info401 : programmation fonctionnelle

• TD1 : premières expressions en Caml (pdf)

• TD2 : tuples et listes, un peu de filtrage (pdf)

• TD3 : types inductifs (pdf)

• TD4 : programmes récursifs (pdf)

• TD5 : récursion terminale, exceptions (pdf)

• TD6 : modules et types abstraits, références (pdf)

• TD7 : algorithmes gloutons, programmation dynamique (pdf)

• TP0 : prise en main de Caml (pdf)

  1. raccourci pour lancer l'interprète depuis le bureau

  2. documentation du module Graphics

• TP1 : programmes recursifs, listes (pdf)

• TP2 : tas, crible d'Eratosthene(pdf)

• TP3 : deux suites (presque) similaires (pdf)

• TP4 : expressions arithmétiques (pdf)

• TP5 : références, code impératif, OpenGL (lien)

• controle des connaissances - 1 (correction)

• controle des connaissances - 2 (correction)

Info502 : systèmes d'exploitation

• TD1 : processus (pdf)

• TD2 : mémoire (pdf)

• TD3 : systèmes de fichiers (pdf)

• TP1 : MINIX (lien)

• TP2 : mémoire d'un processus (lien)

• TP3 : appels système (lien)

Info505 : algorithmes de graphes

%<<<2

• TD1 : parcours en largeur (pdf)

• TP1 : parcours en largeur, résolution de labyrinthes (lien)

• TP2 : parcours en profondeur, application (lien)

• TP3 : algorithme de Prim et génération de labyrinthe, algorithme de Dijkstra (lien)

%>>>2

Info614 : mathématiques pour l'informatique

• TD0 : Subtilités de la puissance et des polynômes (pdf)

• TD1 : Diviser pour régner (pdf)

• TD2 : Codes correcteurs (pdf)

• TP1 : Code de Hamming (lien)

• TD2 : Cryptographie (pdf)

  • le texte à décrypter

  • une petite applet pour les codes « substitution lettre à lettre »

  • fréquence d'apparition des lettres en français

• TP2 : manipulation de grands entiers avec libgmp, RSA (lien)

• TP3 : RC4 et le WEP, attaque de Fluhrer, Mantin et Shamir (lien)

2009--2010

Info-204 : science informatique

Quelques notes de cours sont disponibles sur le wiki du cours..

• feuille de TD 1 (pdf)

• feuille de TD 2 (pdf)

• feuille de TD 3 (pdf)

• le TP 1

• le TP 2 et le lien vers les clés publiques

Info-401 : programmation fonctionnelle

• TD1 (pdf)

• TD2 (pdf)

• TD3 (pdf)

• TD4 (pdf)

• TD5 (pdf)

• TD6 (pdf)

• TD7 (pdf)

• TP1 (pdf)

• TP2 (pdf)

• TP3 (pdf)

• TP4 (pdf)

• TP5 (pdf)

• controle des connaissances - 1 (correction)

• controle des connaissances - 2 (correction)

• controle des connaissances - 3 (sujet) et morceau de correction (fichier .ml) pour les matrices

Tout est disponible sur le wiki du cours...

Info-502 : systèmes d'exploitation

Cours pour les étudiants en troisième année des filières « STIC » (sciences et technologies de l'information et des communications). Le cours aborde les concepts de bases des systèmes d'exploitation tels que gestion des processus, gestion de la mémoire ou systèmes de fichiers.

Le cours est donné par moi même, et les TD/TP sont donnés soit par moi, soit par Florian Hatat.

Le cours possède un wiki contenant tous les détails techniques, compléments et références. Le wiki est accessible ici (wiki info-502). La participation au wiki est fortement encouragée.

Sujets de TD :

• Ordonnancement,

• Gestion de la mémoire,

• Systèmes de fichiers.

Sujets de TP :

• Découverte de SOS :

  • sujet,

  • code source,

  • Multiboot Specification : SOS respecte la spécification Multiboot, qui dit comment un système d'exploitation doit être chargé en mémoire par GRUB (ou tout autre chargeur respectant cette spécification).

• Gestion de la mémoire du noyau :

  • sujet,

  • code source,

  • Article Gestion de la mémoire virtuelle du noyau.

• Ordonnancement :

  • sujet,

  • code source.

Info-505 : algorithmes de graphes

Seconde moitié d'un cours pour les étudiants en troisième année de la filière STIC (sciences et technologies de l'information et des communications), mention « informatique ». La première partie est donnée par Françoise Deloule et traite des graphes de manière assez théorique en général. Cette seconde partie traite plus particulièrement des problèmes d'implantation des graphes, des algorithmes associés et des problèmes de complexité qui y sont liés. Le langage de programmation utilisé pour les TP sera le langage C.

Le cours possède un wiki contenant tous les détails techniques, compléments et références. Le wiki est accessible ici (wiki info-505). La participation au wiki est fortement encouragée.

• TD1 : représentation et parcours en largeur

• TD2 : parcours en profondeur, algorithme de Prim

• TP1 : préliminaires, parcours en largeur et résolution de labyrinthe

• correction possible pour le TP1 : TP1-hyvernat-pierre_correction.c

• TP2 : parcours en profondeur et applications

• TP3 : flot maximal

Info-614 : mathématiques pour l'informatique

• TD1 (pdf)

• TD2 (pdf)

• TP1

• TP2

• TP3

Info-719 : rappels et compléments d'algorithmique et de programmation

Cours pour la première année du master IDESSE (ingénierie des données en économie en sciences sociales). Il s'agit essentiellement d'une mise à niveau et de compléments de programmation. Le langage utilisé en cours sera le langage Python.

Le cours possède un wiki contenant tous les détails techniques, compléments et références. Le wiki est accessible ici (wiki info-719). La participation au wiki est fortement encouragée.

• TD1, format pdf

• TD2, format pdf

• lien vers la page de téléchargement de la bibliothèque PIL pour windows (prenez la version 1.1.6 pour Python 2.6)

• lien vers le TP0

• correction possible du TP0

• lien vers le TP1 (au format texte)

• correction possible du TP1

• lien vers le TP2 (au format texte)

• examen blanc

2008--2009

Info-401 : programmation fonctionnelle en Caml

• td1 : pdf

• tp0 : pdf

• td2 : pdf

• tp1 : pdf

• td3 : pdf

• td4 : pdf

• td5 : pdf

• tp3 : pdf

• tp4 : pdf

• td6 : pdf

• controle des connaissances - 1 (correction)

• controle des connaissances - 2 (correction)

Info-502 : systèmes d'exploitation

• td1 : pdf

• td2 : pdf

• tp1 : pdf

• tp2 : pdf

• tp3 : lien

Info-505 : algorithmes sur les graphes

• Lien vers les TP

• le fichier qui contient l'algorithme de Kruskal détaillé

Info-710 : compléments de bases de données

• td1 : pdf

• td2 : pdf

• tp1 : pdf

• td3 : pdf

• td4 : pdf

• tp2 : pdf

• td5 : pdf

Info-719 : rappels d'algorithmique et programmation C

Comme complément de cours pour le langage C, je suggère la lecture de l'introduction au langage C de Bernard Cassagne (disponible au format pdf ou online au format html).

Pour faire du C chez vous, vous pouvez :

• soit installer linux (je vous conseille Ubuntu)

• soit installer une "émulation Unix" pour Windows (Cygwin, en précisant à l'installation que vous voulez installer au moins gcc, gdb et make dans la partie Devel)

• soit installer un environnement de programmation C pour Windows (par exemple, Dev-C++)

• td1 : pdf

• tp0 : pdf

• td2 : pdf

2007--2008

Info301 : algorithmique

Ce cours est donné par Jean-Charles Marty et fait suite au cours d'info-303. Je donne les TP avec Gwenael Gaborit.

• le TP : fichier pdf (sur trois séances de 4 heures)

Info502 : système d'exploitation

Ce cours est donnés par Thibault Carron, et je ne donne que les TD (avec Thibault Carron) et les TP (avec Sylvie Ramasso et Brice Videau).

• le TD 1 : fichier pdf

• le TD 2 : fichier pdf

• le TP1 : fichier pdf

• le TP2 : fichier pdf

• le TP3 : fichier pdf

Info505 : mathématiques pour l'informatique, partie I

La première partie de ce cours réintroduit les notions élémentaires d'arithmétique et d'algèbre necessaires pour comprendre les bases de la cryptographie et des codes correcteurs d'erreurs.

La deuxième partie du cours est faite par Françoise Deloule et traitera de l'algorithmique classique des graphes.

• td1 : pdf

• td2 : pdf

• texte à decrypter

• td3 : pdf

• td4 : pdf

• td5 : pdf

Info-614 : mathématiques pour l'informatique

Après quelques rappels, ce cours réintroduit les notions élémentaires d'arithmétique pour comprendre les bases de la cryptographie ; puis on s'interessera aux applications de l'algèbre aux codes correcteurs d'erreurs.

• td0 : pdf

• td1 : pdf

• td2 : pdf

• td3 : pdf

• td4 : pdf

• td5 : pdf

• tp : pdf

Info710 : compléments de bases de données

• td1 : pdf

• td3 : pdf

• td4 : pdf

• tp1 : pdf

• tp2 : pdf

• td5 : pdf

• tp3 : pdf

• td6 : pdf

• tp3, suite : pdf

• examen : pdf

2006--2007

info404 : algorithmes de graphes

Les tp se feront en utilisant le langage C. Je vous conseille le polycopié de de Bernard Cassagne : introduction au langage C (disponible au format pdf ou online au format html) (Lisez en particulier les chapitres 1, 2, 3, 4 et la partie du chapitre 6 sur les structures...)

• td1 : pdf (bases, représentation des graphes)

• td2 : pdf (parcours en largeur)

• td3 : pdf (parcours en profondeur)

• td4 : pdf (algorithmes de Kruskal et Prim)

• complément de cours : version correcte de l'algorithme de Kruskal vu en cours (version optimisée)

• td5 : pdf (chemins de cout minimal, algorithmes de Dijkstra, de Bellman et du tri topologique)

• tp1 : pdf. Vous aurez besoin des fichiers suivant :

  • le fichier graphes.h qui contient les types de données et les prototypes des fonctions.

  • le fichier graphes.c qui contient le code des fonctions préliminaires.

  • le fichier hyvernat.c qui vous servira d'exemple pour le fichier que vous devrez me rendre.

  • le fichier test.c si vous voulez tester vos fonctions

  • le fichier Makefile pour la compilation "automatique"

• complément de td5 : version correcte de l'algorithme du calcul des chemins optimaux pour les graphes acycliques

• tp2 : pdf. En plus des fichiers "graphes.c" et "graphes.h", vous aurez besoin de :

  • le fichier labyrinthes.h.

  • le fichier labyrinthes.c.

  • le fichier hyvernat-tp2.c.

  • le fichier test-tp2.c si vous voulez tester

  vos fonctions

  • le fichier Makefile-tp2 pour la compilation

  "automatique"

  • le fichier affiche.c

  N'oubliez pas de modifier les noms des fichiers en supprimant le suffixe -tp2...

Info602 : théorie des graphes et algorithmes sur les graphes

• td1 : pdf (bases, représentation des graphes)

• td2 : pdf (parcours en largeur)

• td3 : pdf (parcours en profondeur)

• td4 : pdf (algorithme de Kruskal, algorithme de Prim)

• tp1 : pdf. Vous aurez peut-être envie des fichiers suivants :

  • le fichier graphes.h qui contient les types de données et les prototypes des fonctions.

  • le fichier graphes.c qui contient le code des fonctions préliminaires.

  • le fichier hyvernat-chaplin.c qui vous servira de squelette pour le fichier que vous devrez me rendre.

  • le fichier test.c si vous voulez tester vos fonctions

  • le fichier Makefile pour la compilation "automatique"

  • un polycopié sur le langage C (au format html) écrit par Bernard Cassagne.

Info608 / info609 : projet (TP)

Ce cours commun est destiné aux étudiants en L3. Il s'agit de programmer un jeu de type roguelike. Le cours (génie logiciel, cycle de développement, ...) est fait par Jacques Léger.

• description du projet : pdf

• liste et membres des groupes pour le projet : groupes-info608

Info502 : système d'exploitation

Ce cours est donnés par Thibault Carron, et je ne donne que les TD et les TP (avec Cyril Vachet et Mathieu Barcikowski).

• le TD 1 : fichier pdf

• le TD 2 : fichier pdf

• le TP 1 : fichier pdf

• le TP 2 : fichier pdf

• le petit fichier C à compiler et modifier comme décrit dans le TP 2: pere-fils.c

• le petit script Bash du TP 2: test-trap.sh

• le TP 3 : fichier pdf

• l'exemple commenté du TP 3 : shmdemo.c (il faut garder le nom du fichier, ou alors modifier la ligne 50).

Info607 : mathématiques pour l'informatique

• td1 : pdf (récurrences)

• td2 : pdf (approximations asymptotiques, fonction « partie entière »)

• td3 : pdf (arithmétique)

• td4 : pdf (cryptographie 1, DES et Diffie-Hellman)

• td5 : pdf (cryptographie 2, cryptographie à clé publique)

• td6 : pdf (codes correcteurs)

Info710 : compléments de bases de données

Le site francophone de PostgreSQL se trouve ici et le livre "Practical PostgreSQL" est disponible en ligne.

• algèbre relationnelle, pense-bête : fichier pdf

• la fiche de TD 1 : fichier pdf

• un petit complément de cours (pour avoir une des preuves au clair) : fichier pdf

• la fiche de TD 2 : fichier pdf

• la fiche de TD 3 : fichier pdf

• le « TD » à faire à la maison et à rendre : pdf

• la fiche de TP 1 : fichier pdf

• la fiche de TP 2 : fichier pdf

• avec le fichier squelette pour le compte-rendu : fichier sql

• la fiche de TP 3 : fichier pdf

• la fiche de TP 4 : fichier pdf

• l'examen corrigé : fichier pdf (avec la correction corrigée pour le a de la question 1 de l'exercice 1...)

Info803 : informatique

• td1 : pdf (un peu de « diviser pour rêgner »)

• cours / td2 : pdf (programmation dynamique)

• cours / td3 : pdf (programmation dynamique et algorithmes gloutons)

• l'introduction au langage C de Bernard Cassagne (disponible au format pdf ou online au format html)

• pour faire du C chez vous, vous pouvez :

  • soit installer linux (je vous conseille Ubuntu)

  • soit installer une "émulation Unix" pour Windows (Cygwin, en précisant à l'installation que vous voulez installer au moins gcc, gdb et make dans la partie Devel)

  • soit installer un environement de programmation C pour Windows (par exemple, Dev-C++)

• pour le TP1, vous aurez également besoin du fichier squelette de compte-rendu. (Attention, il faut que ce soit un fichier au format texte...)

• tp2 : pdf (opérations bit à bit, représentation des nombres)

• matrices.c (correction pour l'algo de choix pour la multiplication des matrices)

• le fichier flottants.c pour finir le tp2.

• tp3 : pdf. Vous aurez besoin des fichiers sudoku.h et sudoku.c.

avant

Introduction à la logique (L3-math)

Il s'agissait d'un cours d'introduction à la logique mathématique pour des licence mathématiques 3ème années à l'université Aix-Marseille.

• travaux dirigés 1 : TD1

• correction de l'exercice 3 (« être un sous-terme » est une relation transitive)

• travaux dirigés 2 : TD2

• travaux dirigés 3 : TD3

• correction du dernier exercice du TD 3 (tiers-exclu et loi de Pierce) : pierce

• travaux dirigés 4 : TD4

• correction de l'exercice 3, e)

• toutes les règles de la déduction naturelle : règles

• le devoir à la maison, à rendre pour le mardi 22 novembre

• travaux dirigés 5 : TD5

• travaux dirigés 6 : TD6

• travaux dirigés 7 : TD7

• devoir des années précédentes : 2003-2004 (avec la correction), et 2004-2005

• sujet de l'examen de cette année, avec la correction.

contact

mentions légales

Dernière mise à jours: le 30-08-2024 à 11:48.

,