• Aucun résultat trouvé

Université Paris-Est Créteil Faculté de Droit - IUT de Sénart-Fontainebleau 2018/2019 Premier semestre  Première année Master Droit du Numérique  Informatique et Droit Logique

N/A
N/A
Protected

Academic year: 2022

Partager "Université Paris-Est Créteil Faculté de Droit - IUT de Sénart-Fontainebleau 2018/2019 Premier semestre  Première année Master Droit du Numérique  Informatique et Droit Logique"

Copied!
2
0
0

Texte intégral

(1)

Université Paris-Est Créteil

Faculté de Droit - IUT de Sénart-Fontainebleau 2018/2019

Premier semestre Première année

Master Droit du Numérique Informatique et Droit Logique et Bases de données

PREMIÈRE SESSION Vendredi 21 décembre 2018 3 heures

Seules les notes manuscrites sont permises à titre de documentation. Pas de calculatrice. Pas de livre.

Les exercices sont indépendants mais devront être présentés dans l'ordre.

Les épreuves de Logique (temps conseillé 2 heures), d'une part, et de Bases des données (temps conseillé 1 heure), d'autre part, devront être rédigées sur deux ensembles de copies diérents.

PREMIÈRE PARTIE : LOGIQUE

Exercice 1.- Donner les tables de vérité des expressions suivantes : - 1o)(A→B)∧A).

- 2o)((A∨(¬C))↔B).

Exercice 2.- Déterminer si les paires d'expressions logiques suivantes sont équi- valentes :

- 1o)(A∨(B↔C))et((A∨B)↔(A∨C)). - 2o)(A→(B↔C))et ((A→B)↔(A→C)).

Exercice 3.- SiA→B est vrai, que peut-on en déduire de la valeur de vérité de chacune des expressions logiques suivantes ?

a) (A∨C)→(B∨C) b) (A∧C)→(B∧C) c) (¬A∧B)↔(A∨B)

Exercice 4.- Donner la signication de chacune des deux relations binaires sui- vantes :

- 1o)(∃z)(∃t)[P(z, x)∧P(t, y)∧S(z, t)]

- 2o)(∃z)[P(x, z)∧P(z, y)]

oùP(u, v)signie queuest l'un des deux parents dev etS(u, v)queuetv ont les mêmes parents.

1

(2)

DEUXIÈME PARTIE : BASES DE DONNÉES

Ne pas hésiter à formuler en langue naturelle la solution que vous essayez d'implémenter en SQL !

On considère la base de données suivante :

• Auteur(CODE_AUTEUR, NOM_ AUTEUR, PRENOM_ AUTEUR) con- tenant la liste des auteurs.

• Livre(NO_LIVRE, TITRE, EDITEUR, DATE_EDITION) contenant la liste des livres.

• Ecrit(CODE_AUTEUR, NO_LIVRE) associant à chaque auteur les livres qu'il a écrits.

• Exemplaire(NO_LIVRE, NO_EXEMPL, ETAT, DATE_ACQ) contenant la liste des exemplaires des livres de la bibliothèque.

• Emprunteur(NO_INSCR, NOM_EMPR, PRENOM_EMPR, ADR_MPR) contenant la liste des emprunteurs.

• Emprunt(NO_LIVRE, NO_EXEMPL, NO_INSCR, DATE_EMPR) con- tenant la liste des emprunts en cours.

Exercice 1 [6 pts] Donner les instructions SQL de création des tables de cette base de données.

Exercice 2 [14 pts] Exprimer les requêtes suivantes en SQL : 1. Rechercher le titre des livres écrits parhh Yves Fonctionrecurs ii.

2. Rechercher les numéro, nom et prénom des emprunteurs qui ont en prêt un exemplaire du livre numéro 10.

3. Rechercher le nombre d'emprunts en cours.

4. Pour chaque livre, rechercher son numéro, son titre et le nombre de ses exemplaires en cours de prêt.

5. Rechercher le numéro et le titre des livres de la bibliothèque édités depuis le 1er septembre 2003.

6. Rechercher le numéro et le titre des livres disponibles (c'est-à-dire dont au moins un exemplaire n'est pas emprunté).

7. Rechercher le numéro et le titre des livres dont tous les exemplaires sont empruntés.

2

Références

Documents relatifs

Former des juristes spécialisés en droit du numérique ayant acquis suffisamment de technicité dans les sciences du numérique pour pouvoir dialoguer efficacement avec les spécialistes

Le parcours « Informatique et Droit », de la mention « Droit du numérique » du master « Droit » s'adresse aux candidats titulaires d'une licence de Droit, d'une part,

Le diplôme forme des juristes spécialisés en droit du numérique ayant acquis suffisamment de technicité dans les sciences du numérique pour pouvoir dialoguer efficacement

NumF : Numéro Fournisseur Nomf : Nom Fournisseur CatF : Catégorie Fournisseur (entier) VilF : Ville du Fournisseur NumP : Numéro de la pièce NomP : Nom de la pièce ClrP : Couleur de

Isabelle Dupond a obtenu un bac STMG (spécialité GIS) et can- didate en licence de droit à l'UPEC et en DUT informatique à l'UPEC..

Pour chaque lm de Spielberg (titre, année), donner le total des salaires des

- Pour la première lettre du message, ‘e’ étant la cinquième lettre de l’al- phabet, ‘p’ est remplacé par la quatrième lettre qui suit ‘p’, c’est-à-dire ‘t’... -

- 3 o ) Écrire une application Java demandant le nom d’un fichier (texte) source, le nom d’un fichier (texte) but et qui place dans le fichier but la liste des mots se trouvant dans