La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

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

Présentations similaires


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

1

2 a b c d e Relation quelconque Ensemble de départEnsemble d arrivée ou cible (target) domaine Codomaine ou range

3 a b c d e Fonction partielle

4 a b c d e Fonction totale

5 a b c d e 2 5 Fonction partielle surjective

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

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

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

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

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

11 a b c d e w x z y r1 r2 r1 ; r2 == r2 o r1

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

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

14 Raffinage

15

16

17 Art. L La qualité d auteur appartient, sauf preuve contraire, à celui ou à ceux sous le nom de qui l œuvre est divulguée Art. L 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 quil 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 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 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 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


Télécharger ppt "a b c d e 1 2 3 4 5 Relation quelconque Ensemble de départEnsemble d arrivée ou cible (target) domaine Codomaine ou range."

Présentations similaires


Annonces Google