TD de Prolog et programmation par contraintes n 4 (Correction)
|
|
- Côme St-Georges
- il y a 6 ans
- Total affichages :
Transcription
1 H ) Université Paris 7 - M1 Année TD de Prolog et programmation par contraintes n 4 (Correction) Exercice 1 [Carrés latins] Un carré latin est une matrice n n qui contient les nombres de 1 à n 2, disposés de telle façon que, pour chaque ligne et chaque colonne de la matrice, la somme des nombres de la ligne ou de la colonne en question donne le même résultat. Par exemple, voici un carré latin de taille 3: Le but de cet exercice est d implementer un algorithme générer et tester pour engendrer les carrés latins. Une configuration est une liste de n 2 éléments, qui contient une permutation des entiers de 1 à n 2. Les n premiers éléments de la liste réprésentent la première ligne de la matrice, les éléments du n+1-ème au (2 n)-ième la deuxième ligne et ainsi de suite. Donc, la matrice ci-dessus est réprésentée par la liste. #"%$' 1. Définir un prédicat! qui réussit ssi $ est la liste ( *)+)!), 2. $ 0"21' 2. Définir un prédicat -,./ qui réussit ssi la liste 1 est une permutation de la liste $. #"=<> 3. Définir un prédicat 34.*5!!6+7!89;:2, qui réussit ssi < est la somme des éléments d une ligne d un carré latin de taille (il s agit évidemment de n importe quelle ligne, ou colonne; la division entière s écrit?!?, infixe) Définir les $/! 0"=B; $ A A 'A qui réussit ssi la sommme des éléments de la -ème ligne de la configuration d un carré latin de taille (c.à.d. des éléments (N (I 1)) + 1,...,N I de la liste ) est. $/ #"2B;, 'A, l analogue pour la somme des éléments de la -ème $ H Une définition se trouve dans?!e@,?5!f;c!c+:8!?@3%.+.e@ 4. Définir un prédicat 9*@%96!7:%,*@G $/!!H qui réussit ssi est une configuration pour un carré latin de taille, tel que la somme des éléments sur chaque ligne de la matrice réprésentée par est. On supposera que est effectivement une configuration. 5. Définir un prédicat 9*@496C3!7+3!*@G $, analogue au précedent. 6. Définir un prédicat C8!+6!7+89':%, 0"2$; qui réussit si est (la réprésentation d ) un carré latin de taille. 7. Définir une requête pour trouver toutes les configurations qui représentent des carrés latins de taille 3. Quel est leur nombre? 8. Pour les carrés latins de taille 4, l approche générer et tester montre ses limites. Pourquoi? Définir un prédicat C8++6!7!89':%6 pour trouver les carrés latins de taille 4, plus $; efficace
2 Correction :! #" $ $% $ '(*),+- /.0,1.2 '(*),+- 34 #"/3,5.076 ( ) 3%".0 '(*), $% 3 : +,+ ;,+- 3 #"26 (*) 3 </34 '(*),+ 64 = >+ ;@?A B,B >+ ;@?A CD FE= #"2>,+ ;@?A F-HG%8 ( ) + ;* ( 4ḦC4BG4E ( ) + ; ( $4 C4CD* ( ) + ; ( $4 C4I*,I=J" ( ) + ;* ( C! /?,K;,+L ' ( =J"/6 (*) 3 <! 3 <@3M0. NNPO4 ) ( ) ) ( ) ) ( ) /?*?%+L$>;+/? + ; FQ-FQ! /?*?%+L$>;+/? + ; CD B34H = #"/R (*) 3%".0 /?*?%+L$>;+/? + ; R FS,!H (*) S*M*CT +? ( +? (? ( '( +- FQ '( +- C34FU,= #"/R (*) 3%".0V+ '( +- F HR4JU ) /?*?%+L '( : +- F34W.%H%F" ) 2?*?%+L/>;+2? ( + ; ) H34 ) /?*?%+L '( : +- F34H6 H%F"$+ ',(? ( +- H34JU!HR (*) 6%",.% ) /?? +L '( : +- JU3 R = ) /?*?%+L, ' + F H3 H64J"2R ( ) 6%".0V+ '(? ( +- F HR4JU! ) ' $,+L XY #U3 = ) /?*?%+L, ' +L* XY CH3 C%! #" ' +$ : Z4 HR%!BR[$3T ) /?*?%+L, ' +L* XY CH3 %! #" ' +$ : Z4 HR%!BR5 \ 3 ]+ '(? ( +- C 3JU,8 ) /?*?%+L, ' +L* XY JU-3J^,8H (*) CM,^ : ) : : : ) : : '( + L* _ F 3 `%=J" '( +L $XY H3 H34` '( +L* XY F 3 FQH` = '( +L* XY F 3 64H` = #" /?*? +L '(,+ 36 H`!R (*) 6%".0 '( +L* XY F 3R H`%= ' ) ' ' ' ) ' ' + L* _ F34H` = #"*@ $*+L XY 33 H` +L XY F34Q-H`% +L XY F34H6 H`%F" 2?*?%+L $+= FH3 64B`%8HR ( ) 6%".01 +L XY H34BR4H` ;*;,+L ' ( =J"2 W?K;+L ' $ ( 346! : +$+ ;+- 3!>+ ;@?A H0. 8 ',( : + ) L* _ 0.%H34H6%01 $ ' $+ ) L _ F.036 \\\*\\\\\*\\\\\*\\\*\*\*\\\ \\*\*\*\,a R b%c26 c@s d! #" $ $% $ '(*),+- /.0,1.2 '(*),+- 34,3 #"23,5.076 (*) 3 ",.0 '(*) : +,+ ;,+- 3 #"26 (*) 3 </34 '(*),+ 64 = >+ ;@?A CC = 2
3 >+ CD FE= #"2>,+ F-HG%8 ( ) + ;* ( 4ḦC4BG4E ( ) + ; ( $4 C4CD* ( ) + ; ( $4 C4I*,I=J" ( ) + ;* ( C! /?,K;,+L ' ( =J"/6 (*) 3 <! 3 <@3M0. NNPO4?%+/?,K+ ; C CBL J" *?%+/?,K+ ; C L * J"#? +/?K+ ; C! + ' +,+ ; C4CD = #" + ' +,+ ; C4ID,IB^ J"@+$ ' +,+ ; C4-J^,= : K ' ' : K ' : K ' '( +L$> ))( +- /.%H6 6F^F"1? +2?,K+ ;- 6!F+@ + + ; Ḧ64J^, '( +L$> ))( +- 3 H6 CA*,C H #"W35.%HC[ 6R (*) 6%"/C4J^ ( ) 3%".0 '( +L$> ))( +- #^HR 4H = '( : +L$> ))( K ' +- 3 H6 CA* 4DC #"W35.% '( : +L@>, ))*( K ' +- 34B64 /Z ( YL '( : +- F34H = #"2 /?,K;+L ' ( 34B6%8 '( : +L$> ))( K ' +- 3 H6 H0.%H0.! '( : +L$> ))( K ' +- 3 H6 8. O-H,O0 '( : +L$> ))( K ' +- 3 H6,O-H0 >+ ;@?A F0.00.!H>,+ ;$? O*O8B>,+ ;$?T F-0H>,+ ;@?A! %.0OHR8. 8 R0.0HR,O8 RO4H% +? ( +? (? ( '( +- FQ = '( +- C34,C-JU,=J"/R (*) 3%",.0V+ ',( + F R44JU,= ) /?*?%+L, ' + F H3 H64J"2R ( ) 6%".0V+ '(? ( +- F HR4JU! ) ' $,+L XY #U3 = ) /?*?%+L, ' +L* XY CH3 C%! #" ' +$ : Z4 HR%!BR[$3T ) /?*?%+L, ' +L* XY CH3 %! #" ' +$ : Z4 HR%!BR5 \ 3 ]+ '(? ( +- C 3JU,8 ) /?*?%+L, ' +L* XY JU-3J^,8H (*) CM,^ ' ) ' ' ' ) ' ' + L* _ F34H` = #"*@ $*+L XY 33 H` +L XY F34Q-H`% +L XY F34H6 H`%F" 2?*?%+L $+= FH3 64B`%8HR ( ) 6%".01 +L XY H34BR4H` ;*;,+L ' ( L %=J"W /?K;+L ' ( 6%0 : +$,+ ;,+=! /Z ( YL '( : +- F4H 81 ' $*,+ ) L _ 4B6%= N,< 1.W O Q--- 4-O2. < N 3
4 Exercice 2 [Le jeu des 16 allumettes] Configuration initiale: Règle du jeu: les deux joueurs, chacun à son tour, prélèvent une quantité (non nulle) d allumettes d une (et une seule) rangée. Fin du jeu: le joueur qui prélève la dernière allumette a perdu. 1. choisir une représentation des configurations du jeu. 2. définir un prédicat.e3 D 3 ':%6!3F!;C 3 E:4*6 *@49':%89;:3 qui implémente la règle du jeu. ) 3. définir un prédicat *8! 3 E:%!F!89':3, tel que le but *8!0C a succes si et seulement si il existe une stratégie gagnante à partir de la configuration C. Voici par exemple 3 configurations gagnantes: 4. vérifier que la configuration initiale du jeu est perdante. 5. définir un prédicat +F 3 ':%,F+89':3 qui permet à l utilisateur de jouer contre le programme, comme premier joueur et à partir de la configuration donnée. Le programme joue une stratégie optimale (c est à dir que, dès que le programme joue sur une configuration gagnante, le programme gagne). Correction : N,< ( ' : ( $ + (. ),+ /Z ( ( ( : X;, ( +P+ X '(*), ( (,+ ; ( ] '' ( ( ( 1.%*TJ< N N,< ' +P?% )) + >, ))( K ( '( )( $ X >;,+ (, X,+ >, ) (V'?%, /Z (, : ( $ ; X* X,+,+,< N N,< ' X ( ' + )( /Z ( ++ ' >; (?%?% )) 4J< N ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )?% Q? 2.?% FO?% -?% %=?%?% =?% Q? 2.?% FO?% -?% %=?%?% Q? 2.?% FO?% -?% %=?% 4Q? 42.?% 4FO?%?% Q? 2.?% FO?% JOQ? FO2.?% /.0Q?% +- C4HI4FEb C HI4FE,= #"1? ( ) b48=?% +- C4HI4FEb C HI44b= #"1? ( ) JE8=?% +- C4HI4FEb C FEb= #"1? ( ) I48=?% HI4FEb BQ-HI4FEb= 4
5 >+ ; 1.0QFQFQ >+ ; HQW.0FQFQ >+ ; HQQ2.0FQ >+ ; HQQFQ2.W : : +- HQ-FQFQQ* = : : +- F = #"1?% +- F! >+ ; F >+ ; F J" : : + F + Y* C4I #"1?%,+- C HI%!>+ ; - I%! : ' : ( :?% ;,+L ',( +- FQJ"W?% ;,+L ',( +- 3%J" ; +-!B6 (*) 3 ",.0?% $ ;,+L '( += 6 =?% ;,+L$>, ) C I4E-Hb! #"#? $ ;+L ',( : += C 8D?% * ;+L '( : + I%8? *;,+L '( :,+- FE0? $ *;,+*L ',( :,+-Ḧb% K X : +- C4HI% #" ; ( + + X,+ '' + ;, $ : +!H ' ;,+* - C%0 ; (,+- 1 /?K ( + #!B ' ;,+ - I N,< /Z : +- X;;,+ H, : +*+- /?K ( +$4,+ ) X ' *< N /Z $ +- B = /Z $ +- C W.03,I =J"2I (*) C%"/3 /Z $ +- C H643,C =J" 6,5.0 ( ) 6%".0 /Z +- F R 34!,+ ; ( ( +- C4I FE=J" : + CI E!? + FE, ) ) ) /?*?% - BFQ /?*?% #" 2??% = F!3 (*) M 6 (, ' +- F #" ) 2??% 3%073\,[.! X ($'(*) + X; F #"?% *;,+L$> ) F! ( ' +- " 5Ḧ ' ; (,+= ( 0H ' + Y ( % K, X : +- C HI%0,+ ; ( ( +- C4I FE?% $ ;,+L@> ) JE!H,+ Y* JE3+ Y* %! X ($'(*) + X; 3+ Y = 5
Corrigé du baccalauréat S Asie 21 juin 2010
Corrigé du baccalauréat S Asie juin 00 EXERCICE Commun à tous les candidats 4 points. Question : Le triangle GBI est : Réponse a : isocèle. Réponse b : équilatéral. Réponse c : rectangle. On a GB = + =
Plus en détailL AIDE AUX ATELIERS D ARTISTES :
RAPPORT DAVID LANGLOIS-MALLET SOUS LA COORDINATION DE CORINNE RUFET, CONSEILLERE REGIONALE D ILE DE FRANCE L AIDE AUX ATELIERS D ARTISTES : PROBLÉMATIQUES INDIVIDUELLES, SOLUTIONS COLLECTIVES? DE L ATELIER-LOGEMENT
Plus en détailSAV ET RÉPARATION. Savoir-faire. www.jarltech.fr
i & V : SA E b i i 1 3 2 0 1 Ai 0800 9 h P i iè P i i i i S j C i Si E ) i Ti (i ib i Q,. bq i, FA V k, Pi b h iè i Si b, D Z, P E q Si-i SAV ET RÉPARATION S hiq : E q SSII VAR, i hiq Jh i h 0800 910 231.
Plus en détail6 ème. Rallye mathématique de la Sarthe 2013/2014. 1 ère épreuve de qualification : Problèmes Jeudi 21 novembre 2013
Retrouver tous les sujets, les corrigés, les annales, les finales sur le site du rallye : http://sarthe.cijm.org I Stéphane, Eric et Christophe sont 3 garçons avec des chevelures différentes. Stéphane
Plus en détailExemples de problèmes et d applications. INF6953 Exemples de problèmes 1
Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation
Plus en détailLes droites (d 1 ) et (d 2 ) sont sécantes en A Le point A est le point d intersection des 2 droites
I Droites perpendiculaires Lorsque deux droites se coupent, on dit qu elles sont sécantes Les droites (d 1 ) et (d 2 ) sont sécantes en A Le point A est le point d intersection des 2 droites Lorsque deux
Plus en détail!" #" $ %& '# $ %& !!""!!#" $ % &
!" #" $ % '# $ %!!""!!#" $ %!#!(!$ '()*+),-.$/*(*',0*1)2, 2 1)2(%,2 ()2+''+34!5"6,7 8+9(+, 1(*:+*)1, - 11/21%, 7 10/'# 8;%(/',7 $18)*+, 9(+, $ ;%1*', 24 1*%?19*1,
Plus en détailSYSTEME D EXPLOITATION : MS-DOS
!"# SYSTEME D EXPLOITATION : MS-DOS INTRODUCTION :!"# DEFINITION : # % & ' ( ) # # ) * + # #, #, -",.*",.*"/01- SYSTEME D EXPLOITATION MS-DOS : "%&'(!&"(%) +# -",.*" 2(# "%"&""&"(%) -",.*" 2 #-",.*" 3
Plus en détailÉtude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire
Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire Stéphanie Demonchaux To cite this version: Stéphanie Demonchaux. Étude des formes de pratiques de la gymnastique
Plus en détailSylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa microstructure.
Étude du comportement mécanique du plâtre pris en relation avec sa microstructure Sylvain Meille To cite this version: Sylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa
Plus en détail+, -. / 0 1! " #! $ % % %! &' ( &))*
!"#!$%% +,-. /01 %!&'(&))* 23%#!! " # " " " "$! 4 5-6 4! 1! " # - 5! " # 6 3! " # 7! " # " 8! 9 : ; 5 7 4! 1! # 42 5! 5 < 44 3! # " 7! 41 5 8 '9 4! " $ = " > 4!4 *% 43 4!1? 48 4 4!5 $ 9 4!3 4@ 4!7 $ #
Plus en détail3 : «L amitié éternelle» 4 : «L amour» 5 à 11 : Le Dossier 12 : Loisirs 13 : Fin d année en beauté
L c - 3 : «L mé é» 4 : «L m» 5 à 11 : L D 12 : L 13 : F é bé L J éèv Lycé L P, èm égé éèv, é f é c 2013-2014, D éc ccé à c ; x c ô, c éê vfé qq é. L - émé chz j? C mé év qq, é à c m q... B... c! LC, c.
Plus en détail>> TECHNIQUES DE COMPTABILITÉ ET DE GESTION 410.B0
Pondération : le 1 er chiffre représente le nombre d heures de théorie, le 2 e chiffre représente le nombre d heures de laboratoire et le 3 e chiffre représente le nombre d heures de travail personnel.
Plus en détailILT. Interfacultair Instituut voor Levende Talen. T@@lvaardig. Actes de communication. Serge Verlinde Evelyn Goris. Katholieke Universiteit Leuven
IL If I L S V Ey G Khk U L 13/02/02 pé? xp qé xp pz à pz p héhq pé p à q z p à p héhq fé à p à q pz xp q 'p (è) f, '-à- p. x. ' é ff. N xp à py qq' q z b ( f) P xp pô pp L p - pé pz ': z qq', q -? Bj,
Plus en détailExo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.
Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3
Plus en détail!" #$#% #"& ' ( &)(*"% * $*' )#""*(+#%(' $#),")- '(*+.%#"'#/* "'") $'
!" #$#% #"& ' ( &)(*"% * $*' )#""*(+#%(' $#),")- '(*+.%#"'#/* "'") $' &!*#$)'#*&)"$#().*0$#1' '#'((#)"*$$# ' /("("2"(' 3'"1#* "# ),," "*(+$#1' /&"()"2$)'#,, '#' $)'#2)"#2%#"!*&# )' )&&2) -)#( / 2) /$$*%$)'#*+)
Plus en détail1 de 46. Algorithmique. Trouver et Trier. Florent Hivert. Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert
1 de 46 Algorithmique Trouver et Trier Florent Hivert Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert 2 de 46 Algorithmes et structures de données La plupart des bons algorithmes
Plus en détail1. GENERALITES... 4 1.1. OBJET DU MARCHE... 4 1.2. DUREE DU MARCHE... 4 1.3. REGLEMENTATION... 4 1.4. SECURITE... 5 1.5. ASTREINTE ET GESTION DES
!"#!$# #"%&&&&' 1. GENERALITES... 4 1.1. OBJET DU MARCHE... 4 1.2. DUREE DU MARCHE... 4 1.3. REGLEMENTATION... 4 1.4. SECURITE... 5 1.5. ASTREINTE ET GESTION DES DEMANDES... 5 1.5.1. Du lundi au vendredi
Plus en détailBACCALAUREAT GENERAL MATHÉMATIQUES
BACCALAUREAT GENERAL FEVRIER 2014 MATHÉMATIQUES SERIE : ES Durée de l épreuve : 3 heures Coefficient : 5 (ES), 4 (L) 7(spe ES) Les calculatrices électroniques de poche sont autorisées, conformement à la
Plus en détailVotre succès notre spécialité!
V ccè pécé! C Cchg Fm Igé Rcm V ccè pécé! L p mbx mché. E MPS I C g démq p ff pé pf d chq c : p é. N Fc: EMPSI Cg éé céé 2010 P Bddd Bchb q pé p d 8 d md d p. I dévpp N cmp xgc d é d. N c pfm mé d q gg
Plus en détail6. Hachage. Accès aux données d'une table avec un temps constant Utilisation d'une fonction pour le calcul d'adresses
6. Hachage Accès aux données d'une table avec un temps constant Utilisation d'une fonction pour le calcul d'adresses PLAN Définition Fonctions de Hachage Méthodes de résolution de collisions Estimation
Plus en détailActivités numériques [13 Points]
N du candidat L emploi de la calculatrice est autorisé. Le soin, la qualité de la présentation entrent pour 2 points dans l appréciation des copies. Les résultats seront soulignés. La correction est disponible
Plus en détailSOGC Junior Members Committee. Online Elective Catalogue 2006 2007
SOGC Junior Members Committee Online Elective Catalogue 2006 2007 UPDATED MAY 2006 THIS DOCUMENT CAN ALSO BE FOUND AT: WWW.SOGC.ORG IN THE JUNIOR MEMBERS SECTION Online Elective Catalogue Page 1 of 18
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailRECAPITULATIF PLANS Pour quelle école?
V vz - 90 éèv, v ê céré cmm "p éc" V vz + 90 éèv, v ê céré cmm "gr éc" V ê éc prmr, z vr p : A D V ê éc cr, z vr p : F D V ê éc prmr, z vr p : B, C E V ê éc cr, z vr p : G, H I P gb, z vr p A P gb, z vr
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailJeux de caracte res et encodage (par Michel Michaud 2014)
Jeux de caracte res et encodage (par Michel Michaud 2014) Les ordinateurs ne traitent que des données numériques. En fait, les codages électriques qu'ils conservent en mémoire centrale ne représentent
Plus en détailExemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions
Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions HQ = He 1 He 2 He 3 He 4 HQ e 5 comme anneaux (avec centre Re 1 Re 2 Re 3 Re 4
Plus en détailPROGRAMME AEC COMPTABILITÉ FINANCIÈRE INFORMATISÉE
PROGRAMME AEC COMPTABILITÉ FINANCIÈRE INFORMATISÉE Numéro Liste de compétences - cours Introduction aux mathématiques comptables et financières Utiliser à des fins de gestion des méthodes statistiques
Plus en détailINFORMATIONS DIVERSES
Nom de l'adhérent : N d'adhérent :.. INFORMATIONS DIVERSES Rubrique Nom de la personne à contacter AD Date de début exercice N BA Date de fin exercice N BB Date d'arrêté provisoire BC DECLARATION RECTIFICATIVE
Plus en détailLes intermédiaires privés dans les finances royales espagnoles sous Philippe V et Ferdinand VI
Les intermédiaires privés dans les finances royales espagnoles sous Philippe V et Ferdinand VI Jean-Pierre Dedieu To cite this version: Jean-Pierre Dedieu. Les intermédiaires privés dans les finances royales
Plus en détail' ' ' ' ' ' ' ' ' !!!!!!!!!!! !!!!!
"#$%&$()*+*,-.#$*/,"&012"34)*54%6%789:8:;9?8> &)*+*,)#$*/,"&0B"/%#C*DE/ 1 "#$$%&(%)*+,-+..+ Esprits de Faubourg : C est la rentrée F%)*+*,-.#$*/,"&0*G$)H3,%#$I*+*3J)G9%#G+%#G,*KJ%/$)*/+JL%JM"J/C+*NI$4J#*D
Plus en détailLe seul ami de Batman
Le seul ami de Batman Avant de devenir un héros de cinéma en 1989, Batman est depuis plus de 50 ans un fameux personnage de bandes dessinées aux États-Unis. Il fut créé en mai 1939 dans les pages de Détective
Plus en détailProgrammation Par Contraintes
Programmation Par Contraintes Cours 2 - Arc-Consistance et autres amusettes David Savourey CNRS, École Polytechnique Séance 2 inspiré des cours de Philippe Baptiste, Ruslan Sadykov et de la thèse d Hadrien
Plus en détailSérie BS Réducteur compact roue et vis sans fin
Série BS Réducteur compact roue et vis sans fin Technique Jusqu à - 4kW / 315 Nm Réducteur roue et vis sans fin CBS-2.00FR1211 PRODUITS DE A GAMME S appliquant à de nombreux domaines comme l alimentaire,
Plus en détailCorrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
Plus en détailChapitre 4 : Le transistor Bipolaire
LEEA 3 ème A, C. TELLIER, 28.08.04 1 Chapitre 4 : Le transistor Bipolaire 1. Structure et description du fonctionnement 1.1. Les transistors bipolaires 1.2 Le transistor NPN Structure intégrée d'un transistor
Plus en détailExercices de géométrie
Exercices de géométrie Stage olympique de Bois-le-Roi, avril 2006 Igor Kortchemski Exercices vus en cours Exercice 1. (IMO 2000) Soient Ω 1 et Ω 2 deux cercles qui se coupent en M et en N. Soit la tangente
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailUNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1
UNIVERSITE IBN ZOHR Faculté des sciences Agadir Filière SMA & SMI Semestre 1 Module : Algèbre 1 Année universitaire : 011-01 A. Redouani & E. Elqorachi 1 Contenu du Module : Chapitre 1 : Introduction Logique
Plus en détailBaccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé
Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e
Plus en détailManutentions manuelles Statistique nationale / Ile de France 1992
Unité d Ergonomie Faculté de Médecine Pitié-Salpêtrière 91, bd de l Hôpital 75 634 Paris cedex 13 www.ergonomie.chups.jussieu.fr DIPLÔME D ERGONOMIE ET DE PHYSIOLOGIE DU TRAVAIL option1 Ergonomie du travail
Plus en détailDérivées d ordres supérieurs. Application à l étude d extrema.
Chapitre 5 Dérivées d ordres supérieurs. Application à l étude d extrema. On s intéresse dans ce chapitre aux dérivées d ordre ou plus d une fonction de plusieurs variables. Comme pour une fonction d une
Plus en détailCours TD TP EC UE EC UE CC Mixte Introduction aux sciences de. 3 Environnement. 4 l'administration et de. Anglais 28 2
Semestre 1 Code UF1 UF UF Epistémologie et sciences de l'information Document administratif et trace Environnement informationnel & administratif UET1 transversale 1 optionnelle UEO1 optionnelle 1 Crédits
Plus en détailAnnée Universitaire 2013-2014. 1 ère année de Master Droit Mention Droit Privé 1 er semestre. 1 er SEMESTRE 8 matières CM TD COEFF ECTS.
Année Universitaire 201-2014 1 ère année de Master Droit Mention Droit Privé 1 er semestre 1 er SEMESTRE 8 matières CM TD COEFF ECTS Unité 1 1 TD obligatoire Droit civil (les Sûretés) Unité 2-1 TD au choix
Plus en détailDocumentation SecurBdF
Documentation SecurBdF SECURBDF V2 Protocole de sécurité de la Banque de France SecurBdF V2 DIRECTION DE L'INFORMATIQUE ET DES TÉLÉCOMMUNICATIONS Sommaire I 1 Contexte... 1 2 Références... 1 3 Cadre...
Plus en détailPremiers exercices d Algèbre. Anne-Marie Simon
Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,
Plus en détailLES DÉTERMINANTS DE MATRICES
LES DÉTERMINANTS DE MATRICES Sommaire Utilité... 1 1 Rappel Définition et composantes d'une matrice... 1 2 Le déterminant d'une matrice... 2 3 Calcul du déterminant pour une matrice... 2 4 Exercice...
Plus en détailAC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =
LE NOMBRE D OR Présentation et calcul du nombre d or Euclide avait trouvé un moyen de partager en deu un segment selon en «etrême et moyenne raison» Soit un segment [AB]. Le partage d Euclide consiste
Plus en détailProblèmes sur le chapitre 5
Problèmes sur le chapitre 5 (Version du 13 janvier 2015 (10h38)) 501 Le calcul des réactions d appui dans les problèmes schématisés ci-dessous est-il possible par les équations de la statique Si oui, écrire
Plus en détailTENDANCES TENDANCES EMBALLAGES MASTER CLASS PARFUMS D ORSAY PARIS. Marie HUET Directrice Générale General Director
E Juin 2015 EMBALLAGES Les actualités techniques et pratiques de l emballage imprimé [papier-carton, design et packaging] ARRÊT SUR IMAGE / DUOMEDIA LAISSEZ PARLER LES SACS PAPIER LET SPEAK PAPER BAG CHRONIQUE
Plus en détailLe théorème de Thalès et sa réciproque
Le théorème de Thalès et sa réciproque I) Agrandissement et Réduction d une figure 1) Définition : Lorsque toutes les longueurs d une figure F sont multipliées par un même nombre k on obtient une autre
Plus en détail= constante et cette constante est a.
Le problème Lorsqu on sait que f(x 1 ) = y 1 et que f(x 2 ) = y 2, comment trouver l expression de f(x 1 )? On sait qu une fonction affine a une expression de la forme f(x) = ax + b, le problème est donc
Plus en détailPeut-on perdre sa dignité?
Peut-on perdre sa dignité? Eric Delassus To cite this version: Eric Delassus. Peut-on perdre sa dignité?. 2013. HAL Id: hal-00796705 https://hal.archives-ouvertes.fr/hal-00796705 Submitted
Plus en détailDiane-Gabrielle Tremblay (Dir.) Maryse Larivière
Travailler plus longtemps!? L aménagement des fins de carrière en Belgique et au Québec Note de recherche no 2009-1 De l ARUC (Alliances de recherche universités-communautés) Sur la gestion des âges et
Plus en détail! " # $%& )* + ) %*,%* $-.* %% / + 0123445*6- % 3445 ) + ) % %7* * )+ %) % # * 7 % ). " %%+ 7 ) 2 * ) 879%: 0!'* *';< $: ();<
olivier.salaun cru.fr!" florent.guilleux cru.fr #$% & ' '( pascal.aubry univ-rennes1.fr! " # $%& )* + ) %*,%* $-.* %% / + 01344*6- % 344 ) + ) % %7* * )+ %) % # * 7 % ). " %%+ 7 ) * ) 879%: 0!'* *';< $:
Plus en détailE-REPUTATION ET IDENTITE
E-REPUTATION ET IDENTITE NUMERIQUE DES ORGANISATION Typologie des menaces et identification des modes de traitement applicables La gestion de l'identité numérique, appelée également e-réputation, constitue
Plus en détailDéveloppement de lois et de structures de réglages destinées à la téléopération avec retour d effort
Développement de lois et de structures de réglages destinées à la téléopération avec retour d effort Thomas Delwiche, Laurent Catoire et Michel Kinnaert Faculté des Sciences Appliquées Service d Automatique
Plus en détailFIMA, 7 juillet 2005
F. Corset 1 S. 2 1 LabSAD Université Pierre Mendes France 2 Département de Mathématiques Université de Franche-Comté FIMA, 7 juillet 2005 Plan de l exposé plus court chemin Origine du problème Modélisation
Plus en détail! " # $ #% &!" # $ %"& ' ' $ (
!" #$%"& ! "#$#% &!" #$%"& ' '$( SOMMAIRE INTRODUCTION... 4 METHODE... 4 TAUX DE REPONSES ET VALIDITE DES POURCENTAGES... 4 RESULTATS... 6 I. Qui sont les étudiants ayant répondu?... 6 1.1. Répartition
Plus en détailIntroduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique
Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique Contenu Introduction Modélisation Problèmes de satisfaction des contraintes Exemples des modèles PPC simples
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailParticipation étudiante
Association Générale des Etudiants de Paris - AGEP Association à but non lucratif de loi 1901 Siège social : AGEP c/o Centre Universitaire des Saints-Pères 45, rue des Saints-Pères 75006 Paris www.ageparis.com
Plus en détailDevoir 2 avec une figure en annexe, à renvoyer complétée. Corrigés d exercices sections 3 à 6. Liste des exos recommandés :
LM323 Envoi 2 2009-2010 Contenu de cet envoi Devoir 2 avec une figure en annexe, à renvoyer complétée. Corrigé du devoir 1. Un exercice de révision sur le chapître 1. Exercices sur l inversion. Corrigés
Plus en détailJournées Télécom-UPS «Le numérique pour tous» David A. Madore. david.madore@enst.fr. 29 mai 2015
et et Journées Télécom-UPS «Le numérique pour tous» David A. Madore Télécom ParisTech david.madore@enst.fr 29 mai 2015 1/31 et 2/31 : définition Un réseau de R m est un sous-groupe (additif) discret L
Plus en détailCONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE
CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE Jean Luc Bovet, Auvernier L'article de Monsieur Jean Piquerez (Bulletin de la SSPMP No 86), consacré aux symédianes me paraît appeler une généralisation. En
Plus en détailUE Programmation Impérative Licence 2ème Année 2014 2015
UE Programmation Impérative Licence 2 ème Année 2014 2015 Informations pratiques Équipe Pédagogique Florence Cloppet Neilze Dorta Nicolas Loménie prenom.nom@mi.parisdescartes.fr 2 Programmation Impérative
Plus en détailLe son [v] Découpe et colle les images dans la bonne colonne. Prénom : Date : J entends [vi] J entends [va] J entends [vo]
Le son [v] Découpe et colle les images dans la bonne colonne. J entends [va] J entends [vo] J entends [vi] J entends [vu] J entends [von] Je n entends pas [v] Le son [v] Ecris O (oui) si tu entends le
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détail1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation
Master STIC «Image Informatique et Ingénierie» Module Informatique Modèles de représentation - 10h CM Nadine Cullot Kokou Yétongnon nadine.cullot@u-bourgogne.fr kokou.yetongnon@u-bourgogne.fr 1ère partie
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailChapitre 4 : Exclusion mutuelle
Chapitre 4 : Exclusion mutuelle Pierre Gançarski Juillet 2004 Ce support de cours comporte un certain nombre d erreurs : je décline toute responsabilité quant à leurs conséquences sur le déroulement des
Plus en détailPrésentation Bpifrance Prêt Numérique Juin 2015
Présentation Bpifrance Prêt Numérique Juin 2015 01. Qui nous sommes NÉ EN 2013 Du besoin de simplifier l accès au financement pour les PME, d apporter des réponses globales à leurs besoins financiers,
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailPort de Saint Laurent du Var - Barème des redevances Année 2013 1/10
Port de Saint Laurent du Var - Barème des redevances Année 2013 1/10 ANNEXE AU CAHIER DES CHARGES DE LA CONCESSION OCTROYEE AU YACHT CLUB INTERNATIONAL DE SAINT LAURENT DU VAR POUR L ETABLISSEMENT ET L
Plus en détailTD 2 Chapitre 4 : Support des Services et Serveurs. Objectifs : Maîtriser l'exploitation des tables de routage dynamique.
SI 5 BTS Services Informatiques aux Organisations 1 ère année TD 2 Chapitre 4 : Support des Services et Serveurs Le routage dynamique Objectifs : Maîtriser l'exploitation des tables de routage dynamique.
Plus en détailSujet 4: Programmation stochastique propriétés de fonction de recours
Sujet 4: Programmation stochastique propriétés de fonction de recours MSE3313: Optimisation Stochastiqe Andrew J. Miller Dernière mise au jour: October 19, 2011 Dans ce sujet... 1 Propriétés de la fonction
Plus en détailCryptographie et fonctions à sens unique
Cryptographie et fonctions à sens unique Pierre Rouchon Centre Automatique et Systèmes Mines ParisTech pierre.rouchon@mines-paristech.fr Octobre 2012 P.Rouchon (Mines ParisTech) Cryptographie et fonctions
Plus en détail«Trop de chats en refuge : Aidons-les!»
q io iific bo ch Mlic g f! l o h c To i? co cio collboio vc Pl 5899 ch 7398 ch y éé boé C l ob félié qi, chq jo, o cibl joi fg Blgiq! 4641 ch l o l chc ov i à l g l fg fill i foy ê à l hx! C qlq chiff
Plus en détailMicrosoft Excel : tables de données
UNIVERSITE DE LA SORBONNE NOUVELLE - PARIS 3 Année universitaire 2000-2001 2ème SESSION SLMD2 Informatique Les explications sur la réalisation des exercices seront fournies sous forme de fichiers informatiques.
Plus en détailGUIDE DE PRISE EN MAIN ISIS PROTEUS V7
GUIDE DE PRISE EN MAIN ISIS PROTEUS V7 1. Lancement d'isis PROTEUS V7:...2 2. Configuration de l'application d'isis PROTEUS V7:...3 3. Présentation de l'interface d'isis PROTEUS V7:...4 a) Barre de menus:...4
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailQuelques algorithmes simples dont l analyse n est pas si simple
Quelques algorithmes simples dont l analyse n est pas si simple Michel Habib habib@liafa.jussieu.fr http://www.liafa.jussieu.fr/~habib Algorithmique Avancée M1 Bioinformatique, Octobre 2008 Plan Histoire
Plus en détailLes joints Standards COMPOSANTS LEANTEK ET UTILISATIONS. Tous nos joints standards sont disponibles en version ESD. Vis de fixation : S1-S4
COMPOSANTS LEANTEK ET UTILISATIONS Les joints Standards F-A Joint pour liaison à 90 F-A se combine avec F-B, F-A et F-C 51 mm 51 mm 90 F-B Joint d angle à 90 Il se combine à un autre F-B ou à 2 F-A. 47
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailProjet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai.
Projet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai. 1 Introduction On considère une grille de 20 lignes 20 colonnes. Une case de la grille peut être vide, ou contenir une et une
Plus en détailCHAPITRE 2 : Structure électronique des molécules
CHAPITRE 2 : Structure électronique des molécules I. La liaison covalente 1) Formation d une liaison covalente Les molécules sont des assemblages d atomes liés par des liaisons chimiques résultant d interactions
Plus en détailQuatrième partie IV. Test. Test 15 février 2008 1 / 71
Quatrième partie IV Test Test 15 février 2008 1 / 71 Outline Introduction 1 Introduction 2 Analyse statique 3 Test dynamique Test fonctionnel et structurel Test structurel Test fonctionnel 4 Conclusion
Plus en détailLES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN
LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas
Plus en détailDurée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point
03 Mai 2013 Collège Oasis Durée de L épreuve : 2 heures. apple Le sujet comporte 4 pages et est présenté en livret ; apple La calculatrice est autorisée ; apple 4 points sont attribués à la qualité de
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détail1 Première section: La construction générale
AMALGAMATIONS DE CLASSES DE SOUS-GROUPES D UN GROUPE ABÉLIEN. SOUS-GROUPES ESSENTIEL-PURS. Călugăreanu Grigore comunicare prezentată la Conferinţa de grupuri abeliene şi module de la Padova, iunie 1994
Plus en détailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailL évaluation des enseignements par les étudiant- e- s analysée sous l angle du genre
Projet E- QUAL + L évaluation des enseignements par les étudiant- e- s analysée sous l angle du genre Synthèse d une étude statistique exploratoire Centre de didactique Universitaire Université de Fribourg
Plus en détailProblème 1 : applications du plan affine
Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées
Plus en détailInfrastructure à Clé Publique (PKI Public Key Infrastructure)
Infrastructure à Clé Publique (PKI Public Key Infrastructure) Didier DONSEZ Université Joseph Fourier IMA IMAG/LSR/ADELE Didier.Donsez@imag.fr 2 Rappel sur la certification Besion de confiance sur ce que
Plus en détailOuverture d un pavillon médical : Mesures mises en œuvre pour la mise en eau et suivi bactériologique
Ouverture d un pavillon médical : Mesures mises en œuvre pour la mise en eau et suivi bactériologique Congrès de la SF2H - 9 Juin 2011 S. Coudrais Biohygiéniste Unité d Hygiène et Epidémiologie - Groupement
Plus en détailCréer le schéma relationnel d une base de données ACCESS
Utilisation du SGBD ACCESS Polycopié réalisé par Chihab Hanachi et Jean-Marc Thévenin Créer le schéma relationnel d une base de données ACCESS GENERALITES SUR ACCESS... 1 A PROPOS DE L UTILISATION D ACCESS...
Plus en détail