3.4.2 Prédicats. Arbres / Prédicats 3 RÉSOLUTIONS D EXERCICES Aa (Ba Ca) Ab Cb. Ab Bb Cb 10
|
|
- Frédéric Chabot
- il y a 5 ans
- Total affichages :
Transcription
1 Arbres / Prédicats Prédicats Toutes les applications ne seront pas résolues. Seront présentés uniquement les eercices depuis 1996 comportant deu ou plusieurs spécifications d eistentielles! Ces résolutions essaient d être les plus simples possibles, ce qui eplique que parfois on commencera par b au lieu de a qui ne fermerait pas. Nous allons nous en tenir au «modus operandi» utilisé pour les eercices commentés en suivant les trois étapes de la transformation, modélisation et vérification. En pratique on peut très bien raccourcir la démarche (p.e. lorsqu on remarque que certaines prémisses n auront pas besoin d être modélisées parce qu elles sont contradictoires). PMA 19 * ( ) [ A (B C)] 5 * ( ) [A B] 3 ( ) [ A B] ( ) [ A C] * ( ) [ A C ] 6 * ( ) [ A B ] 4 7 ( ) ( )
2 3 Arbres / Prédicats PMA 21 * ( ) [B C] 3 * ( ) [( A D ) B ] 7 ( ) A ( ) B ( )D * ( )D 6 * ( ) A 5 ( ) B Da Da Db ( Da ) 9 ( Da ) 9 ( Db ) Da 0 Da 0 Da Da
3 Arbres / Prédicats 3 PMA 23 * ( ) [A] 5 ( ) [A] ( ) B * ( ) [ B (C D)] 7 ( ) [ C D] * ( ) [ C D] 6 ( )A 3 ( ) B 4 * ( ) A 8 ( ) B 9 Db Db ( Da) ( Da) ( Db) ( Db) 0 Db
4 3 Arbres / Prédicats PMA 24 * ( ) [ D B] 5 ( ) B ( ) [ C D] * ( ) [ B D C ] 6 * ( ) [D C] 7 * ( ) B 3 ( ) [ C D] * ( ) [ C D ] 4 Db 8 Da Db 9 Da Db 0 Da Db Db Db Db Db 2 Db
5 Arbres / Prédicats 3 PMA 26 ( ) [A B] ( ) C 3 ( )B ( ) A C [ ] * ( )B 7 * ( ) [ A C ] 5 * ( ) [A B] 8 ( ) C 4 * ( ) C Toutes les branches ne sont pas clôturées, le raisonnement n est pas valide
6 3 Arbres / Prédicats PMA 29 ( ) [A C ] ( ) [C D] * ( ) [D A] 7 * ( ) A 5 ( )C ( )D * ( ) [A C ] 8 * ( ) [C D] 6 ( ) C 3 ( )D 4 * ( ) C 9 * ( ) D 0 Db Da Db Da Db
7 Arbres / Prédicats 3 PMA 30 * ( ) [ A D ] * ( ) [(A B) C] 4 * ( ) [B C E ] 5 * ( ) [ C E ] 3 * ( ) [B F] 6 ( ) [ E D] * ( ) [ E D ] 7 Da Eb ( ) ( ) Ea 8 Eb 0 Fa Fb Ea Da Eb Db Eb 9 Fb Eb Eb
8 3 Arbres / Prédicats PMA 31 ( ) [A B] ( ) C * ( ) [D A] 3 * ( ) E 4 * Da * Ea 7 * ( ) [ A B] ( ) C 5 * ( ) [ A B] 6 Db 8 Db Ec Ec 9 Ac Bc Cc Ea Ea Db
9 Arbres / Prédicats 3 PMA 32 * ( ) [A B] 6 [( )A ( )B] [( )B ( )A] ( )A ( )B ( )B ( ) A 3 * ( ) A 8 ( ) B 7 ( )B 4 ( ) A 5 * ( )B 9 ( ) A Toutes les branches ne sont pas clôturées, le raisonnement n est pas valide
10 3 Arbres / Prédicats PMA 34 * ( ) [R (P Q )] 3 * ( ) [(S R) Q] 5 ( ) [ R Q S] ( ) [(P S) Q] * ( ) [( P S) Q ] 4 * ( ) [ R Q S ] 6 Ra (Pa Qa ) ( Pb Sb) Qb 7 (Sa Ra) Qa (Sb Rb) Qb 0 Ra Qa Sa Rb Qb Sb 9 Pb Sb Qb 8 Pb Sb Rb Qb Sb Sb Rb 1 Qb Sb Rb
11 Arbres / Prédicats 3 PMA 37 * ( ) [ A C ] 5 ( ) [ E A ] ( ) C * ( ) [E ( C A )] 6 ( ) A E [ ] * ( ) [A E] 7 * ( ) [ E A ] 3 * ( ) C 4 Ea 8 1 Ea ( ) 9 Eb ( ) Ea Eb Ea Ea
12 3 Arbres / Prédicats PMA 38 * ( ) [ C A] ( )(A C) * ( ) [(A C ) B] 4 * ( ) [A B ] 5 * ( ) [ A C ] 3 ( ) ( )
13 Arbres / Prédicats 3 PMA 41 * ( ) [ A B C ] 7 ( ) A ( ) [ C B] * ( ) [ B A ] 6 * ( ) [B C] 5 * ( ) A 3 ( ) [ C B] * ( ) [ C B ] le raisonnement est valide et l on remarquera la similitude avec PMA
14 3 Arbres / Prédicats PMA 42 ( )P ( ) [ Q R] * ( ) [ Q S] 3 * ( ) [R (R Q)] 5 * Sa ( )P * ( ) [P] * ( ) P ( ) [Q R] 4 Qb Sb 6 Qc Rc 7 Ra (Ra Qa) Rb (Rb Qb) Rc (Rc Qc) 8 Qb Sb Qc Rc Rc Rc Qc 9 Rc Qc
Les 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É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é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étailDe la mesure à l analyse des risques
De la mesure à l analyse des risques Séminaire ISFA - B&W Deloitte Jean-Paul LAURENT Professeur à l'isfa, Université Claude Bernard Lyon 1 laurent.jeanpaul@free.fr http://laurent.jeanpaul.free.fr/ 0 De
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étail3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements
3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements Développer une expression consiste à transformer un produit en une somme Qu est-ce qu une somme? Qu est-ce qu un produit?
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étailDe la mesure à l analyse des risques
De la mesure à l analyse des risques Séminaire FFA Jean-Paul LAURENT Professeur à l'isfa jean-paul.laurent@univ-lyon1.fr http://laurent.jeanpaul.free.fr/ 0 De la la mesure à l analyse des risques! Intégrer
Plus en détailTITRE 3 ÉPREUVES SUR PISTE
(version au 1.10.13) TITRE 3 ÉPREUVES SUR PISTE SOMMAIRE Page Chapitre I ORGANISATION 1 Chapitre II ÉPREUVES SUR PISTE 2 1 Généralités 2 2 200 mètres contre la montre 5 3 Vitesse 6 4 Poursuite individuelle
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étailFASCICULE DES BILANS ET COMPTES DE RESULTAT DES INSTITUTIONS DE MICROFINANCE DU SENEGAL
REPUBLIQUE DU SENEGAL Un Peuple Un But Une Foi ---------------- MINISTERE DE L ECONOMIE ET DES FINANCES ------------- DIRECTION DE LA REGLEMENTATION ET DE LA SUPERVISION DES SYSTEMES FINANCIERS DECENTRALISES
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é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étailSur www.impots.gouv.fr : le délai dépend du numéro du département dans lequel vous habitez.
Bulletin Internet 6 mai 2013 Comme chaque année, vous devez souscrire la déclaration d'ensemble des revenus, n 2042 et la déclaration n 2042 complémentaire. Deux déclarations complémentaires sont prévues
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étailLa santé de votre entreprise mérite notre protection.
mutuelle mclr La santé de votre entreprise mérite notre protection. www.mclr.fr Qui sommes-nous? En tant que mutuelle régionale, nous partageons avec vous un certain nombre de valeurs liées à la taille
Plus en détailQuestionnaire Profil de risque
Questionnaire Profil de risque L'objectif de ce questionnaire est double. Il nous permet d'une part d'évaluer votre niveau de connaissance et d'expérience des marchés financiers. Il nous aide d'autre part
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étailVMware ESX : Installation. Hervé Chaudret RSI - Délégation Centre Poitou-Charentes
VMware ESX : Installation VMware ESX : Installation Créer la Licence ESX 3.0.1 Installation ESX 3.0.1 Outil de management Virtual Infrastructure client 2.0.1 Installation Fonctionnalités Installation Virtual
Plus en détailNOMENCLATURE D EXÉCUTION LOI DE FINANCES POUR GUIDE D UTILISATION. Version provisoire
R É P U B L I Q U E F R A N Ç A I S E NOMENCLATURE D EXÉCUTION LOI DE FINANCES POUR 2011 GUIDE D UTILISATION Version provisoire NOTE INTRODUCTIVE La nomenclature d exécution pour l année 2011 (les «blancs»),
Plus en détailBac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
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étailConception et construction des ouvrages gaz. Club de la Performance Immobilière
Conception et construction des ouvrages gaz Club de la Performance Immobilière Novembre 2014 RT2012 et arrêté 2 Aout 77 Arrêté du 26 octobre 2010 relatif aux caractéristiques thermiques et aux exigences
Plus en détailCorrection : E = Soit E = -1,6. F = 12 Soit F = -6 3 + 45. y = 11. et G = -2z + 4y G = 2 6 = 3 G = G = -2 5 + 4 11
Correction : EXERCICE : Calculer en indiquant les étapes: (-6 +9) ( ) ( ) B = -4 (-) (-8) B = - 8 (+ 6) B = - 8 6 B = - 44 EXERCICE : La visite médicale Calcul de la part des élèves rencontrés lundi et
Plus en détailAccueil Events, l accueil personnalisé des touristes d affaires Informations, bonnes adresses, réservations et découvertes!
Lyon City Card 1 jour 2 jours 3 jours Ta xis et M inibus - Tarifs forfaitaires Jour : 7h - 19h Nuit : 19h - 7h Lyon/ Villeurbanne - Aéroport St Exupéry 59 81 Lyon 5ème et 9ème excentrés - Aéroport St Exupéry
Plus en détailBougez, protégez votre liberté!
> F a Bgz, pégz v bé! www.a-. CAT.ELB.a240215 - Cé ph : Fa Daz à v p aé N az p a v gâh a v! Aj h, p g évq v ; Pa, p 4 aça q, v, éq qaé v. Ca ax é ç, b pa évé ax p âgé a h a p j. E pè v, h pa épagé. Pa
Plus en détail#"$&'$+*" (" ),'-"."'($ %($
"#$%&' #(%)*"" (#%*!"!#$"! -!"!#$"!! -!"!#$"!./% -!"!#$"! #"$&'$+*" (" ),'-"."'($ %($ % & % '!#(! "! $#) #!* +,!(")"",#./ & 0!,$#!1!"!#1 $#!* ** +" + 1! 0! $!,#!,! $,! 2! $3! 1! $ 1+4!"$"#)1,##" 56./78#!
Plus en détailManipulations du laboratoire
Manipulations du laboratoire 1 Matériel Les manipulations de ce laboratoire sont réalisées sur une carte électronique comprenant un compteur 4-bit asynchrone (74LS93) avec possibilité de déclenchement
Plus en détailCloisons de distribution Caroplatre
04 Cloisons de distribution en carreaux de plâtre Cloisons de distribution Caroplatre Description Les carreaux de plâtre Caroplatre sont des éléments en plâtre 100% naturel fabriqués en usine. Leur coloration
Plus en détailBARÈME DE FACTURATION TOURISME ÉTÉ SUV 4X4 UTILITAIRES
pirelli.fr BARÈME DE FACTURATION TOURISME ÉTÉ SUV 4X4 UTILITAIRES 2015 A DU 01-01-2015 SANS MAITRISE, LA PUISSANCE N EST RIEN La technologie conçue avec les meilleurs constructeurs automobile pour sublimer
Plus en détailGuide méthodologique Utilisation de l état de contrôle de la participation aux bénéfices C22
Guide méthodologique Utilisation de l état de contrôle de la participation aux bénéfices C22 Les montants sont exprimés en milliers d euros et arrondis au millier d euros le plus proche. I. Utilisation
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étailBUSINESS INTELLIGENCE
BUSINESS SYSTÈME D INFORMATION DÉCISIONNEL CENTRE DE RESSOURCES INFORMATIQUES PÔLE INFORMATIQUE DE GESTION & SI DÉFINITION L INFORMATIQUE DÉCISIONNELLE DÉSIGNE L ENSEMBLE DES TECHNOLOGIES UTILISÉES DANS
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étailRéunion préparatoire à l Assemblée générale de la CARMF. 16 septembre 2010
Collège des retraités Réunion préparatoire à l Assemblée générale de la CARMF 16 septembre 2010 C Poulain 08 2010 1 Allocations 2010 Allocations 2010 tous régimes confondus : C Poulain 08 2010 2 Allocations
Plus en détailGéométrie dans l espace
Géométrie dans l espace Mabrouk Brahim Université Virtuelle de Tunis 2007 Ce cours a pour objet la présentation des différents concepts de la géométrie de l espace comme une continuation de ceux vus en
Plus en détailM2 20.00% 6.09 UN 20.00% 13.40 M 20.00% 10.11 M 20.00% 31.69 M 20.00% 21.79 M2 20.00% 95.51 UN 20.00% 222.62 UN 20.00% 292.91 UN 20.00% 444.
ou n identification fiscal pays hors CEE Aménagement de stand l Décoration DS01 Fourniture et pose de moquette type tapis aiguilleté (norme M3) M2 20.00% 6.09 DS02 Pose de tenture murale norme M1 M2 20.00%
Plus en détailLes Réunions d information aux associations
REUNION D INFORMATION AUX ASSOCIATIONS Les Réunions d information aux associations du 1 er au 16 octobre 2014 Direction Générale Adjointe du Cadre de Vie 1 Programme Les nouveautés Le projet associatif
Plus en détailRegard financier sur les petites villes (3 000 à 20 000 habitants) Juin 2014
( 20 000 habitants) Juin 2014 Sommaire Les petites en France 3 Les volumes d intervention 4 Les principales ressources courantes 5-6 L épargne brute 7 Les dépenses d investissement 8 L encours de dette
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étailsommaire Introduction Fiches des 41 soldats disparus Le devoir de mémoire lettre à la mère de Maurice Quemin Glossaire / Sources
a I 4 F 41 a a L L é à a è Ma Q Ga / S 5 46 51 53 55 2 La Ga G a é a a XX è è, a, a aa. E a é a. D a, ï, aa. L a éé a a a a a. N a a é a a a a Ga G, a a aé a a a, a. é E a a, a ê aé a a é, a aé a. A, a-à
Plus en détail135, rue de Montreuil 75011 Paris France )*+. : 00331-43.79.16.31 0033-612.15.29.67 (,-..) e-mail :!"!#$%&'("'$)*+#!"%,'+ %&'(/0%
!"#$% &'("'% 135, rue de Montreuil 75011 Paris France )*+. : 00331-43.79.16.31 0033-612.15.29.67 (,-..) e-mail :!"!#$%&'("'$)*+#!"%,'+ %&'(/0% 0-,12)-,34,1- /-1,526*)-,34 738.94 : %85+: ;1,1+
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailld. les salariés. !c. qui s'occupe des relations avec le gouvernement. lb. repose sur le principe de décentralisation. !c. le dirigeant.
Prière cocher la bonne réponse L. Le gouvernement d'entreprise permet de contrôler : na. le gouvernement. Eb. les parties prenantes.!c. le dirigeant. ld. les salariés. 2. Dans la théorie de l'agence,le
Plus en détail100 % gratuit. inédit. www.bimedia.com.fr
é z s r séc abac 100 % gra b é a r f sps a grâc à www.bma.cm.fr l p m c f s l c x f! U sps p r c r a s VwM, l acr a sr l marché la ésrllac, a éé sélcé par Bma pr pmsr mps rél la sécré r p. Grâc à la chlg
Plus en détailETUDE : LE SYSTEME DE COLLECTE, D EXPLOITATION ET DE RESTITUTION AUX BANQUES DES ETATS REGLEMENTAIRES (CERBER)
ETUDE : LE SYSTEME DE COLLECTE, D EXPLOITATION ET DE RESTITUTION AUX BANQUES DES ETATS REGLEMENTAIRES (CERBER) Rapport d activité 1999/2000 67 Dès sa création, la Commission Bancaire de l Afrique Centrale
Plus en détailA009 Maîtrise des enregistrements
28.11.2014 Version 11 Page 1 de 8 A009 Maîtrise des enregistrements Modifications : pages 2, 5 South Lane Tower I 1, avenue du Swing L-4367 Belvau Tél.: (+352) 2477 4360 Fa: (+352) 2479 4360 olas@ilnas.etat.lu
Plus en détailCartographie des solutions BigData
Cartographie des solutions BigData Panorama du marché et prospective 1 1 Solutions BigData Défi(s) pour les fournisseurs Quel marché Architectures Acteurs commerciaux Solutions alternatives 2 2 Quels Défis?
Plus en détailCHAPITRE IX. Modèle de Thévenin & modèle de Norton. Les exercices EXERCICE N 1 R 1 R 2
CHPITRE IX Modèle de Thévenin & modèle de Norton Les exercices EXERCICE N 1 R 3 E = 12V R 1 = 500Ω R 2 = 1kΩ R 3 = 1kΩ R C = 1kΩ E R 1 R 2 U I C R C 0V a. Dessiner le générateur de Thévenin vu entre les
Plus en détailPaies Sage Logiciels et contrats
Paies Sage Logiciels et contrats invitons à consulter les pages Promotions dans votre Espace Revendeurs. Ce tarif n'est valable que sous réserve de l'acceptation par le revendeur des Conditions Générales
Plus en détailOSEO EXCELLENCE SONDAGE JUILLET 2011. Thème : CONJONCTURE ECONOMIQUE EXTENSION & REBRANDING OSEO CAPITAL PME ECONOMIE : FRANCE ALLEMAGNE
OSEO EXCELLENCE SONDAGE JUILLET 2011 BERTRAND ROZE COMMUNITY MANAGER OSEO EXCELLENCE Thème : CONJONCTURE ECONOMIQUE EXTENSION & REBRANDING OSEO CAPITAL PME ECONOMIE : FRANCE ALLEMAGNE Antoine COULOMBEAUX
Plus en détailCommerce de detail (avec ou sans fabrication) de pain, patisserie, confiserie et chocolats
risque accident du travail pour données 2014 Rubrique S40.G25.00.026 Table incluant les codes fournis par Caisse Nationale d Assurance Maladie (CNAM) s supprimés par rapport à 2013 : 050AA 111ZA 154AC
Plus en détailFiltres passe-bas. On utilise les filtres passe-bas pour réduire l amplitude des composantes de fréquences supérieures à la celle de la coupure.
Filtres passe-bas Ce court document expose les principes des filtres passe-bas, leurs caractéristiques en fréquence et leurs principales topologies. Les éléments de contenu sont : Définition du filtre
Plus en détaildans les médicamentsm
Les impuretés s génotoxiquesg dans les médicamentsm D. Marzin Institut Pasteur de Lille Université lille2 Société Française de Toxicologie 25-26 0ctobre 2007 Le guideline L affaire Viracept (mésylate de
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détailEntrées d'air hygroréglables
Entrées d'air hygroréglables Tableaux de sélection p. 22 1. Mise en œuvre en menuiserie 2. Mise en œuvre dans le bâti Entrée d air hygroréglable et acoustique de type p. 24 1. Description 2. Caractéristiques
Plus en détailCorrigé du baccalauréat S Pondichéry 12 avril 2007
Corrigé du baccalauréat S Pondichéry 1 avril 7 EXERCICE 1 Commun à tous les candidats 4 points 1 a Les vecteurs AB et AC ont pour coordonnées AB ; ; ) et AC 1 ; 4 ; 1) Ils ne sont manifestement pas colinéaires
Plus en détailFiche IP n 4 Les Techniques de Recherche d Emploi
Fiche IP n 4 Les Techniques de Recherche d Emploi !"##" %&'(" ) *+,- +./"'#&% 0" 1+,2 )&0"- 3 *-4*)-"- 1+#-" -"'("-'(" 05"6*7+&8 2)92 *+,- ),#)9#"9#-"-0)927"04#)&70"2+,#&72:!;8?,&%"-+9#75+./"#05,9"),#-"%&'(":@>AB+,#"
Plus en détailFINANCEMENT DES CEREALES AVEC AVAL DE FRANCEAGRIMER POUR LA CAMPAGNE 2014-2015
DECISION DU DIRECTEUR GENERAL DE FRANCEAGRIMER DIRECTION FILIERES ET INTERNATIONAL SERVICE ENTREPRISES ET MARCHES UNITE ENTREPRISES ET FILIERES 12, RUE ROL-TANGUY TSA 20002 93555 MONTREUIL SOUS BOIS CEDEX
Plus en détailThuraya XT-LITE Simple. Fiable. Abordable.
Thuraya XT-LITE Simple. Fiable. Abordable. www.thuraya.com Suivez-nous sur /thurayatelecom Restez Proche Le téléphone satellitaire ayant l'un des meilleurs rapports qualité-prix au monde Il n'a jamais
Plus en détailQUESTION 1 {2 points}
ELE4301 Systèmes logiques II Page 1 de 8 QUESTION 1 {2 points} En se servant de paramètres électriques donnés dans le Tableau 1 ci-dessous, on désire déterminer la fréquence d opération du compteur présenté
Plus en détailEXERCICES DE REVISIONS MATHEMATIQUES CM2
EXERCICES DE REVISIONS MATHEMATIQUES CM2 NOMBRES ET CALCUL Exercices FRACTIONS Nommer les fractions simples et décimales en utilisant le vocabulaire : 3 R1 demi, tiers, quart, dixième, centième. Utiliser
Plus en détailBP/BL 150 à 500, B 650 à 1000
BP/BL à, B 6 à PRÉPARATEURS D EAU CHAUDE SANITAIRE INDÉPENDANTS BP Préparateurs ecs indépendants Performance, capacité de à litres BL Préparateurs ecs indépendants, capacité de à litres B Préparateurs
Plus en détailTarif du 13/10/2011. Paie Sage
Paie Sage IMPORTANT Les tarifs proposés n intègrent pas les promotions. Cependant, si une promotion est en cours sur un article, celle-ci est signalée (avec les dates de début et de fin d opération). Pour
Plus en détailCAISSE ENREGISTREUSE ELECTRONIQUE SE-G1
AISSE ENREGISTREUSE ELETRONIQUE SE-G PROGRAMMATION SIMPLIFIEE 20/0/204 SOMMAIRE PROGRAMMATION SIMPLIFIEE.... Introduction... 2. Programmation... 4 Initialisation de la caisse :... 4 Programmation de base
Plus en détailGestion et surveillance de réseaux. Préparé par Alberto Escudero Pascual/ IT +46 <aep@it46.se>
Gestion et surveillance de réseaux Préparé par Alberto Escudero Pascual/ IT +46 But Nous devons savoir ce que nous voulons pour savoir ce dont nous avons besoin Esty ce que la gestion et
Plus en détailDépartement Informatique
Département Informatique Formation d'ingénieur en informatique par apprentissage Ingénieur diplômé de l UTBM Spécialité «INFORMATIQUE» Filière «Ingénierie des Systèmes d Information» Nouvelle voie d accès
Plus en détailContraintes, particularités. 1. Généralités... 2. 2. Gestion de la mémoire... 2. a. Type des variables et constantes... 2
C Embarque Contraintes, particularités 1. Généralités... 2 2. Gestion de la mémoire... 2 a. Type des variables et constantes.... 2 b. Variables locales ou globales... 3 3. Interruptions... 5 4. Imposer
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étailCOORDINATION NON COOPÉRATIVE: MÉTHODES D ENCHÈRES
COORDINATION NON COOPÉRATIVE: MÉTHODES D ENCHÈRES Cours 6c Principe Protocole centralisé, un commissaire-priseur/vendeur (auctioneer) et plusieurs enchérisseurs/acheteurs (bidders) Le commissaire-priseur
Plus en détailIndépendance Probabilité conditionnelle. Chapitre 3 Événements indépendants et Probabilités conditionnelles
Chapitre 3 Événements indépendants et Probabilités conditionnelles Indépendance Indépendance Probabilité conditionnelle Definition Deux événements A et B sont dits indépendants si P(A B) = P(A).P(B) Attention
Plus en détailFiche tarifs Volkswagen Lifestyle.
2012 Fiche tarifs Volkswagen Lifestyle. COCCINELLE Skateboard "Faster Baby" Coccinelle 5C0050530 041 105 Skateboard "Carreaux " Coccinelle 5C0050530A 084 105 Housse Coccinelle pour ipad 5C0087315A 041
Plus en détailCULTURE GÉNÉRALE Histoire de l Art (RC) Philosophie (FB)
RE ANNÉE SEMESTRE PRATIQUE ET INITIATION Dessin d observation et projet (FL [cd] + PC [a] + JMH [b]) Couleur / peinture (PC [cd] + AO [ab]) Espace / Volume (CLT [cd] + AT [ab]) Design (FC [ab] GG [cd])
Plus en détailJOURNEE et ETUDE & PERFECTIONNEMENT 1er, 2ème, 3ème et 4ème DEGRES
JOURNEE et ETUDE & PERFECTIONNEMENT 1er, 2ème, 3ème et 4ème DEGRES DATE LE DIMANCHE 09 NOVEMBRE 2014 LIEU CHOLET HORAIRES 09 heures - 12 heures CONTENU : 1 er et 2 e degré Chaque twirler devra se présenter
Plus en détailTarif du 13/10/2011. Sage CRM Solutions
Sage CRM Solutions IMPORTANT Les tarifs proposés n intègrent pas les promotions. Cependant, si une promotion est en cours sur un article, celle-ci est signalée (avec les dates de début et de fin d opération).
Plus en détailMacroéconomie. Catherine Fuss Banque Nationale de Belgique catherine.fuss@nbb.be
Macroéconomie Catherine Fuss Banque Nationale de Belgique catherine.fuss@nbb.be Macroéconomie Monnaie Fonction de la monnaie Moyen de paiement: troc incompatible avec une forte division du travail acceptation
Plus en détailPortrait de métier. sommaire du portrait de métier
Pôle métiers formation Portrait de métier Le métier de charé des relations avec le public Les portraits de métiers» sont une proposition du Pôle métiers formation de l Arcade. L atelier charé des relations
Plus en détailRappels et compléments, première partie : Nombres complexes et applications à la géométrie
Rappels et compléments, première partie : Nombres complexes et applications à la géométrie 1 Définition des nombres complexes On définit sur les couples de réels une loi d addition comme suit : (x; y)
Plus en détailToute modification de l accord de Participation doit faire l objet d un avenant à l accord initial conclu selon les mêmes modalités et d un dépôt à
La Participation Dispositif d épargne collectif obligatoire dans les entreprises de 50 salariés qui consiste à distribuer une partie des bénéfices annuels. 1 Champ d application La participation est obligatoire
Plus en détailDoublages thermo-acoustiques Placostil
01 Doublages sur ossature métallique Placostil Doublages thermo-acoustiques Placostil Description Les doublages Placostil renforcent les caractéristiques thermiques et acoustiques des parois auxquelles
Plus en détailThe Over-60 Research Unit UCSF 2007 adaptation en français en 2013
The Over-60 Research Unit UCSF 2007 adaptation en français en 2013 Adaptée par Amandine Capber Titulaire d'un Master 2 recherche, étudiante en Master 2 professionnel Neuropsychologie et Psychopathologie
Plus en détailJeu d instructions NIOS II
Jeu d instructions NIOS II 1 Formats d instructions Le processeur NIOS II a un jeu d instructions de type RISC. Il possède 32 registres de 32 bits, notés r0 à r31, avec r0 0. Les instructions sont de longueur
Plus en détail# $!%$!&$'(!(!()! $(! *)#%!"$'!+!%(!**&%',&-#.*!* /!01+'$*2333
!" # $!%$!&$'(!(!()! $(! *)#%!"$'!+!%(!**&%',&-#.*!* #$-*!%-!!*!%!#!+!%#'$ /!1+'$*2333 $!)! $(!*!" /4 5 $." 6 $-*(!% 6 '##$! $ 6 '##$! $ 6,'+%'! $ 6,'+%'! $ +!,'+%'! $ 65 %7- !""!# $ %! & '%! "!# (
Plus en détailChapitre 5 LE MODELE ENTITE - ASSOCIATION
Chapitre 5 LE MODELE ENTITE - ASSOCIATION 1 Introduction Conception d une base de données Domaine d application complexe : description abstraite des concepts indépendamment de leur implémentation sous
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étailTransducteurs d arbres et (peut-être un peu) apprentissage
Transducteurs d arbres et (peut-être un peu) apprentissage A. Lemay 2006 Taxonomie des transducteurs d arbres Syntax Directed translation (Irons 60) Attributed Tree Transducers (Knuth 68, Fülop 81) Rational
Plus en détailAccept er u n b o n c o n s e i l, sa propre performance. Goethe
Accept er u n b o n c o n s e i l, c e s t a c c ro î t re sa propre performance. Goethe Le Cabinet Laroze Patrimoine Conseils est un acteur indépendant du conseil et de la gestion de patrimoine, qui met
Plus en détail)*+,+(-,(-.//0,+( Introduction )-"""( 1!"!2( !"#$%&$'()*+,-.//01)2&)345)3-67.0) 89:(#&2;2'&)<=$'>?#;(&$@42) A(54B&9)<2%)%5$2'52%) ) ) )
)*+,+(-,(-.//0,+( Introduction )-"""( 1!"!2(!"#$%"&%#'(!"#$%&$'()*+,-.//01)2&)345)3-67.0) 89:(#&2;2'&)
Plus en détailAlgèbre binaire et Circuits logiques (2007-2008)
Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (27-28) Prof. Abdelhakim El Imrani Plan. Algèbre de Boole 2. Circuits
Plus en détailDIRECT ASSURANCE. Les femmes et la cyberconsommation. Etude Direct Assurance Juin 2012 - Focus sur les cyberconsommatrices.
Etude Direct Assurance Juin 2012 - Focus sur les cyberconsommatrices Juin 2012 DIRECT ASSURANCE Les femmes et la cyberconsommation Paris Toronto Shanghaï Buenos Aires Connection creates value Méthodologie
Plus en détailt 100. = 8 ; le pourcentage de réduction est : 8 % 1 t Le pourcentage d'évolution (appelé aussi taux d'évolution) est le nombre :
Terminale STSS 2 012 2 013 Pourcentages Synthèse 1) Définition : Calculer t % d'un nombre, c'est multiplier ce nombre par t 100. 2) Exemples de calcul : a) Calcul d un pourcentage : Un article coûtant
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étailLouez nos services en toute sérénité! Tarifs location professionnels. aeb-branger.fr
Louez nos services en toute sérénité! Tarifs location professionnels 2015 aeb-branger.fr Présent sur toute la région centre et le département de la Vienne 17 sites à votre écoute, 375 personnes à votre
Plus en détailÉCONOMIE. Financement des PME : les banques en première ligne 5 PAGES D OFFRES D EMPLOI. Supplément Étudiant
Supplément Étudiant LES ATOUTS DE L ALTERNANCE L alternance poursuit son développement au sein de toutes les filières. Comment s organise aujourd hui laviedesétudiants? Quelssontleurs atouts sur le marché
Plus en détailSe déplacer en s adaptant à des environnements variés et incertains
Se déplacer en s adaptant à des environnements variés et incertains Escalade niveau 1 Nicolas Terré De la compétence attendue aux thèmes d étude La compétence attendue en escalade est globale : «Choisir
Plus en détailDifférentiabilité ; Fonctions de plusieurs variables réelles
Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2
Plus en détailCHAPITRE 6. Les comptes courants
CHAPITRE 6 Les comptes courants Le compte courant est un compte ouvert dans une banque dont toues les sommes du débit et du crédit sont productives d intérêt Terminologie Compte courant débiteur on parle
Plus en détailROULEZ LE CŒUR TRANQUILLE CET HIVER.
1 BROCHURE ROUES D HIVER 2014-2015 ROULEZ LE CŒUR TRANQUILLE CET HIVER. 2 3 CONTENU POURQUOI DES PNEUS D HIVER?... 4 LA BONNE PRESSION DES PNEUS POUR ENCORE PLUS DE SÉCURITÉ... 6-7 4,7 MÈTRES, UN MONDE
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étailViandes, poissons et crustacés
4C la Tannerie BP 30 055 St Julien-lès-Metz F - 57072 METZ Cedex 3 url : www.techlab.fr e-mail : techlab@techlab.fr Tél. 03 87 75 54 29 Fax 03 87 36 23 90 Viandes, poissons et crustacés Caractéristiques
Plus en détail