Master Parisien de Recherche en Informatique. Modèles des langages de programmation
|
|
- Clémence Marin
- il y a 8 ans
- Total affichages :
Transcription
1 Master Parisien de Recherche en Informatique Modèles des langages de programmation Travaux irigés n 3 Paul-André Melliès <mellies@pps.jussieu.fr> Nous avons vu en cours la construction exponentielle, qui à tout espace de cohérence A = ( A, A ) associe l espace de cohérence!a, dont les éléments de la trame!a sont les cliques finies de A, où deux éléments u, v!a de la trame sont cohérents lorsque leur union (en tant que cliques) est une clique de A. Ici, on s intéresse à une décomposition de cette modalité exponentielle, au moyen de la modalité de suspension qui à tout espace de cohérence A associe l espace de cohérence dont les éléments de la trame sont les cliques singleton [a] contenant exactement un élément a de la trame A, la clique vide de A, le plus souvent notée A dans ce cadre. La relation de cohérence de est définie comme la relation de cohérence de A sur les cliques singleton: a 1, a 2 A, [a 1 ] [a 2] a 1 A a 2 avec l élément A cohérent avec tous les autres éléments de la trame: a A, A [a]. u point de vue logique, la modalité de suspension permet d appliquer la règle d affaiblissement à une formule modalisée mais pas la règle de contraction. Partie I 1
2 (1.) Montrer que = A & 1 où 1 est l espace de cohérence singleton. En déduire que tout morphisme h : A est la donnée d un morphisme [h] : A A et d une anti-clique de A, vue comme morphisme h : A 1. (2.) On note ε A : A le morphisme défini par la projection du produit cartésien A&1 sur sa première composante A. On note A : le morphisme A = id A & (aussi parfois noté A = A & en cours) où : 1 1&1 est la diagonale associé à l espace de cohérence 1. écrire explicitement comme une relation entre les éléments de la trame de 1 et les éléments de la trame de 1&1. Puis décrire de la même manière les morphismes ε A et A pour un espace de cohérence A donné. (3.) Montrer que les diagrammes suivants commutent: A ε A ε A id id A A A 2
3 (4.) Pour tout morphisme f : A B associer un morphisme f : B de telle manière que définisse un foncteur : Coh Coh dans la catégorie Coh des espaces de cohérence ce qu on montrera brièvement. (5.) Montrer que ε et définissent des transformations naturelles ε : Id ε : où Id est le foncteur identité A A de la catégorie Coh. (6.) es question (3.) (4.) et (5.) on déduit que définit une comonade (notion vue en cours). On appelle coalgèbre d une telle comonade une paire (A, h A ) constituée d un espace de cohérence A, d un morphisme h A : A, faisant commuter les diagrammes suivants: h A ε A A id A A A h A h A A h A 3
4 Nous savons par la question (1.) que tout morphisme h A : A (1) est caractérisé par ses deux projections [h A ] et h A sur les espaces de cohérence A et 1. Montrer par un raisonnement purement diagrammatique qu une coalgèbre (A, h A ) correspond exactement à un morphisme (1) pour lequel le morphisme [h A ] : A A est le morphisme identité id A. [Note: un raisonnement direct est possible, et sera accepté, mais il est a priori plus long.] A h A π 1 (7.) On déduit des questions (1.) et (5.) qu une coalgèbre (A, h A ) est la donnée d une anti-clique de l espace de cohérence A, produite par la composée: où π est la projection de = A&1 sur sa seconde composante. Intuitivement, l anti-clique h A décrit la procédure que la coalgèbre de suspension (A, h A ) servira à tout programme de type Γ, A B qui déciderait de ne pas utiliser son entrée A. Maintenant, on définit un morphisme de coalgèbre f : (A, h A ) (B, h B ) entre deux coalgèbres (A, h A ) et (B, h B ) comme un morphisme f : A B (2) entre les espaces de cohérence sous-jacents, faisant commuter le diagramme suivant: f B h A h B dans la catégorie Coh. A f B 4
5 Montrer qu un morphisme (2) est un morphisme de coalgèbre si et seulement si le diagramme ci-dessous commute: dans la catégorie Coh. A f B h A h B 1 ésormais, on appelle Coh la catégorie dont les objets sont les coalgèbres sur la comonade, et les morphismes sont les morphismes de coalgèbre. (8.) écrire explicitement la coalgèbre (A, A ) pour laquelle A est l anticlique vide. (9.) Montrer que pour tout espace de cohérence A, la paire (, A ) définit une coalgèbre, pour laquelle A est l anti-clique singleton [ A ]. (10.) Construire, pour toute coalgèbre (A, h A ) et espace de cohérence B, une bijection entre: les morphismes de A dans B, les morphismes de coalgèbre de (A, h A ) dans (B, B ). Note: cette bijection induit en fait une adjonction entre le foncteur d oubli et le foncteur Coh Coh Coh Coh qui a tout espace de cohérence associe la coalgèbre (, A ). Partie II Ici, on introduit la modalité de duplication qui à tout espace de cohérence A = ( A, A ) associe l espace de cohérence A dont les éléments de la trame A sont les cliques finies non vides de A, 5
6 où deux éléments u, v A de la trame sont cohérents lorsque leur union (en tant que cliques) est une clique de A. e la même manière que la modalité exponentielle, la modalité de duplication définit une comonade sur la catégorie Coh. u point de vue logique, la modalité de duplication permet d appliquer la règle de contraction à une formule modalisée mais pas la règle d affaiblissement. (11.) Montrer que pour tout espace de cohérence A, mais expliquer pourquoi l égalité est en général fausse.!a = (A)!A = (A) (12.) Pour tout espace de cohérence A, considérons le morphisme λ A : A dans la catégorie Coh, défini comme suit: λ A := {( A, [ A ])} {([[a 1,, a k ]], [[a 1 ],..., [a k ]]) a 1,..., a k A } {([[a 1,, a k, A ]], [[a 1 ],..., [a k ]]) a 1,..., a k A }. On admettra ici que λ définit une transformation naturelle λ : et que les diagrammes suivants commutent dans la catégorie Coh: A λ A A A (3) A λ A λ 6
7 A λ A A (4) A λ A A λ A λ A A ε A ε A A (5) λ A A ε A ε Il est possible de dessiner la transformation naturelle λ en diagramme de cordes: (6) Les transformations naturelles de la comonade sont décrits de la sorte: ε 7
8 ainsi que ceux de la comonade : ε essiner les égalités entre diagrammes de corde données par les diagrammes de cohérence (3), (4), (5), (6) satisfaite par la loi de distributivité λ. (13.) Les diagrammes de cohérence (vus en cours) décrivant une comonade (,, ε) sur une catégorie C s écrivent = ε ε = = Montrer par une série de diagrammes de cordes que la composée des deux comonades et définit bien une comonade. 8
Groupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
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étailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailCalculs de probabilités
Calculs de probabilités Mathématiques Générales B Université de Genève Sylvain Sardy 13 mars 2008 1. Définitions et notations 1 L origine des probabilités est l analyse de jeux de hasard, tels que pile
Plus en détailExo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
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étailpar Denis-Charles Cisinski & Georges Maltsiniotis
LA CATÉGORIE Θ DE JOYAL EST UNE CATÉGORIE TEST par Denis-Charles Cisinski & Georges Maltsiniotis Résumé. Le but principal de cet article est de prouver que la catégorie cellulaire Θ de Joyal est une catégorie
Plus en détailT-CATÉGORIES REPRÉSENTABLES Dedicated to Albert Burroni on the occasion of the conference organised in Paris VII in 2002 in honour of his retirement.
Theory and Applications of Categories, Vol. 22, No. 15, 2009, pp. 376 387. T-CATÉGORIES REPRÉSENTABLES Dedicated to Albert Burroni on the occasion of the conference organised in Paris VII in 2002 in honour
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailRAPHAËL ROUQUIER. 1. Introduction
CATÉGORIES DÉRIVÉES ET GÉOMÉTRIE ALGÉBRIQUE Trois exposés à la semaine «Géométrie algébrique complexe» au CIRM, Luminy, décembre 2003 1. Introduction On étudie dans un premier temps les propriétés internes
Plus en détailProjet 2. Gestion des services enseignants CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE. G r o u p e :
CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE Projet 2 Gestion des services enseignants G r o u p e : B E L G H I T Y a s m i n e S A N C H E Z - D U B R O N T Y u r i f e r M O N T A Z E R S i
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailPropriété intellectuelle en informatique
47 Chapitre 4 Propriété intellectuelle en informatique 1. Introduction Propriété intellectuelle en informatique Nous avons été amenés précédemment à examiner les principes relatifs à la propriété intellectuelle.
Plus en détailTexte Agrégation limitée par diffusion interne
Page n 1. Texte Agrégation limitée par diffusion interne 1 Le phénomène observé Un fût de déchets radioactifs est enterré secrètement dans le Cantal. Au bout de quelques années, il devient poreux et laisse
Plus en détailUtilisation du logiciel Epson Easy Interactive Tools
Utilisation du logiciel Epson Easy Interactive Tools Ce logiciel permet d'utiliser le stylo electronique comme souris pour contrôler l'ordinateur depuis l'écran et comme feutre électronique pour écrire
Plus en détailQu est-ce qu une probabilité?
Chapitre 1 Qu est-ce qu une probabilité? 1 Modéliser une expérience dont on ne peut prédire le résultat 1.1 Ensemble fondamental d une expérience aléatoire Une expérience aléatoire est une expérience dont
Plus en détailCours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques
Université de Provence Topologie 2 Cours3. Applications continues et homéomorphismes 1 Rappel sur les images réciproques Soit une application f d un ensemble X vers un ensemble Y et soit une partie P de
Plus en détailL isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues
Préambule.................................... xv Bibliographie... xxi I L isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues Introduction...................................
Plus en détailPlateforme de support en ligne. Guide d utilisation
Plateforme de support en ligne Guide d utilisation Sommaire Sommaire...2 Procédure de la plateforme de support...3 Accès à la plateforme de support en ligne...4 Créer un compte utilisateur...5 Oubli de
Plus en détailSUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*)
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 4 1999 SUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*) J. Almeida and M. Delgado Résumé: Le théorème principal trouvé par Ash pour sa preuve
Plus en détailProposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.
DÉVELOPPEMENT 32 A 5 EST LE SEUL GROUPE SIMPLE D ORDRE 60 Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. Démonstration. On considère un groupe G d ordre 60 = 2 2 3 5 et
Plus en détailSOMMAIRE. Présentation assistée sur ordinateur. Collège F.Rabelais 1/10
/0 SOMMAIRE. Lancer le logiciel. Mettre un titre dans une diapositive et du texte. Ajouter une diapositive 4. Créer une diapositive avec une image 5. Créer une diapositive avec un graphique 6. Créer une
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étailCHAPITRE I INTRODUCTION
CHAPITRE I INTRODUCTION A. Histoire D un certain point de vue le début de l histoire de la théorie des nœuds date du temps d Alexandre de Macédoine, plus précisément de sa résolution du problème du fameux
Plus en détailGuide Enseignant de l application OpenERP
Guide Enseignant de l application OpenERP PARTIE I : Accès à l application PGI Open Erp Pour accéder à l application «OpenERP» depuis le web. 1. Ouvrez votre navigateur Internet. 2. Une fois ouvert, cliquez
Plus en détailINTRODUCTION AU CMS MODX
INTRODUCTION AU CMS MODX Introduction 1. Créer 2. Organiser 3. Personnaliser UNE PETITE INTRODUCTION QUEST-CE QU UN CMS? CMS est l acronyme de Content Management System. C est outil qui vous permet de
Plus en détailCours de mathématiques
DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................
Plus en détail1 Introduction C+ + Algorithm e. languag. Algorigramm. machine binaire. 1-1 Chaîne de développement. Séance n 4
1 Introduction 1-1 Chaîne de développement Algorithm e C+ + Algorigramm e languag e machine binaire Le programme est écrit à l aide de Multiprog sous forme d algorigramme puis introduit dans le microcontrôleur
Plus en détailFrancis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) IFT702 Planification en intelligence artificielle
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) PLANIFICATION DE TÂCHES DANS MS PROJECT IFT702 Planification en intelligence artificielle Présenté à M. Froduald KABANZA
Plus en détailDéveloppement mobile MIDP 2.0 Mobile 3D Graphics API (M3G) JSR 184. Frédéric BERTIN fbertin@neotilus.com
Développement mobile MIDP 2.0 Mobile 3D Graphics API (M3G) JSR 184 Frédéric BERTIN fbertin@neotilus.com Présentaion : Mobile 3D Graphics API JSR 184 M3G :présentation Package optionnel de l api J2ME. Prend
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailLes réseaux cellulaires vers la 3G
Les réseaux cellulaires vers la 3G Introduction Master 2 Professionnel STIC-Informatique Module RMHD 1 Introduction Les premiers réseaux téléphoniques cellulaires, connus sous le terme de système de 1ère
Plus en détailMPI Activité.10 : Logique binaire Portes logiques
MPI Activité.10 : Logique binaire Portes logiques I. Introduction De nombreux domaines font appel aux circuits logiques de commutation : non seulement l'informatique, mais aussi les technologies de l'asservissement
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailUML et les Bases de Données
CNAM UML et les Bases de Données UML et les Bases de Données. Diagramme de classes / diagramme d objets (UML)...2.. Premier niveau de modélisation des données d une application...2.2. Les éléments de modélisation...2.2..
Plus en détailTP1 : Initiation à Java et Eclipse
TP1 : Initiation à Java et Eclipse 1 I. Objectif du TP TP1 : Initiation à Java et Eclipse Programmation Mobile Initiation à l environnement Eclipse et aux notions de base du langage Java. II. Environnement
Plus en détailLES TYPES DE DONNÉES DU LANGAGE PASCAL
LES TYPES DE DONNÉES DU LANGAGE PASCAL 75 LES TYPES DE DONNÉES DU LANGAGE PASCAL CHAPITRE 4 OBJECTIFS PRÉSENTER LES NOTIONS D ÉTIQUETTE, DE CONS- TANTE ET DE IABLE DANS LE CONTEXTE DU LAN- GAGE PASCAL.
Plus en détailFonction réciproque. Christelle MELODELIMA. Chapitre 2 :
UE4 : Evaluation des méthodes d analyses appliquées aux sciences de la vie et de la santé Analyse Chapitre 2 : Fonction réciproque Christelle MELODELIMA Année universitaire 2011/2012 Université Joseph
Plus en détailComment automatiser la création d index multiples avec Word 2010. Paul-Henri Dumas - URFIST - 2014
Comment automatiser la création d index multiples avec Word 2010 Qu est ce qu un index? Un index fait partie de l apparat savant d un travail scientifique, tout comme la table des matières, le sommaire
Plus en détailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
Plus en détailCours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Plus en détailChapitre VIII. Les bases de données. Orientées Objet. Motivation
Chapitre VIII Motivation Le modèle relationnel connaît un très grand succès et s avère très adéquat pour les applications traditionnelles des bases de données (gestion) Les bases de données Orientées Objet
Plus en détailPremier cours d informatique
La lecture du règlement intérieur Définition de quelques mots informatiques Premier cours d informatique Salutation d usage et présentation des participants Et du projet -Informatique : Traitement automatique
Plus en détailJEU BOURSIER 2015. Séance d introduction à la plateforme de trading SaxoWebTrader. - Pour débutants -
JEU BOURSIER 2015 Séance d introduction à la plateforme de trading SaxoWebTrader - Pour débutants - A partir d un ordinateur: a) Rends-toi sur le site suisse de SaxoBank: https://webtrader.saxobank.ch/sim/login/
Plus en détailAgence de la biodiversité et Agence des aires marines protégées : intégration ou association?
Agence de la biodiversité et Agence des aires marines protégées : intégration ou association? La création d une Agence de la biodiversité, annoncée dans son principe en septembre 2012 est à l étude depuis
Plus en détailCHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Plus en détailAxiomatique de N, construction de Z
Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................
Plus en détailSituation d apprentissage Les traits vivants avec le logiciel LopArt DUO (#P002)
(#P002) Situation Description... 2 Compétences visées... 2 Préparation (Environ 30 minutes)... 3 Réalisation (Environ 45 minutes)... 4 Intégration (Environ 15 minutes)... 5 Réinvestissement... 5 Fiche
Plus en détailManuel utilisateur Portail SAP
Manuel utilisateur Portail SAP Procédures demande d achats Manuel Utilisateur SmileySup - Portail SAP v1.0 1/31 1. Table des matières 1. Table des matières... 2 2. Introduction... 3 3. Vue processus...
Plus en détailPrénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004
Questionnaire d'examen final INF1101 Sigle du cours Nom : Signature : Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004 Professeur(s)
Plus en détailSTATIQUE GRAPHIQUE ET STATIQUE ANALYTIQUE
ÉCOLE D'INGÉNIEURS DE FRIBOURG (E.I.F.) SECTION DE MÉCANIQUE G.R. Nicolet, revu en 2006 STATIQUE GRAPHIQUE ET STATIQUE ANALYTIQUE Eléments de calcul vectoriel Opérations avec les forces Equilibre du point
Plus en détailUtilisation du logiciel GALAAD
1 Sommaire: Présentation du logiciel GALAAD 1. Démarrer le programme........ 2. Présentation de l écran du logiciel....... Les barres d'outils, sauvegarder... 3. Créer un nouveau fichier........ 4. Préparer
Plus en détailAnnexe 3. Le concept : exemple d une situation d apprentissage.
Annexe 3. Le concept : exemple d une situation d apprentissage. Le concept choisi ici comme exemple est une figure arbitrairement définie, appelée «WEZ», reprise d une expérience de Smoke cité dans un
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étailConfiguration serveur pour le mode L4 DSR
ALOHA Load-Balancer - Application Note Document version: v1.1 Last update: 4 mars 2014 EMEA Headquarters 3, rue du petit robinson ZAC des Metz 78350 Jouy-en-Josas France http://www.haproxy.com/ Objectif
Plus en détailIntroduction à la programmation Travaux pratiques: séance d introduction INFO0201-1
Introduction à la programmation Travaux pratiques: séance d introduction INFO0201-1 B. Baert & F. Ludewig Bruno.Baert@ulg.ac.be - F.Ludewig@ulg.ac.be Qu est-ce que la programmation? Programmer Ecrire un
Plus en détailEXPLOITATIONS PEDAGOGIQUES DU TABLEUR EN STG
Exploitations pédagogiques du tableur en STG Académie de Créteil 2006 1 EXPLOITATIONS PEDAGOGIQUES DU TABLEUR EN STG Commission inter-irem lycées techniques contact : dutarte@club-internet.fr La maquette
Plus en détailCours de Probabilités et de Statistique
Cours de Probabilités et de Statistique Licence 1ère année 2007/2008 Nicolas Prioux Université Paris-Est Cours de Proba-Stat 2 L1.2 Science-Éco Chapitre Notions de théorie des ensembles 1 1.1 Ensembles
Plus en détailReprésentation géométrique d un nombre complexe
CHAPITRE 1 NOMBRES COMPLEXES 1 Représentation géométrique d un nombre complexe 1. Ensemble des nombres complexes Soit i le nombre tel que i = 1 L ensemble des nombres complexes est l ensemble des nombres
Plus en détailFONDEMENTS MATHÉMATIQUES 12 E ANNÉE. Mathématiques financières
FONDEMENTS MATHÉMATIQUES 12 E ANNÉE Mathématiques financières A1. Résoudre des problèmes comportant des intérêts composés dans la prise de décisions financières. [C, L, RP, T, V] Résultat d apprentissage
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étailLa compta à double entrée c'est bien, mangez-en
La compta à double entrée c'est bien, mangez-en Slides: http://www.aquilenet.fr/docs/compta.pdf Compta: https://dolibarr.aquilenet.fr/aquilenet/compta-asso.php Détail: https://atelier.aquilenet.fr/projects/si/wiki/compta
Plus en détailModule Planification
1 Module Planification Interface MS Project 2 a) Charge atelier OF selon délai ou début de fabrication Export charge atelier sous Excel Capacité machine pour la période prédéfinie Date de début et fin
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étailTP1 : Initiation à Java et Eclipse
TP1 : Initiation à Java et Eclipse 1 TP1 : Initiation à Java et Eclipse Systèmes d Exploitation Avancés I. Objectifs du TP Ce TP est une introduction au langage Java. Il vous permettra de comprendre les
Plus en détail1 Comment faire un document Open Office /writer de façon intelligente?
1 Comment faire un document Open Office /writer de façon intelligente? 1.1 Comment fonctionne un traitement de texte?: les balises. Un fichier de traitement de texte (WRITER ou WORD) comporte en plus du
Plus en détailQuelques tests de primalité
Quelques tests de primalité J.-M. Couveignes (merci à T. Ezome et R. Lercier) Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Jean-Marc.Couveignes@u-bordeaux.fr École de printemps C2 Mars
Plus en détailCompilateur Hyperlink. Données extraites et rapports d'erreurs
G. Michaels Consulting Ltd. pour votre système ABB Harmony INFI 90 est le compagnon essentiel de votre système Harmony INFI 90 outils et améliore la productivité et l'efficacité.. Il complète vos Apprenez-en
Plus en détailFormation GISEH Module rédacteur 7, 9 juin 5, 12 juillet 2011
Formation GISEH Module rédacteur 7, 9 juin 5, 12 juillet 2011 Formation GISEH rédacteur Jean-François NEDELEC 06/06/2011 Logiciels gestionnaires de contenu (de site web) GISEH : (version 2.4) Gestion de
Plus en détailGroupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples
Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples Franck LESIEUR Mathématiques et Applications, Physique Mathématique d Orléans UMR 6628 - BP 6759 45067 ORLEANS CEDEX 2 - FRANCE e-mail
Plus en détailRelation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices
Lycée Pierre de Fermat 2012/2013 MPSI 1 Feuille d exercices Manipulation des relations d ordre. Relation d ordre Exercice 1. Soit E un ensemble fixé contenant au moins deux éléments. On considère la relation
Plus en détailConditions générales d'utilisation
Conditions générales d'utilisation 1 Objet 1.1 Principe BIZWEE IO LTD met à la disposition de ses partenaires une plateforme en ligne intitulée «BizWee» consistant en un système d envoi de SMS, permettant
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é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étailPARAMETRAGE DU STOCKAGE/DESTOCKAGE DES ARTICLES & MOUVEMENTS DE STOCKS
PARAMETRAGE DU STOCKAGE/DESTOCKAGE DES ARTICLES & MOUVEMENTS DE STOCKS Ce document ne concerne que les changements survenus dans la version 2.1 au plus. D'importants changements ont été entrepris dans
Plus en détailComment bien référencer mes sites internet? Les 100 SECRETS EN VIDÉO
Comment bien référencer mes sites internet? Les 100 SECRETS EN VIDÉO éditions Page 2/14 A propos de l auteur... Souvent défini comme «sérial-créateur», Jean-Marie PÉRON est à l origine depuis 1992 d entreprises
Plus en détailL'instruction if permet d'exécuter des instructions différentes selon qu'une condition est vraie ou fausse. Sa forme de base est la suivante:
420-183 Programmation 1 8. Les structures conditionnelles Dans l'écriture de tout programme informatique, une des premières nécessités que nous rencontrons est de pouvoir faire des choix. Dans une application
Plus en détailTUTORIEL Qualit Eval. Introduction :
TUTORIEL Qualit Eval Introduction : Qualit Eval est à la fois un logiciel et un référentiel d évaluation de la qualité des prestations en établissements pour Personnes Agées. Notre outil a été spécifiquement
Plus en détailSYSTEME DE GESTION DES ENERGIES EWTS EMBEDDED WIRELESS TELEMETRY SYSTEM
SYSTEME DE GESTION DES ENERGIES EWTS EMBEDDED WIRELESS TELEMETRY SYSTEM Copyright TECH 2012 Technext - 8, avenue Saint Jean - 06400 CANNES Société - TECHNEXT France - Tel : (+ 33) 6 09 87 62 92 - Fax :
Plus en détailMise en place d un routeur en Load Balancing
Mise en place d un routeur en Load Balancing Introduction Schéma du réseau voulu : Il y a deux lignes ADSL : La ligne de D La ligne de M Matérielles : Modem M (Netgear N150) Modem D (D-link DSL-2750B)
Plus en détailGUIDE DU NOUVEL UTILISATEUR
GUIDE DU NOUVEL UTILISATEUR Le but de ce tutoriel est de vous guider à travers les fonctions de base de votre logiciel. Nous partirons du principe que votre terminal de pointage est déjà installé. A la
Plus en détailASSOCIATION NATIONALE D'ASSISTANCE ADMINISTRATIVE ET FISCALE DES AVOCATS
Modèles de factures Module : Gestion Version : 3.03a Date : 14 juin 2006 Mise à jour : 01 décembre 2009 Objectif Afin de vous permettre de gagner du temps lors de la création de vos factures, Aidavocat
Plus en détailBases de données cours 4 Construction de requêtes en SQL. Catalin Dima
Bases de données cours 4 Construction de requêtes en SQL Catalin Dima Requêtes SQL et langage naturel Énoncés en langage naturel. Traduction en SQL? Correspondance entre syntagmes/phrases et opérations
Plus en détail1 Presentation du bandeau. 2 Principe de création d un projet : C2 industrialisation Apprendre Gantt project Ver 2.6 planifier
1 Presentation du bandeau Créer une tâche Supprimer une tâche Affiche les propriétés d une tâche Onglet Gantt ou Ressources Calendrier Liste des tâches (ID ; Nom ; Date début et Date de Fin) 2 Principe
Plus en détailActivation de la licence
Activation de la licence Avant de pouvoir utiliser ESI[tronic].0, il est nécessaire d'exécuter la procédure d'activation de licence. Pour ouvrir ce menu, ouvrez d'abord le menu "Paramètres"(), puis appuyez
Plus en détailEn 2011, le service Ameli-direct, anciennement appelé «Infosoins» puis «Adresses et Tarifs» connaît les modifications suivantes :
@ AMELI-DIRECT VERSION 3.3 2006-2011 : INFOSOINS DEVIENT AMELI-DIRECT Dès la COG 2006-2009, l Assurance Maladie s engage à développer à l intention de ses assurés un système d information tant sur le fonctionnement
Plus en détailWindy and Warm. http://213.251.149.248/sof2/ Créer un serveur LAN (SERVEUR) Création d'un serveur LAN Version FS_MOD 1.4.
1 sur 7 24/02/2013 12:11 Windy and Warm http://213.251.149.248/sof2/ Créer un serveur LAN (SERVEUR) Création d'un serveur LAN Version FS_MOD 1.4 - Sous Windows- Il existe une première méthode, sur laquelle
Plus en détailORACLE PRIMAVERA PORTFOLIO MANAGEMENT
ORACLE PRIMAVERA PORTFOLIO MANAGEMENT FONCTIONNALITÉS GESTION DE PORTEFEUILLE Stratégie d approche permettant de sélectionner les investissements les plus rentables et de créer de la valeur Paramètres
Plus en détailNOTICE D UTILISATION DE LA PLATEFORME DES AIDES REGIONALES (PAR) UNEEM PREMIERE CONNEXION - CREATION & GESTION DE VOTRE COMPTE UTILISATEUR
NOTICE D UTILISATION DE LA PLATEFORME DES AIDES REGIONALES (PAR) UNEEM PREMIERE CONNEXION - CREATION & GESTION DE VOTRE COMPTE UTILISATEUR SOMMAIRE 1 PREMIERE CONNEXION : ACCEDER A LA PAR 2 2- CREER SON
Plus en détailDOSSIER DE CANDIDATURE
UNIVERSITÉ PARIS-DAUPHINE FORMATION CONTINUE DOSSIER DE CANDIDATURE MBA Management International Cadre réservé à l administration Nom : Prénom : Dossier reçu le : Date d entretien le : PUBLIC CIBLE Le
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étailManuel d utilisation du site web de l ONRN
Manuel d utilisation du site web de l ONRN Introduction Le but premier de ce document est d expliquer comment contribuer sur le site ONRN. Le site ONRN est un site dont le contenu est géré par un outil
Plus en détailFonctions pour la Suisse
Fonctions pour la Suisse Microsoft Corporation Publié : novembre 2006 Microsoft Dynamics est une ligne de solutions de gestion d'entreprise intégrées et adaptables qui vous permet, ainsi qu'à vos employés,
Plus en détailMon-complement-retraite.com Aide en ligne
Mon-complement-retraite.com Aide en ligne Sommaire J ai créé mon compte Je n ai pas de compte Je ne connais pas mon numéro de contrat J ai oublié mon mot de passe 2 J ai créé mon compte : Pour accéder
Plus en détailQuantification Scalaire et Prédictive
Quantification Scalaire et Prédictive Marco Cagnazzo Département Traitement du Signal et des Images TELECOM ParisTech 7 Décembre 2012 M. Cagnazzo Quantification Scalaire et Prédictive 1/64 Plan Introduction
Plus en détailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détailSINE QUA NON. Découverte et Prise en main du logiciel Utilisation de bases
SINE QUA NON Découverte et Prise en main du logiciel Utilisation de bases Sine qua non est un logiciel «traceur de courbes planes» mais il possède aussi bien d autres fonctionnalités que nous verrons tout
Plus en détail1. Qu est ce que «Cour d arbitrage»?... 2 1.1. Définition... 2 1.2. Quel est l état de la base de données?... 2 2. Comment rechercher?... 3 3.
1. Qu est ce que «Cour d arbitrage»?... 2 1.1. Définition... 2 1.2. Quel est l état de la base de données?... 2 2. Comment rechercher?... 3 3. Description des rubriques... 5 4. Comment naviguer?... 8 4.1.
Plus en détailBase de données relationnelle et requêtes SQL
Base de données relationnelle et requêtes SQL 1e partie Anne-Marie Cubat Une question pour commencer : que voyez-vous? Cela reste flou Les plans de «Prison Break»? Non, cherchons ailleurs! Et de plus près,
Plus en détail