• Aucun résultat trouvé

Université Paris-Est Créteil Faculté de Droit - IUT de Sénart-Fontainebleau 2017/20187 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 2017/20187 Premier semestre  Première année Master Droit du Numérique  Informatique et Droit Logique"

Copied!
4
0
0

Texte intégral

(1)

Université Paris-Est Créteil

Faculté de Droit - IUT de Sénart-Fontainebleau 2017/20187

Premier semestre Première année

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

PREMIÈRE SESSION Vendredi 22 décembre 2017 3 heures

Seules les notes manuscrites et les impressions de programmes portant le nom de l'étudiant (dans le programme et sur chaque page) sont permis à titre de documentation.

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→(B →C))→((A→B)→(A→C))).

Que peut-on dire de chacune de ces expressions (tautologie, contradiction ou ni l'une ni l'autre) ?

Exercice 2.- Pour chacune des deux expressions logiques suivantes, trouver une réalisation qui la rend vraie et une autre qui la rend fausse (sans nécessairement calculer sa table de vérité complète) :

- 1o)((p↔q)→(r→p))↔r.

- 2o)((p∧ ¬s)∧((q∨ ¬r)∨(s→r)))→((p→q)∨(r→s)).

Exercice 3.- À partir de la dénition du raisonnement valide, déterminer par l'examen des diérentes réalisations dans une table de vérité si la forme de raisonnement suivante est ou non valide :

(p∧q)→r, p∴r

1

(2)

Exercice 4.- Considérons les prédicats suivants : H(x) x est un homme F(x) x est une femme A(x,y) x aime y

Traduire les formules logiques suivantes en français : - 1o)∀x(F(x)→ ∃y(H(y)∧A(x, y))

- 2o)∃x(F(x)∧ ∀y(H(y)→A(x, y)))

- 3o)∃x(H(x)∧ ∃y(F(y)∧(A(x, y)∧A(y, x)))) - 4o)¬∃x(F(x)∧ ¬∃yA(y, x))

2

(3)

DEUXIÈME PARTIE : BASES DE DONNÉES On considère le diagramme de classes suivant :

qui indique que des élèves ont obtenu un baccalauréat (avec une spécialité) une certaine année. Ces élèves candidatent à au plus dix formations.

Exercice 1.

1. Donner les instructions permettant de créer les tables de ce système d'information.

2. Insérer les exemples suivants :

Jean Dupont a obtenu un bac S (spécialité math) en 2016. Il candidate en licence de droit à l'UPEC.

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

Exercice 2.

Donner les requêtes SQL correspondant aux questions suivantes : 1. Obtenir la liste des formations.

2. Obtenir la liste des élèves qui ont un baccalauréat S.

3. Obtenir le nombre d'élèves par baccalauréat.

3

(4)

4. Obtenir le nombre de candidats par formations.

5. Obtenir le nombre de bacheliers ayant obtenu un bac S qui ont candidaté en licence de droit.

6. Obtenir le pourcentage de baccalauréats qui ont candidaté en DUT Info.

Par exemple, 17% ont un bac STI2D, 83% ont un bac S.

4

Références

Documents relatifs

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

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

Pour chaque livre, rechercher son numéro, son titre et le nombre de ses exemplaires en cours de prêt5. Rechercher le numéro et le titre des livres de la bibliothèque édités depuis le

- 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’... -

Un enseignant corrige les copies d'une promotion, entre le nom et la note correspondante de chaque étudiant et veut voir acher les noms par ordre de mérite : un nom par ligne, le nom

- 2 o ) Concevoir une classe Java Queue dont les attributs sont le premier élément (begin) de la pile et le dernier (end) et les méthodes sont : le constructeur par défaut

- 2 o ) Calculez, en donnant tous les détails du calcul, la somme de contrôle du premier en-tête qui possède un tel

- 1 o ) Analyser cette trame en commentant tous les champs de chaque en-tête et en commentant le contenu du message.. - 2 o ) Calculez, en donnant tous les détails du calcul, la