Activités d'enseignement à l'Université Grenoble Alpes

• Page de l'UE
• Slides de la première séance (réalisés par le génial Patrick Fulconis)
• Slides de la quatrième séance (réalisés, une fois de plus, par le génial Patrick Fulconis)
• Slides Automates
• Slides Automates, séance 2

• Slides : Cours 8

Séance du mercredi 25 mars 2020

• Slides : Cours 9

Séance du mercredi 8 avril 2020

• Slides : Cours 10

Séance du mercredi 15 avril 2020

• Slides : Cours 11

Séance du mercredi 29 avril 2020

• Slides : Cours 12 et Cours 13

• Slides à trous
• Autres supports (TD, TP, ...)
• Supports pour le projet :
  • sujet.pdf
  • Les deux fichiers nécessaires pour visionner les images : Viewer.jar et Viewer
  • allocation.s
  • listeCouple.s
  • Quelques images : toto.ppm, snail.ppm, essai.ppm et bell_206.ppm.
• Archive d'examens
  • 2010-2011 : partiel et examen.
  • 2011-2012 : partiel et examen.
  • 2012-2013 : partiel et examen.
  • 2013-2014 : partiel et examen.
  • 2014-2015 : partiel et examen.
  • 2015-2016 : partiel et examen.
  • 2016-2017 : partiel et examen.
  • 2017-2018 : partiel et examen.
  • 2018-2019 : partiel et examen.
  • 2019-2020 : partiel.

• Slides complets du cours : Cours 8
• Pour le TD, voici la liste des exercices à faire : 64, 65, 66, 68, 70, 71 et 72
• Correction : Correction TD 8

Séance du mercredi 25 mars 2020

• Slides complets du cours (partie 1) : Cours 9
• Slides complets du cours (partie 2) : Cours 9
• Pour le TD, voici la liste des exercices à faire : 73 jusqu'à 79 (inclus)
• Correction : Correction TD 9

DM pour le lundi 30 mars 2020 : Sujet
Correction

Séance du mercredi 8 avril 2020

• Slides complets du cours : Cours 10
• Pour le TD, voici la liste des exercices à faire : 80 jusqu'à 84 (inclus) et le 86
• Correction : Correction TD 10

Séance du mercredi 15 avril 2020

• Slides complets du cours : Cours 11
• Pour le TD, voici la liste des exercices à faire : 88, 89, 91-93, 96 et 99
• Correction : Correction TD 11

DM pour le mardi 28 avril 2020 : Sujet
Correction

Séance du mercredi 29 avril 2020

• Slides complets du cours : Cours 12
• Pour le TD, voici la liste des exercices à faire : 102 à 107 (inclus)
• Correction : Correction TD 12

Séance du mercredi 6 mai 2020

• Pour le TD, voici la liste des exercices à faire : 108, 109, 112, 113 et 114
• Correction : Correction TD 13

DM pour le 13 mai 2020 : Sujet
Correction

• Polycopié de cours à trous
• Projet
• Exemples pour le projet
• Archive d'examens
  • 2009-2010 : partiel, examen et rattrapage.
  • 2010-2011 : partiel, examen et rattrapage.
  • 2011-2012 : partiel, examen et rattrapage.
  • 2012-2013 : partiel, examen et rattrapage.
  • 2013-2014 : partiel, examen et rattrapage.
  • 2014-2015 : partiel, examen et rattrapage.
  • 2015-2016 : partiel, examen et rattrapage.
  • 2016-2017 : partiel, examen et rattrapage.
  • 2017-2018 : partiel, examen et rattrapage.
  • 2018-2019 : partiel, examen et rattrapage.
  • 2019-2020 : partiel.
• Livre : logique et démonstration automatique (écrit avec Pascal Lafourcade et Michel Lévy)

• Slides de cours (à trous) :
  • Cours 1 : introduction, séance 1
  • Cours 2 : relations et requêtes, séance 1
  • Cours 3 : opérations sur plusieurs relations, séance 2
  • Cours 4 : valeurs absentes, séance 3
  • Cours 5 : transactions, séance 3
  • Cours 6 : modèle conceptuel, séance 4
  • Cours 7 : modèle logique, séance 5
  • Cours 8 : modèle physique, séance 6
  • Cours 9 : PL/SQL, séances 7 et 8
  • Cours 10 : JDBC, séance 8
  • Cours 11 : normalisation (introduction), séances 9 et 10
  • Cours 12 : forme normale de Boyce-Codd, séances 10 et 11
  • Cours 13 : troisième forme normale, séance 12
• Planning provisoire
• Sujets de travaux dirigés
• Supports pour les travaux pratiques :
  • create_zoo_eleve.sql
  • appliMin.tgz
  • appliEleve.tgz
  • appliEleve2.tgz
• Annales :
  • Examen 2016-2017
  • Examen 2017-2018
  • Examen 2018-2019
  • Examen 2019-2020
• accès enseignant

Ce cours est la suite du cours d'Algorithmique Distribuée, dispensé en INFO'4 PolyTech'Grenoble par Karine Altisen.

Planning provisoire

Slides :

• Cours 1 : pptx
• TD 1 : pdf
• TP 1 : sujet
• Cours 2 : pdf
• TD 2 : pdf
• TP 2 : sujet
• TD 3 : pdf
• Cours 3 : pdf
• TD 4 : pdf
• Cours 4 : pdf
• TD 5 : pdf
• TP 3 : sujet
• Cours 5 : pdf
• TP 4 : sujet

Fichiers exemples (à adapter dans votre code) pour le projet :

• Pour gérer la terminaison : CustomGlobal.java
• Pour afficher les arêtes d'un arbre couvrant, stocker le fichier suivant (en adaptant le code) dans le répertoire nodes/edges de votre projet "MonProjet" : BidirectionalArete.java
  (pensez à modifier la balise <edgeType value="NomProjet:BidirectionalArete"> dans le fichier Config.xml de votre projet "MonProjet")

Ancien cours :

• Impossibilité du consensus : pdf
• Détecteurs de défaillances : pdf

Supports pour les travaux pratiques :

• Nouveauté : VM sinalgo (via VirtualBox) login : invite, mot de passe : invite
• Tutorial Sinalgo
• Sources Sinalgo
• Tp d'initiation à Sinalgo
• Fichiers pour le tp d'initiation : Config.xml, demandeTimer.java, initTimer.java, tokenMessage.java, waitTimer.java, FifoRandom.java, FifoRandom2.java, RandomTime.java et tokenNode.java.
• Graphes : reseau.pos et tree.pos.
• Annales :
  • Examen 2011
  • Examen 2012
  • Examen 2013
  • Examen 2014
  • Examen 2015