Enseignement 2010-11, 2011-2012 et 2012-2013

• Spécification Formelles en M1 Info, 2012-2013 (Méthode B)
  
  
  
  • DIAPOS DES COURS
    
    
    • TOUTES les slides de cours (pdf)
    
    
    
    
    
  • LES TD, Enoncés et Corrigés
    
    
    • TD 1
    
    
    • TD 2
    
    
    • Les autres TD vont suivre...
  
  
  
  
  Ce cours est fondé sur le livre:
  
  Steve Schneider, the b-method, an introduction , series "cornerstones of computing", Palgrave MacMillan publishing company.
  
  
  
  
• Logique de Base en L2 : Page du cours de Logique 2011-2012 (L2)



• SGBD EN L3


• Cours 1 de SGBD (pdf). Contenu : notions de base et algébre relationnelle.


• Cours 2 de SGBD (pdf). Contenu : Calcul relationnel.


• Cours 3 de SGBD (pdf). Contenu : SQL.
  
  
• Cours 4 de SGBD (pdf) Contenu : Conception de schéma: Dépendances Fonctionnelles & méthode EA


• Cours 5 de SGBD (pdf). Contenu : Décompositions SPI et SPD


• Cours 6 de SGBD (pdf), année 2011-2012. Contenu : Formes Normales. Mis à jour le 24-10-2012.



• Supports pou les TD


• Enoncé avec corrigé du TD 1.


• TD 2 et 3
  • BD de Cinéma à télécharger
  • Enoncé des TD 2 et 3 (une seule feuille).
  • Corrigé des TD 2 et 3 (AR, CR et SQL)
  
  
• Enoncé et Corrigé du TD 4 (Implication de dépendances fonctionnelles)


• Enoncé et Corrigé du TD 5 (SPI et SPD)


• Enoncé et Corrigé du TD 6 (Formes Normales)


• Pour s'entraîner :
  
  
  • Sujet de l'examen SGBD 0809, L3 initial
  
  
  • Sujet de l'examen SGBD 2010-2011, L3 initial
  
  
  • Sujet du DS SGBD 0809, L3 initial
  
  
  • Sujet de l'examen SGBD 2012-2013, L3 Alternance et son corrigé
  
  
  
  
  
  
• Liens à d'autres supports de cours en français (mais sans CR) :
  
  
  • Ici
  • Ici aussi
  
  
  
• Lien à un support de cours americain, en anglais, mais avec des exercices corrigés : Here