Le premier cours du 6 novembre 07

1) Ce que j'ai traité

• expression, prédicat, commande
• variables, constantes
• invariant, propriétés
• machine abstraite
• SETS (ensembles de base)
  
• initialisation, modèle
• preuve de l'initialisation
  
• opérations

Travail à faire : étudier dans le polycop la sémantique de mon opération "inscription" (le ANY WHERE)

Etudier les premiers chapitres du polycopié.

Et l'exemple commenté suivant :
ici


B sur wikipedia