Message du 27 novembre

Cours :

J'ai traité de :

- Commentaires sur un schéma NIAM : identification composée (avec le produit direct), contraites d'exclusion, égalité, inclusion
- différence concept, nom
- rasoir d'Occam
- les 4 sens du verbe être d'après G. Frege
- importance de la composition, les COTS
- Composition de machines :le SEES, INCLUDES (avec PROMOTES et EXTENDS), dit deux mots sur le USES
(J'ai utilisé des schémas pour présenter ces primitives de composition)


TD:

Peuvent être donc faits les td sur calcul de préconditions avec les différentes substitutions de B
et les td sur la composition de machines (dont celles que nous avons étudiées dans les premières séquences)

Travail à rendre pour le prochain cours (1 copie par étudiant, 1 étudiant par copie !) :
spécifier (sans opérations) ce qui est écrit dans le schéma NIAM distribué en cours ce jour.