Ensemble de départ Ensemble d ’arrivée ou cible (target) e 1 a 2 b 3 c 4 Codomaine ou range d 5 domaine Relation quelconque.

Présentation au sujet: "Ensemble de départ Ensemble d ’arrivée ou cible (target) e 1 a 2 b 3 c 4 Codomaine ou range d 5 domaine Relation quelconque."— Transcription de la présentation:

1

2 Ensemble de départ Ensemble d ’arrivée ou cible (target) e 1 a 2 b 3 c 4 Codomaine ou range d 5 domaine Relation quelconque

3 e 1 a 2 b 3 c 4 d 5 Fonction partielle

4 e 1 a 2 b 3 c 4 d 5 Fonction totale

5 e a 2 b c d 5 Fonction partielle surjective

6 Fonction totale surjective
2 b c d 5 Fonction totale surjective Bijection

7 e 1 a 2 b 3 c 4 d 5 R1 [{a, b, c}] = {2, 4} Image relationnelle

8 e r1 1 a 2 b 3 c 4 d 5 R1 |> {2, 5} = {(a, 2), (b, 2), (d, 5)} Restriction de codomaine

9 e r1 1 a 2 b 3 c 4 d 5 {a, b} <| r1 = {(b, 2), (c, 4)} Restriction de domaine

10 e r1 1 a 2 b 3 c 4 d 5 {b, c} <<| r1= {(a, 2), (a, 4), (d, 5)} Antirestriction de domaine

11 r1 r2 e 1 x a 2 y b 3 z c 4 w d 5 r1 ; r2 == r2 o r1

12 estSituéeDans : Salle --> Bâtiment &
aPourNuméro : Salle --> NAT & estSituéeDans >< aPourNuméro : Salle >--> Bâtiment * NAT

13 SETS VALEURS_FACIALE VARIABLES monPorteMonnaie INVARIANT monPorteMonnaie : VALEURS_FACIALE +-> NAT Bag (Multiset)

14 Raffinage

15

16

17 Art. L 113-1 La qualité d ’auteur appartient, sauf preuve contraire, à celui ou à ceux sous le nom de qui l ’œuvre est divulguée Art. L 113-2 Est dite de collaboration l ’œuvre à la création de laquelle ont concou- ru plusieurs personnes physiques. Est dite composite l ’œuvre nouvelle à laquelle est incorporée une œuvre préexistante sans la collaboration de l ’auteur de cette dernière. Est dite collective, l ’œuvre créée sur l ’initiative d ’une personne physique ou morale qui l ’édite, la publie et la divulgue sous sa direction et son nom et dans laquelle la contribution personnelle des

18 divers auteurs participant à son élaboration se fond dans l ’ensemble
en vue duquel elle est conçue, sans qu’il soit possible d ’attribuer à chacun d ’eux un droit distinct sur l ’ensemble réalisé. Art. L L ’œuvre de collaboration est la propriété commune des coauteurs. (…) Art. L 113-4 L ’œuvre composite est la propriété de l ’auteur qui l ’a réalisée, sous réserve des droits de l ’auteur de l ’œuvre préexistante.

19 Art. L 113-5 L ’œuvre collective est, sauf preuve contraire, la propriété de la personne physique ou morale sous le nom de laquelle elle est divulguée. Cette personne est investie des droits de l ’auteur. Art. L 113-6 Les auteurs des œuvres pseudonymes et anonymes jouissent sur celles-ci des droits reconnus par l ’article L Ils sont représentés dans l ’exercice de ces droits par l ’éditeur ou le publicateur originaire, tant qu ’ils n ’ont pas fait connaître leur identité civile et justifié de leur qualité. (…)

20 Est dite de collaboration l ’œuvre à la création de laquelle ont concou-
ru plusieurs personnes physiques. aPourCollaborateurs : oeuvreDeCollaboration <--> personnes L ’œuvre de collaboration est la propriété commune des coauteurs. (…) coauteurs (oColl) == aPourCollaborateurs [{oColl}] aPourPropriétaire : oeuvreDeCollaboration --> POW ( personnes)

21 Est dite composite l ’œuvre nouvelle à laquelle est incorporée une
œuvre préexistante sans la collaboration de l ’auteur de cette dernière. aPourComposants : oeuvreComposite <--> œuvres aPourCollaborateurs : oeuvreDeCollaboration <--> personnes aPourAuteur : œuvres --> personnes aPourComposants ; aPourAuteur