Logique avancée. Cours optionnel de Licence, A. Lecomte, Système de déduction naturelle
|
|
- Valentin Boulet
- il y a 8 ans
- Total affichages :
Transcription
1 Logique avancée ours optionnel de Licence, Lecote, Systèe de déduction naturelle Les systèes de déduction sont des ensebles de règles perettant de construire des preuves L un des systèes correspondant le ieux à notre notion usuelle de preuve en athéatiques est celui qui est attribué à Frederic Fitch, lequel a aélioré une anière de présenter les déductions due au logicien polonais Stanislas Jaśkowski e style de preuve consiste à disposer les forules qui sont successiveent établies en une colonne, avec les préisses en haut et la conclusion en bas (sur le schéa de la figure??, il y a i préisses et une conclusion) On appelle déduction principale l espace qui figure iédiateent à droite de cette preière barre verticale Il peut arriver que dans une déduction, on soit aené à faire des hypothèses : en ce cas, les forules qui se déduisent de ces hypothèses ne sont évideent valides que sous les hypothèses correspondantes utreent dit, il existe une règle particulière qui peret d introduire une hypothèse : elle consiste sipleent à l écrire de anière décalée d un espace vers la droite et à ouvrir ainsi une sous-déduction qui déarre à partir d elle Nous pouvons à nouveau faire une hypothèse à l intérieur de ce nouvel espace, et ce, autant de fois qu on le désire Par exeple, le schéa de la figure 1 coporte deux préisses : et, puis une hypothèse ouvrant une sous-déduction, puis dans cette sous-déduction une nouvelle hypothèse D 1 P (pre 1) 2 Q (pre 2) i R (pre i) n (conclusion) Il est toujours possible de répéter une forule déjà déontrée (ou une préisse ou une hypothèse) à condition bien entendu que cette répétition se fasse dans l espace approprié, c est-à-dire à la verticale de la forule répétée ou bien dans une sous-déduction (ou une sous-sous-déduction etc ainsi récursiveent) ouverte après l inscription de la forule répétée On utilise pour cela la règle répéter (voir figure 2) Les règles propreent logiques sont celles qui perettent d utiliser une forule déjà prouvée pour parvenir à un résultat et celles qui perettent d utiliser la structure de la conclusion pour nous guider dans la recherche d une preuve Utiliser une forule déjà prouvée (ou une préisse ou une hypothèse) revient à éliiner son connecteur principal, alors qu utiliser une conclusion pour nous 1
2 1 pre 1 2 pre D FIG 1 Déduction avec hypothèses n R, 1 i R, 1 FIG 2 Règle répéter 2
3 n E, n E, FIG 3 Eliination de la conjonction n p I,, n FIG 4 Introduction de la conjonction guider dans la preuve revient à introduire son connecteur principal D où le fait qu un systèe de déduction naturelle contient deux types de règles logiques : les règles d éliination les règles d introduction á raison d un couple de ces règles pour chaque connecteur onjonction oençons par la conjonction Les règles déliination et d introduction sont données respectiveent aux figures 3 et 4 La règle d éliination possède deux variantes, selon qu on projette sur le preier ou sur le deuxièe conjoint Iplication Réglons iédiateent le cas de l iplication, qui est le connecteur qui nous sera le plus utile dans la suite La règle d éliination (figure 5) est la règle d inférence la plus connue en logique, à savoir celle du odus ponens qui dit qu à partir de et, on peut toujours déduire, on l appelle aussi règle de détacheent La règle d introduction (figure 6) reproduit égaleent un processus 3
4 n p E,, n FIG 5 Eliination de l iplication 1 n n + 1 I, 1 n FIG 6 Introduction de l iplication de preuve auquel nous soes habitués : prouver, c est faire l hypothèse qu on a, et ensuite en déduire qu on a utreent dit, cette règle nous donne le preier cas où on utilise l introduction d hypothèse La disjonction va nous donner un autre cas d utilisation des hypothèses Disjonction Introduction L introduction de la disjonction est syétrique par rapport à l éliination de la conjonction On a : n I, n I, L éliination, en revanche, est un peu particulière Elle repose sur l idée que ne peret d inférer que si à la fois et (chacun de son côté) peret d inférer Par exeple, si de 4
5 la buée sur la vitre peret d inférer que la tepérature extérieure est basse et si aussi le gel sur les arbres peret d inférer que la tepérature extérieure est basse, alors je peux inférer que la tepérature est basse de la buée sur la vitre ou du gel sur les arbres! Donc pour inférer à partir de, je e ets d abord sous l hypoth`se, je vérifie qu on peut déduire, et je fais la êe chose avec D où la règle : i i + 1 j j + 1 k l E, i, i + 1 j, j + 1 k Négation Les règles pour la négation peuvent se déduire de l interpr tation de cette dernière selon laquelle nier c est dire que iplique l absurde Pour cela, on introduit une constante qui signifie le faux et qui ne possède qu une règle d éliination (pas de règle d introduction), laquelle est : i i + 1 Q ette règle est celle que les logiciens édiévaux appelaient ex falso quodlibet sequitur : du faux, 5
6 on déduit ce qu on veut On trouve alors pour la négation les deux règles suivantes : n n + 1 E,, n I, 1 oe on le voit, ne peut apparaître dans une déduction que via la règle d éliination de (puisqu il n a pas de règle d introduction qui lui soit propre), or, grâce à la règle d introduction de la conjonction, on constate que ce sont exacteent les cas où on peut déduire une contradiction ( ), ainsi a bien le sens d une contradiction Nous avons ainsi obtenu un systêe pour construire des preuves, ais ce systêe est-il suffisant pour produire toutes les preuves de la logique classique? On constatera (exercices) que non En particulier, il lui anque deux schéas d inférence qu on utilise couraent en logique classique : la loi du tiers exclu et la règle de double négation Intuitiveent, ce n est pas étonnant : prouver que l on a le tiers exclu, c est-à-dire ne pourrait se faire qu en utilisant la règle I, or celle-ci suppose que soit connu soit soit, or évideent quand on utilise la loi du tiers exclu habituelleent on ne sait pas lequel des deux teres est valide! On peut d autre part ontrer que si on ajoute la règle de double-négation au systèe, alors la loi du tiers-exclu est prouvable (et réciproqueent d ailleurs), où la loi de double négation peut se foruler coe suit : n n + 1 E, n Si on n ajoute pas expliciteent cette dernière règle on obtient donc un sous-systèe de la logique classique : ce qu on appelle la logique intuitionniste, appellation qui se justifie si on sait que les tenants de l intuitionnise en athéatiques (notaent son grand aître rouwer) refusaient justeent l utilisation de la loi du tiers exclu Nous allons revenir sur la déduction naturelle en logique intuitionniste au paragraphe suivant afin de ontrer que les preuves dans cette logique ont la propriété agréable de pouvoir être disposées de anière arborescente (ce qui justifie entre autres l utilité des calculs intuitionnistes en linguistique, quand on sait la faveur dont y jouissent justeent les arbres!) Déduction naturelle et logique intuitionniste Sous la fore d arbres 6
7 Règles d introduction [ I] [ 1 I] [ 2 I] [] [ I] Règles d éliination [] [] [ I] [ 1 E] [] [] [ E] [ 2 E] [ E] [ E] Extension à la logique des prédicats du preier ordre Règles d introduction [i ] : 7
8 Si nous nous contentions de doaines finis (ayant un nobre fini d éléents), nous pourrions dire sipleent que x(x) est vrai si chaque fois que nous replaçons x par le no d un individu du doaine, nous obtenons une proposition vraie En ce cas, si par exeple le doaine est : D = {i 1, i 2,, i n }, cela revient à trouver une preuve de la conjonction (c 1 ) (c 2 ) (c n ) où c 1,, c n sont les nos de i 1,, i n, ou, en abrégé, une preuve de i=1n (c i ) Il suffirait d appliquer la règle d introduction de la conjonction On peut résuer cette observation en rearquant ainsi qu un peut être vu coe un Seuleent, dans le cas d un doaine infini (ou trop grand!), nous devons passer par une autre éthode L idée est d utiliser en ce cas une sorte d individu générique, que nous représentons par une variable x Pour être générique, ce qu on appelle aussi quelconque, cet individu ne doit être doté d aucune propriété particulière x doit donc être une variable ne figurant dans aucune hypothèse qu on aurait pu introduire au préalable Néanoins, il peut se faire que x figure dans une hypothèse, ais en ce cas il s agit d une hypothèse qui est justeent déchargée au oent de prouver (x) On écrit : (x) x(x) ondition : au cas où on utilise des hypothèses auxiliaires pour déontrer (x), x est une variable libre qui n apparaît dans aucune de ces hypothèses, autreent dit c est une variable qui n a jaais encore été utilisée (on dit que c est une variable fraîche) utreent dit encore, la variable qui devient liée au oent de l utilisation de cette règle n est active dans aucune hypothèse non encore déchargée ette règle revient à dire : soit un x quelconque, prouvons que est vrai de x Exeple : Prouvons que x((x) (x)) [(x)] (x) (x) (x) x((x) (x)) oentaire : on fait l hypothèse que l on a (x) pour un x quelconque, on en déduit évideent que l on a (x), on peut donc utiliser la règle d introduction de l iplication, ce qui donne (x) (x) ce stade, l hypothèse contenant x est déchargée, on peut utiliser la règle d introduction de qui va justeent lier la variable x, qui n est désorais active dans aucune hypothèse [i ] : Là encore, si nous étions dans un doaine fini, nous pourrions sipleent dire qu il suffit de trouver une valeur dans ce doaine pour laquelle on a une preuve de (x) En ce cas, l existentielle x(x) correspond à une disjonction, on cherche une preuve de (c 1 ) (c 2 ) (c n ), autreent écrit i=1n (c i ) Il suffirait d appliquer la règle d introduction de la disjonction On 8
9 peut résuer cette observation en rearquant ainsi qu un peut être vu coe un De fait, il suffit de trouver un individu particulier perettant de prouver pour avoir une preuve de x(x), nous pouvons donc dire qu une preuve de x(x) consiste dans le couple foré par un individu bien particulier du doaine D et une preuve de pour cet individu On peut trouver cet individu par son no (d après nos hypothèses) ais on peut le trouver aussi par une éthode Dans ce dernier cas, on peut supposer qu il y a un tere t pour le désigner êe si nous ne savons pas exacteent qui il est! D où la règle, avec sa condition : (t) x(x) ondition : t est un tere e tere doit être libre pour x Qu est-ce que cela veut dire? Tout sipleent qu il ne doit pas s introduire, au cours de l application de la règle, un liage de variable intepestif non voulu! Par exeple iaginons que t soit une variable y et que (t) soit (y) = (y x), alors la conclusion serait : x (x x)! utreent dit, du fait qu un nobre y est différent d un nobre x, on déduirait qu il existe un nobre différent de lui-êe, ce qui est absurde Ici y n est pas libre pour x signifie qu on ne peut pas replacer y par x dans l expression sans lier une variable distincte de y qui jusqu ici était libre On peut toutefois substituer y par z dans cette expression car y est libre pour z On obtiendrait : z (z x) Et êe y par lui-êe car y est libre pour y, on obtiendrait : y (y x) Règles d éliination [e ] : Evideent si nous avons une preuve de x(x), par définition, pour chaque individu i, nous avons une preuve de (c i ) et plus généraleent, pour toute constante c, nous avons une preuve de (c), et de êe pour toute variable D où la règle : x(x) (t) où t est un tere quelconque, là aussi libre pour x [e ] : La règle d éliination de resseble nécessaireent à celle du Intuitiveent, si partant de n iporte quelle hypothèse (y), où, coe dans le cas de la règle [i ], y apparaît coe variable libre non déjà présente dans une hypothèse auxiliaire, on arrive toujours à la êe conclusion, 9
10 on pourra déduire de x(x) [(y)] x(x) Exeple : déontrons que ( x(x) (x)) x(x) [ x(x) (x)] x(x) (x) (y) x(x) ( x(x) (x)) x(x) [(y) (y)] (y) oentaire : y est une variable, ais au cours de l application de la règle [e ], l hypothèse sous laquelle on a déduit (y) se trouve déchargée ela signifie que y désigne bien un objet du doaine, on peut donc appliquer l introduction de 10
Mécanique : Cinématique du point. Chapitre 1 : Position. Vitesse. Accélération
2 e B et C 1 Position. Vitesse. Accélération 1 Mécanique : Cinéatique du point La écanique est le doaine de tout ce qui produit ou transet un ouveent, une force, une déforation : achines, oteurs, véhicules,
Plus en détailArrondissage des résultats de mesure. Nombre de chiffres significatifs
BUREAU NATIONAL DE MÉTROLOGIE COMMISSARIAT À L'ÉNERGIE ATOMIQUE LABORATOIRE NATIONAL HENRI BECQUEREL Note technique LNHB/04-13 Arrondissage des résultats de esure Nobre de chiffres significatifs M.M. Bé,
Plus en détail2.1 Comment fonctionne un site?
Coent fonctionne un site? Dans ce chapitre, nous allons étudier la liste des logiciels nécessaires à la création d un site ainsi que les principes de base indispensables à son bon fonctionneent. 2.1 Coent
Plus en détailAutour des nombres et des polynômes de Bernoulli
Autour des nobres et des polynôes de Bernoulli Gaëtan Bisson d après un cours de Don Zagier Résué En athéatiques, les nobres de Bernoulli ont d abord été étudiés en cherchant à calculer les soes du type
Plus en détailMASSE, VOLUME ET QUANTITE DE MATIERE
MASSE, OLUME ET QUANTITE DE MATIERE Exercices du Livre Microega Hatier (004 Correction L acide sulfurique 1. Calculons la asse olaire de l acide sulfurique : M(H SO 4 xm(h + M(S + 4xM(O M(H SO 4 x1,00
Plus en détailLes bases de données. Historique
1 Les bases de données Aujourd hui indispensables dans tous les systèes de gestion de l inforation, les bases de données sont une évolution logique de l augentation de la deande de stockage de données.
Plus en détailUtiliser Internet Explorer
5 Utiliser Internet Explorer 5 Utiliser Internet Explorer Internet Explorer est le plus utilisé et le plus répandu des navigateurs web. En effet, Internet Explorer, couraent appelé IE, est le navigateur
Plus en détail«Des places de jeux pour tous» Formulaire de demande
«Des places de jeux pour tous» Forulaire de deande Ce questionnaire infore quant à la place de jeu en projet et ne constitue pas une grille d évaluation. Les renseigneents doivent donner une ipression
Plus en détailRAPPORT TP ACTIVE DIRECTORY
RAPPORT TP ACTIVE DIRECTORY 1 2 Table des matières I-Introduction... 4 Objectifs :... 4 Avant de commencer :... 4 Contexte :... 5 II-Déroulement de l installation de l Active Directory... 6 III-Paramétrage
Plus en détailBien lire l énoncé 2 fois avant de continuer - Méthodes et/ou Explications Réponses. Antécédents d un nombre par une fonction
Antécédents d un nombre par une fonction 1) Par lecture graphique Méthode / Explications : Pour déterminer le ou les antécédents d un nombre a donné, on trace la droite (d) d équation. On lit les abscisses
Plus en détailPPE 6 ACTIVE DIRECTORY & SERVEUR DE REPLICATION
PPE 6 ACTIVE DIRECTORY & SERVEUR DE REPLICATION Antoine CAMBIEN BTS SIO Option SISR Session 2015 BTS SIO Services Informatiques aux Organisations Session 2014 2015 Nom du candidat : Antoine CAMBIEN Projet
Plus en détailVoyez la réponse à cette question dans ce chapitre. www.alternativesjournal.ca/people-and-profiles/web-exclusive-ela-alumni-make-splash
Une personne de 60 kg est à gauche d un canoë de 5 de long et ayant une asse de 90 kg. Il se déplace ensuite pour aller à droite du canoë. Dans les deux cas, il est à 60 c de l extréité du canoë. De cobien
Plus en détailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en détailÉquations générales des milieux continus
Équations générales des ilieux continus Jean Garrigues 1 ai 212 ii Avant-propos L objectif de ce cours est d établir les équations générales régissant tous les ilieux continus, qu ils soient solides ou
Plus en détailExo7. Limites de fonctions. 1 Théorie. 2 Calculs
Eo7 Limites de fonctions Théorie Eercice Montrer que toute fonction périodique et non constante n admet pas de ite en + Montrer que toute fonction croissante et majorée admet une ite finie en + Indication
Plus en détailK W = [H 3 O + ] [OH - ] = 10-14 = K a K b à 25 C. [H 3 O + ] = [OH - ] = 10-7 M Solution neutre. [H 3 O + ] > [OH - ] Solution acide
La constante d autoprotolyse de l eau, K W, est égale au produit de K a par K b pour un couple acide/base donné : En passant en échelle logarithmique, on voit donc que la somme du pk a et du pk b d un
Plus en détailQuels polygones sont formés par les milieux des côtés d un autre polygone?
La recherche à l'école page 13 Quels polygones sont formés par les milieux des côtés d un autre polygone? par d es co llèg es n dré o ucet de Nanterre et Victor ugo de Noisy-le-rand enseignants : Martine
Plus en détailInstallation de SQL Server Reporting Services avec l intégration dans un site Windows SharePoint Services V3
Installation de SQL Server Reporting Services avec l intégration dans un site Windows SharePoint Services V3 Introduction Le Service Pack 2 de SQL Server 2005 a ajouté une option de gestion et d utilisation
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
Plus en détailComplémentaire Santé. Assurance Santé, Prévoyance, Retraite : risques perçus, risques assurés
Complémentaire Santé 9 Français sur 10 estiment être bien couverts alors même qu ils ne connaissent pas exactement les frais de santé restant réellement à leur charge 9 Français sur 10 déclarent être couverts
Plus en détailMODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT
ANNEXE VI MODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT RECOMMANDATIONS GÉNÉRALES Les utilisateurs s attendent à trouver dans les définitions des
Plus en détailDOSSIER SUR LE SECTEUR DES NOMS DE DOMAINE VOLUME 11 - NUMÉRO 4 - JANVIER 2015
DOSSIER SUR LE SECTEUR DES NOMS DE DOMAINE VOLUME 11 - NUMÉRO - JANVIER 2015 RAPPORT DE VERISIGN SUR LES NOMS DE DOMAINE LEADER MONDIAL DU SECTEUR DES NOMS DE DOMAINE ET DE LA SÉCURITÉ D'INTERNET, VERISIGN
Plus en détailFctsAffines.nb 1. Mathématiques, 1-ère année Edition 2007-2008. Fonctions affines
FctsAffines.nb 1 Mathématiques, 1-ère année Edition 2007-2008 Fonctions affines Supports de cours de mathématiques de degré secondaire II, lien hpertete vers la page mère http://www.deleze.name/marcel/sec2/inde.html
Plus en détailTolérance aux fautes-2 Serveurs à haute disponibilité
École Doctorale de Grenoble Master 2 Recherche Systèes et Logiciel Disponibilité des s Tolérance aux fautes-2 Serveurs à haute disponibilité Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA
Plus en détail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
Plus en détailL indice des prix à la consommation
L indice des prix à la consoation Base 2004 Direction générale Statistique et Inforation éconoique 2007 L indice des prix à la consoation Base 2004 = 100 La Direction générale Statistique et Inforation
Plus en détailEngagement de l ABC en matière de lisibilité des documents hypothécaires. Préparé par l Association des banquiers canadiens
Engagement de l ABC en matière de lisibilité des documents hypothécaires Préparé par l Association des banquiers canadiens Le 7 mars 2000 Notre engagement : des documents hypothécaires en langage courant
Plus en détailCompte-rendu technique complet et détaillé des cookies
Copte-rendu technique coplet et détaillé des cookies Site Web audité : Date de l audit : 01 Aug 2015 http://www.sd-france.co/ Ce docuent est fourni pour accopagner la gestion du consenteent de MSD France
Plus en détailÉTUDE BDC LES CINQ FACTEURS CLÉS ET LES CINQ PIÈGES À ÉVITER POUR RÉUSSIR EN AFFAIRES
ÉTUDE BDC LES CINQ FACTEURS CLÉS ET LES CINQ PIÈGES À ÉVITER POUR RÉUSSIR EN AFFAIRES Seaine de la PME BDC 2014 Résué --------------------------------------------------------------------------------------
Plus en détailSimulation à bord d un véhicule moteur existant
Simulation à bord d un véhicule moteur existant Pour la simulation, un poste de conduite d un véhicule moteur prêt au service est utilisé. Il va de soi que le véhicule doit être bloqué et la chaîne de
Plus en détailIII- Raisonnement par récurrence
III- Raisonnement par récurrence Les raisonnements en mathématiques se font en général par une suite de déductions, du style : si alors, ou mieux encore si c est possible, par une suite d équivalences,
Plus en détailProcédure de divorce, ce qu il faut savoir
Procédure de divorce, ce qu il faut savoir Le divorce est à ce jour le seul moyen permettant d instruire la fin juridique des relations entre deux individus mariés. Ces dernières années, la banalisation
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur
Plus en détailCouples de variables aléatoires discrètes
Couples de variables aléatoires discrètes ECE Lycée Carnot mai Dans ce dernier chapitre de probabilités de l'année, nous allons introduire l'étude de couples de variables aléatoires, c'est-à-dire l'étude
Plus en détailModule 16 : Les fonctions de recherche et de référence
Module 16 : Les fonctions de recherche et de référence 16.0 Introduction L une des fonctions les plus importantes d Excel, c est la possibilité de chercher une valeur spécifique dans un grand nombre de
Plus en détailUFR de Mathématiques et Informatique Année 2009/2010. Réseaux Locaux TP 04 : ICMP, ARP, IP
Université de Strasbourg Licence Pro ARS UFR de Mathématiques et Informatique Année 2009/2010 1 Adressage IP 1.1 Limites du nombre d adresses IP 1.1.1 Adresses de réseaux valides Réseaux Locaux TP 04 :
Plus en détailLes salariés du secteur privé face à la généralisation de la complémentaire santé collective
Les salariés du secteur privé face à la généralisation de la santé collective Etude réalisée pour Swiss Life France Contact Ifop : Frédéric Dabi / François KRAUS Directeur d études d opinion 01 72 34 94
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailProblèmes de Mathématiques Filtres et ultrafiltres
Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire
Plus en détailmemo Entreprise en faillite : et maintenant?
memo Entreprise en faillite : et maintenant? Table des matières Entreprise en faillite : et maintenant?... 4 Qui est qui lors d une faillite?... 6 Que devez-vous faire?... 7 Que faut-il indiquer sur votre
Plus en détailGuide d usage pour Word 2007
Formation TIC Septembre 2012 florian.jacques@etsup.com Guide d usage pour Word 2007 ETSUP 8 villa du Parc Montsouris 75014 PARIS SOMMAIRE Interface... 2 Organiser son espace de travail... 3 La barre d
Plus en détailProtection individuelle
Protection individuelle Franchise annuelle Ce plan n'est plus offert 200 $ 900 $ depuis le 1er mars 2015 1 006 $ / / 18-24 87,88 $ 71,71 $ - 39,35 $ 37,08 $ 63,91 $ 25-29 91,38 $ 74,47 $ - 41,04 $ 38,86
Plus en détailLe Centre de Tri. Projet d espace de coworking à Bègles 21 janvier 2011
Le Centre de Tri Projet d espace de coworking à Bègles 21 janvier 2011 Contexte 2 Objectifs 4 Projet 6 Lieu 8 Équipe projet 11 S o a i r Équipe d aniation Prograation Modèle éconoique Budget prévisionnel
Plus en détailINTERNET. INTERNET (7 H) Le 12 SEPTEMBRE 2011 à REIMS OU CHALONS EN CHAMPAGNE
INTERNET INTERNET (7 H) Le 12 SEPTEMBRE 2011 à REIMS OU CHALONS EN CHAMPAGNE Public : Artisans et conjoints collaborateurs, salarié(e)s. Objectif de la formation : Permettre aux stagiaires d utiliser les
Plus en détailLe droit de préemption en matière immobilière
Le droit de préemption en matière immobilière C est le truc le plus grave à louper. I Le preneur à bail rural C est surement le texte le plus ancien dans notre droit positif actuel. Cela date de 1945.
Plus en détailRÉALISATION D UN SITE DE RENCONTRE
RÉALISATION D UN SITE DE RENCONTRE Par Mathieu COUPE, Charlène DOUDOU et Stéphanie RANDRIANARIMANA Sous la coordination des professeurs d ISN du lycée Aristide Briand : Jérôme CANTALOUBE, Laurent BERNARD
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
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étaileduscol Ressources pour la voie professionnelle Français Ressources pour les classes préparatoires au baccalauréat professionnel
eduscol Ressources pour la voie professionnelle Ressources pour les classes préparatoires au baccalauréat professionnel Français Présentation des programmes 2009 du baccalauréat professionnel Ces documents
Plus en détailCHAPITRE VI ALEAS. 6.1.Généralités.
CHAPITRE VI ALEAS 6.1.Généralités. Lors de la synthèse des systèmes logique (combinatoires ou séquentiels), nous avons supposé, implicitement, qu une même variable secondaire avait toujours la même valeur
Plus en détailFonctions de deux variables. Mai 2011
Fonctions de deux variables Dédou Mai 2011 D une à deux variables Les fonctions modèlisent de l information dépendant d un paramètre. On a aussi besoin de modéliser de l information dépendant de plusieurs
Plus en détailHTML. Notions générales
1 HTML Le langage HTML est le langage de base permettant de construire des pages web, que celles-ci soient destinées à être affichées sur un iphone/android ou non. Dans notre cas, HTML sera associé à CSS
Plus en détailDossier Logique câblée pneumatique
Dossier Logique câblée pneumatique Festo Belgium SA Rue Colonel Bourg 11 BE-13 Bruxelles www.festo.com Logique câblée pneumatique Chaque schéma de commande est élaboré selon une logique déterminée. Cette
Plus en détailMode d Emploi. Résult Arc Logiciel de Gestion de Compétitions. Droits d utilisation Informations Générales. 1/. Présentation de Résult Arc
Résult Arc Logiciel de Gestion de Compétitions Mode d Emploi Droits d utilisation Informations Générales 1/. Présentation de Résult Arc 2/. Installation du logiciel 3/. Utilisation du logiciel 3.1/- Généralités
Plus en détailAIDE AU PILOTAGE. BO Web intelligence Session 1
AIDE AU PILOTAGE BO Web intelligence Sommaire 1. Présentation Générale...4 1.1 A quoi sert Business Objects?...4 1.2 De quoi est composé Business Objects?...5 1.3 Quelle utilité?...6 1.4 Qu est-ce que
Plus en détailAPPLICABLES À PARTIR DE JANVIER 2012
Documents comptables Nouvelles formalités de dépôt APPLICABLES À PARTIR DE JANVIER 2012 Adresse postale: L-2961 Luxembourg Tél (+352) 26 428-1 Fax (+352) 26 42 85 55 www.rcsl.lu RCSL G.I.E. R.C.S. Luxembourg
Plus en détailFonctions linéaires et affines. 1 Fonctions linéaires. 1.1 Vocabulaire. 1.2 Représentation graphique. 3eme
Fonctions linéaires et affines 3eme 1 Fonctions linéaires 1.1 Vocabulaire Définition 1 Soit a un nombre quelconque «fixe». Une fonction linéaire associe à un nombre x quelconque le nombre a x. a s appelle
Plus en détailParticipation des employeurs publics au financement de la protection sociale complémentaire. L analyse de la MNT sur le projet de décret
Participation des employeurs publics au financement de la protection sociale complémentaire L analyse de la MNT sur le projet de décret Patrick DOS Vice-Président de la MNT Participation des employeurs
Plus en détailFORMATION MULTIMÉDIA LVE
Format Factory est un logiciel libre, gratuit et multiplateforme pour la conversion de formats de fichiers multimédia. Ce logiciel permet de convertir des fichiers audio et vidéo, et d extraire l audio
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détailSimulation numérique de la réponse d un pieu en cours de battage
Siulation nuérique e la réponse un pieu en cours e battage Philippe LEPERT Ingenieur Division Géotechnique et Mécanique es Chaussées Laboratoire Central es Ponts et Chaussées Daniel MEIGNEN Technicien
Plus en détailLES DECIMALES DE π BERNARD EGGER
LES DECIMALES DE π BERNARD EGGER La génération de suites de nombres pseudo aléatoires est un enjeu essentiel pour la simulation. Si comme le dit B Ycard dans le cours écrit pour le logiciel SEL, «Paradoxalement,
Plus en détailAnalyse des coûts. 1 ère année DUT GEA, 2005/2006 Analyse des coûts
Analyse des coûts Les techniques de calcul et d analyse des coûts portent le nom de comptabilité analytique ou comptabilité de gestion. Ces deux termes seront utilisés indifféremment dans ce cours. Contrairement
Plus en détailEtude de fonctions: procédure et exemple
Etude de fonctions: procédure et exemple Yves Delhaye 8 juillet 2007 Résumé Dans ce court travail, nous présentons les différentes étapes d une étude de fonction à travers un exemple. Nous nous limitons
Plus en détailChapitre 5. Le ressort. F ext. F ressort
Chapitre 5 Le ressort Le ressort est un élément fondamental de plusieurs mécanismes. Il existe plusieurs types de ressorts (à boudin, à lame, spiral etc.) Que l on comprime ou étire un ressort, tel que
Plus en détailavec des nombres entiers
Calculer avec des nombres entiers Effectuez les calculs suivants.. + 9 + 9. Calculez. 9 9 Calculez le quotient et le rest. : : : : 0 :. : : 9 : : 9 0 : 0. 9 9 0 9. Calculez. 9 0 9. : : 0 : 9 : :. : : 0
Plus en détailCalculs de probabilités avec la loi normale
Calculs de probabilités avec la loi normale Olivier Torrès 20 janvier 2012 Rappels pour la licence EMO/IIES Ce document au format PDF est conçu pour être visualisé en mode présentation. Sélectionnez ce
Plus en détailOPERATIONS MANAGEMENT
OPERATIONS MANAGEMENT RIRL 00 - Bordeaux Septeber 30t & Otober st, 00 RIRL 00 Te 8t International Conferene on Loistis and SCM Resear BEM Bordeaux Manaeent Sool Septeber 9, 30 and Otober st 00 La estion
Plus en détailCorps des nombres complexes, J Paul Tsasa
Corps des nombres complexes, J Paul Tsasa One Pager Février 2013 Vol. 5 Num. 011 Copyright Laréq 2013 http://www.lareq.com Corps des Nombres Complexes Définitions, Règles de Calcul et Théorèmes «Les idiots
Plus en détailLa société interprofessionnelle de soins ambulatoires 12 /2012. Jean VILANOVA Juriste jean.vilanova@ca-predica.fr
La société interprofessionnelle de soins ambulatoires 12 /2012 Jean VILANOVA Juriste jean.vilanova@ca-predica.fr Le décret n 2012-407 du 23 /03 /2012 (JO du 25 /03) relatif aux sociétés interprofessionnelles
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étailCOURS WINDEV NUMERO 3
COURS WINDEV NUMERO 3 01/02/2015 Travailler avec un fichier de données Etude du gestionnaire d analyse, Manipulation des tables mémoires, Manipulation de données, Création d états, Pré requis : Cours WinDev
Plus en détailStratégie de sécurité grâce au logiciel libre. Frédéric Raynal <pappy@miscmag.com> Cédric Blancher <blancher@cartel-securite.fr>
Stratégie de sécurité grâce au logiciel libre Frédéric Raynal Cédric Blancher 1 Agenda du workshop Introduction Le logiciel libre et la sécurité GNU/Linux
Plus en détailStatistique Descriptive Élémentaire
Publications de l Institut de Mathématiques de Toulouse Statistique Descriptive Élémentaire (version de mai 2010) Alain Baccini Institut de Mathématiques de Toulouse UMR CNRS 5219 Université Paul Sabatier
Plus en détailFormat de l avis d efficience
AVIS D EFFICIENCE Format de l avis d efficience Juillet 2013 Commission évaluation économique et de santé publique Ce document est téléchargeable sur www.has-sante.fr Haute Autorité de santé Service documentation
Plus en détailLe calcul du barème d impôt à Genève
Le calcul du barème d impôt à Genève Plan : 1. Historique Passage d un système en escalier à une formule mathématique 2. Principe de l imposition Progressivité, impôt marginal / moyen ; barème couple/marié
Plus en détail1 Complément sur la projection du nuage des individus
TP 0 : Analyse en composantes principales (II) Le but de ce TP est d approfondir nos connaissances concernant l analyse en composantes principales (ACP). Pour cela, on reprend les notations du précédent
Plus en détailRéseaux Évidentiels pour la fusion de données multimodales hétérogènes : application à la détection de chutes
Réseaux Évidentiels pour la fusion de données ultiodales hétérogènes : application à la détection de chutes Paulo Arando Cavalcante Aguilar To cite this version: Paulo Arando Cavalcante Aguilar. Réseaux
Plus en détailLa persistance des nombres
regards logique & calcul La persistance des nombres Quand on multiplie les chiffres d un nombre entier, on trouve un autre nombre entier, et l on peut recommencer. Combien de fois? Onze fois au plus...
Plus en détailI. Une nouvelle loi anti-discrimination
Extrait du Bulletin de Liaison Le Défi n 17, LHFB, Juillet 2004 Discriminations et assurances ; les apports de la Loi du 25 février 2003 et le rôle du Centre pour l'égalité des chances et la lutte contre
Plus en détailLe contenu de ce manuel peut faire l objet de modifications sans préavis et n engage pas la responsabilité de la société BENTEL SECURITY srl.
Le contenu de ce manuel peut faire l objet de modifications sans préavis et n engage pas la responsabilité de la société BENTEL SECUITY srl. BENTEL SECUITY via Florida - Z.I. Valtesino - 63013 GOTTAMMAE
Plus en détailObjectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)
Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter
Plus en détailTD n o 8 - Domain Name System (DNS)
IUT Montpellier - Architecture (DU) V. Poupet TD n o 8 - Domain Name System (DNS) Dans ce TD nous allons nous intéresser au fonctionnement du Domain Name System (DNS), puis pour illustrer son fonctionnement,
Plus en détailTHESE. Applications des algorithmes d'auto-organisation à la classification et à la prévision
UNIVERSITE PARIS I PANTHEON SORBONNE U.F.R. DE MATHEMATIQUES et INFORMATIQUE Année 999 THESE Pour obtenir le rade de DOCTEUR DE L'UNIVERSITE PARIS I Discipline : Mathéatiques Présentée et soutenue publiqueent
Plus en détailLes indices à surplus constant
Les indices à surplus constant Une tentative de généralisation des indices à utilité constante On cherche ici en s inspirant des indices à utilité constante à définir un indice de prix de référence adapté
Plus en détailCours Fonctions de deux variables
Cours Fonctions de deux variables par Pierre Veuillez 1 Support théorique 1.1 Représentation Plan et espace : Grâce à un repère cartésien ( ) O, i, j du plan, les couples (x, y) de R 2 peuvent être représenté
Plus en détailQuestion N 2 1. Quelles sont les catégories de véhicules à moteur pour lesquelles l assurance est obligatoire?
Page 1 of 5 P : Portugal Question N 1 Quelle est la date de la loi ayant introduit l assurance responsabilité civile automobile obligatoire et celle de son entrée en vigueur? Décret-Loi n 408/79 du 25
Plus en détailEVALUATION À 360 Demonstration MICHEL DUPONT RAPPORT PERSONNEL 360. rapport généré: 2010-01-05 http://compass360.net
Demonstration MIHEL DUPONT RAPPORT PERONNEL 360 rapport généré: 2010-01-05 http://compass360net TABLE DE MATIÈRE Michel Dupont Page 2 TABLE DE MATIÈRE omment utiliser votre rapport 3 GRILLE DE OMPETENE
Plus en détailLEÇON N 7 : Schéma de Bernoulli et loi binomiale. Exemples.
LEÇON N 7 : Schéma de Bernoulli et loi binomiale. Exemples. Pré-requis : Probabilités : définition, calculs et probabilités conditionnelles ; Notion de variables aléatoires, et propriétés associées : espérance,
Plus en détailCe manuel a été établi spécialement pour vous. Vous retrouverez ici tout pour pouvoir travailler avec votre terminal de paiement sans problèmes.
Cher client, Félicitations avec l de votre nouveau terminal de paiement. Vous avez choisi un appareil qui vous permet de recevoir vos paiements selon les normes les plus récentes. Ce manuel a été établi
Plus en détailObjectifs. Clustering. Principe. Applications. Applications. Cartes de crédits. Remarques. Biologie, Génomique
Objectifs Clustering On ne sait pas ce qu on veut trouver : on laisse l algorithme nous proposer un modèle. On pense qu il existe des similarités entre les exemples. Qui se ressemble s assemble p. /55
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailMenu Fédérateur. Procédure de réinstallation du logiciel EIC Menu Fédérateur d un ancien poste vers un nouveau poste
Menu Fédérateur Procédure de réinstallation du logiciel EIC Menu Fédérateur d un ancien poste vers un nouveau poste Manipulations à réaliser sur le poste à désinstaller 1. Sauvegarde des données Dans le
Plus en détailCONVENTION D ACCUEIL AU PAIR 1
CONVENTION D ACCUEIL AU PAIR 1 La présente convention d accueil au pair est conclue entre la famille d accueil ci-après désignée: Madame nom et prénom Matricule nationale et / ou Monsieur nom et prénom
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copyleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailCREATION D UNE EVALUATION AVEC JADE par Patrick RUER (www.mathenvideo.comuv.com)
TABLE DES MATIERES I) Le logiciel JADE 2 II) Etablissements 3 1) Configuation de l établissement 3 2) Importation des classes avec SCONET 4 3) Les groupes d élèves 6 4) Les variables supplémentaires 6
Plus en détailSD1+ SD1+ SD1+ ENT ESC
SD SD SD A B 4 5 6 C 7 8 9 D ENT 0 ESC Sommaire Options du Menu SD........ Généralités...... Raccordements.......... Mot de Passe........... Type de Mot de Passe........... Sortie Programmable...........
Plus en détailMODE D EMPLOI WWW.INSERT.BE
Insert_2012 IV MODE D EMPLOI WWW.INSERT.BE My Insert - Gestionnaire Insert est accrédité sous le numéro 100001 A+B dans le cadre du recyclage régulier (loi du 27.03.1995, art. 11, 4bis) IV.2 My Insert
Plus en détail2. Mise en œuvre de la réglementation sur la tacite reconduction
2. Mise en œuvre de la réglementation sur la tacite reconduction À la suite des auditions et des réponses écrites au questionnaire, il s avère qu en pratique, la loi «Chatel» suscite peu de difficultés
Plus en détail