Automates finis. Cédric Lhoussaine. Printemps 2012
|
|
- Hippolyte Rondeau
- il y a 7 ans
- Total affichages :
Transcription
1 Automates finis Automates et Logiques Cédric Lhoussaine University of Lille, France Printemps 2012
2 1 Introduction 2 Automates finis déterministes (AFD) 3 Automates finis non déterministes (AFN) Définitions Équivalence entre AFD et AFN 4 Automates finis non-déterministes avec ɛ-transitions (ɛ-afn) Définition Équivalence entre AFD et ɛ-afn
3 1 Introduction 2 Automates finis déterministes (AFD) 3 Automates finis non déterministes (AFN) Définitions Équivalence entre AFD et AFN 4 Automates finis non-déterministes avec ɛ-transitions (ɛ-afn) Définition Équivalence entre AFD et ɛ-afn
4 Automate fini déterministe Un automate fini déterministe (AFD) A est une quintuplet A = (Q, Σ, δ, q 0, F ) où Q est un ensemble fini d états; Σ est un alphabet; δ : Q Σ Q est la fonction de transition; q 0 Q est l état initial; F Q est l ensemble des états acceptants ou finaux.
5 Langage reconnu ˆδ est l extension de la fonction de transition δ aux mots définie par: ˆδ : Q Σ Q (q, ɛ) q (q, xw) ˆδ(δ(q, x), w) Soit A = (Q, Σ, δ, q 0, F) un AFD, le langage reconnu par A, noté (A), est défini par (A) = {w ˆδ(q 0, w) F}
6 Langage reconnaissable On dit qu un langage L est reconnaissable s il existe un AFD A tel que (A) = L.
7 Définitions 1 Introduction 2 Automates finis déterministes (AFD) 3 Automates finis non déterministes (AFN) Définitions Équivalence entre AFD et AFN 4 Automates finis non-déterministes avec ɛ-transitions (ɛ-afn) Définition Équivalence entre AFD et ɛ-afn
8 Définitions Automate fini non-déterministe Un automate fini non-déterministe (AFN) A est un quintuplet A = (Q, Σ, δ 0, q 0, F) où Q est un ensemble fini d états; Σ est un alphabet; q 0 Q est l état initial; F Q est l ensemble des états acceptants (ou finaux); δ : Q Σ 2 Q est la fonction de transition qui à un état et un symbol associe un ensemble d états.
9 Définitions Langage reconnu ˆδ est l extension de la fonction de transition δ aux mots définie par: ˆδ : Q Σ 2 Q (q, ɛ) {q} (q, xw) q δ(q,x) ˆδ(q, w) Soit A = (Q, Σ, δ, q 0, F) un AFN, le langage reconnu par A, noté (A), est défini par (A) = {w ˆδ(q 0, w) F }
10 Équivalence entre AFD et AFN Équivalence AFD/AFN Théorème Soient A N = (Q N, Σ, δ N, q 0, F N ) un AFN, et et A D = (Q D, Σ, δ D, {q 0 }, F D ) l AFD où Q D = 2 Q N F D = {S S Q N et F N Q N } δ D (S, a) = p S δ N(p, a) alors, (A N ) = (A D ).
11 Équivalence entre AFD et AFN Théorème Un langage est reconnu par un AFN si et seulement s il est reconnu par un AFD.
12 Définition 1 Introduction 2 Automates finis déterministes (AFD) 3 Automates finis non déterministes (AFN) Définitions Équivalence entre AFD et AFN 4 Automates finis non-déterministes avec ɛ-transitions (ɛ-afn) Définition Équivalence entre AFD et ɛ-afn
13 Définition Automate non-déterministe avec ɛ-transitions Un automate non-déterministe avec ɛ-transitions (ɛ-afn) est un quintuplet A = (Q, Σ, δ, q 0, F) dont les éléments ont la même interprétation qu un AFN à l exception de δ qui est une fonction de Q (Σ {ɛ}) 2 Q.
14 Définition ɛ-close(q) On définit ɛ-close(q) comme l ensemble des états atteignables à partir de q par une séquence, éventuellement vide, d ɛ-transitions. En d autres termes, c est le plus petit ensemble satisfaisant: q ɛ close(q); si p δ(ɛ, p ) et p ɛ close(q) alors p ɛ close(q).
15 Définition Langage reconnu ˆδ est l extension de la fonction de transition δ aux mots pour les ɛ-afn, définie par: ˆδ(q, ɛ) = ɛ close(q); soit {p 1,..., p k } = ˆδ(q, v) et {r 1,..., r m } = k i=1 δ(p i, a) alors ˆδ(q, va) = m i=1 ɛ-close(r i).
16 Équivalence entre AFD et ɛ-afn Équivalence ɛ-afn/afd Théorème Soient A E = (Q E, Σ, δ E, q 0, F E ) un ɛ-afn, et A D = (Q D, Σ, δ D, q D, F D ) un AFD où Q D = 2 Q E q D = ɛ close F D = {S S Q D ets F E } δ D (S, a) = m j=1 ɛ close(r j) dès que S = {p 1,..., p k } et {r 1,..., r m } = k i=1 δ E(p i, a). alors (A E ) = (A D ).
17 Équivalence entre AFD et ɛ-afn Équivalence ɛ-afn/afd Théorème Un langage est reconnu par un ɛ-afn si et seulement s il est reconnu par un AFD.
Automatique (AU3): Précision. Département GEII, IUT de Brest contact: vincent.choqueuse@univ-brest.fr
Automatique (AU3): Précision des systèmes bouclés Département GEII, IUT de Brest contact: vincent.choqueuse@univ-brest.fr Plan de la présentation Introduction 2 Écart statique Définition Expression Entrée
Plus en détailTâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs)
(d après une idée du collège des Portes du Midi de Maurs) Table des matières Fiche professeur... 2 Fiche élève... 5 1 Fiche professeur Niveaux et objectifs pédagogiques 5 e : introduction ou utilisation
Plus en détailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détailEstimation: intervalle de fluctuation et de confiance. Mars 2012. IREM: groupe Proba-Stat. Fluctuation. Confiance. dans les programmes comparaison
Estimation: intervalle de fluctuation et de confiance Mars 2012 IREM: groupe Proba-Stat Estimation Term.1 Intervalle de fluctuation connu : probabilité p, taille de l échantillon n but : estimer une fréquence
Plus en détailUTILISER UN SITE COLLABORATIF
Sites collaboratifs Pléiade : guide utilisateur détaillé 1 Sites collaboratifs Pléiade : guide utilisateur détaillé UTILISER UN SITE COLLABORATIF COMMENT UTILISER LE BLOG Sites collaboratifs Pléiade :
Plus en détail1.1 Rappels sur le produit cartésien... 1. 1.2 Relations... 3. 1.3 Graphes dirigés... 8. 1.4 Arbres... 12. 1.5 Exercices... 19. 2.1 Motivation...
Table des matières 1 Relations et graphes 1 1.1 Rappels sur le produit cartésien.................... 1 1.2 Relations.................................. 3 1.3 Graphes dirigés..............................
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détailFormacode 11.0 Thésaurus de l offre de formation
Thésaurus de l offre de formation Champs sémantiques Listes annexes Des types de certifications/diplômes/titres Des pays Des logiciels Des publics Des mots-outils Correspondances Formacode Formacode Présentation
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailThéorie des Langages
Théorie des Langages Analyse syntaxique descendante Claude Moulin Université de Technologie de Compiègne Printemps 2010 Sommaire 1 Principe 2 Premiers 3 Suivants 4 Analyse 5 Grammaire LL(1) Exemple : Grammaire
Plus en détailTable des matières. Introduction
Table des matières 1 Formalisation des virus informatiques 2 1.1 Les machines de Turing........................ 2 1.2 Formalisation de Fred Cohen..................... 2 1.2.1 Définition d un virus informatique..............
Plus en détailCH.6 Propriétés des langages non contextuels
CH.6 Propriétés des langages non contetuels 6.1 Le lemme de pompage 6.2 Les propriétés de fermeture 6.3 Les problèmes de décidabilité 6.4 Les langages non contetuels déterministes utomates ch6 1 6.1 Le
Plus en détailAmphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
Plus en détailLogiciel de Base. I. Représentation des nombres
Logiciel de Base (A1-06/07) Léon Mugwaneza ESIL/Dépt. Informatique (bureau A118) mugwaneza@univmed.fr I. Représentation des nombres Codage et représentation de l'information Information externe formats
Plus en détailVÉRIFICATION DES SYSTÈMES À PILE AU MOYEN DES ALGÈBRES DE KLEENE
VINCENT MATHIEU VÉRIFICATION DES SYSTÈMES À PILE AU MOYEN DES ALGÈBRES DE KLEENE Mémoire présenté à la Faculté des études supérieures de l Université Laval dans le cadre du programme de maîtrise en informatique
Plus en détailChapitre 3 : INFERENCE
Chapitre 3 : INFERENCE 3.1 L ÉCHANTILLONNAGE 3.1.1 Introduction 3.1.2 L échantillonnage aléatoire 3.1.3 Estimation ponctuelle 3.1.4 Distributions d échantillonnage 3.1.5 Intervalles de probabilité L échantillonnage
Plus en détailÉCHANGE DE PRATIQUES : INTRODUCTION DU SCÉNARIO PROFESSIONNEL DANS LA FILIÈRE COMMERCIALE
ÉCHANGE DE PRATIQUES : INTRODUCTION DU SCÉNARIO PROFESSIONNEL DANS LA FILIÈRE COMMERCIALE CONCEPT CLÉ Milieu construit par l enseignant pour mettre l élève en activité Simulateur d activité Contexte professionnel
Plus en détailCalculating Greeks by Monte Carlo simulation
Calculating Greeks by Monte Carlo simulation Filière mathématiques financières Projet de spécialité Basile Voisin, Xavier Milhaud Encadré par Mme Ying Jiao ENSIMAG - Mai-Juin 27 able des matières 1 Remerciements
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étailModule d Electricité. 2 ème partie : Electrostatique. Fabrice Sincère (version 3.0.1) http://pagesperso-orange.fr/fabrice.sincere
Module d Electricité 2 ème partie : Electrostatique Fabrice Sincère (version 3.0.1) http://pagesperso-orange.fr/fabrice.sincere 1 Introduction Principaux constituants de la matière : - protons : charge
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailTP 1. Prise en main du langage Python
TP. Prise en main du langage Python Cette année nous travaillerons avec le langage Python version 3. ; nous utiliserons l environnement de développement IDLE. Étape 0. Dans votre espace personnel, créer
Plus en détailInformatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur
Université Paris-Sud Licence d Informatique Informatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur Adresse de l auteur : LIX École Polytechnique
Plus en détailFormacode 11.0 Thésaurus de l offre de formation
Thésaurus de l offre de formation Champs sémantiques Listes annexes Des types de certifications/diplômes/titres Des pays Des logiciels Des publics Des mots-outils Correspondances Formacode Formacode Présentation
Plus en détailLECTURE, RECHERCHE DOCUMENTAIRE ET INDEXATION
LECTURE, RECHERCHE DOCUMENTAIRE ET INDEXATION Séquence Lettres / Documentation / TICE Classe de 6è et club journal Collège Gabrielle Colette Puget sur Argens Académie de Nice Roxane Obadia CONSTAT INITIAL
Plus en détailLoi binomiale Lois normales
Loi binomiale Lois normales Christophe ROSSIGNOL Année scolaire 204/205 Table des matières Rappels sur la loi binomiale 2. Loi de Bernoulli............................................ 2.2 Schéma de Bernoulli
Plus en détailSpécialité auxiliaire en prothèse dentaire du brevet d études professionnelles. ANNEXE IIb DEFINITION DES EPREUVES
ANNEXE IIb DEFINITION DES EPREUVES 51 Epreuve EP1 : ANALYSE ET COMMUNICATION TECHNOLOGIQUES UP1 Coefficient 4 Finalité et objectifs de l épreuve L épreuve vise à évaluer la capacité du candidat à mobiliser
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étailLe codage informatique
Outils de Bureautique Le codage informatique (exemple : du binaire au traitement de texte) PLAN 3) Le codage binaire 4) Représentation physique des bits 5) Le bit est un peu court... 6) Codage de texte
Plus en détailMATHS FINANCIERES. Mireille.Bossy@sophia.inria.fr. Projet OMEGA
MATHS FINANCIERES Mireille.Bossy@sophia.inria.fr Projet OMEGA Sophia Antipolis, septembre 2004 1. Introduction : la valorisation de contrats optionnels Options d achat et de vente : Call et Put Une option
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailDéveloppement d'applications pour le référencement d'un site web et pour la gestion de campagnes de mails
Technology Evaluation Centers, Inc. Développement d'applications pour le référencement d'un site web et pour la gestion de campagnes de mails François TESSIER Stage du 10 Avril au 15 Juin 2007 Département
Plus en détailGOL-502 Industrie de services. Travaux Pratique / Devoir #7
GOL-502 Industrie de services Travaux Pratique / Devoir #7 Version 2012 Modélisation à l'aide du langage UML 1) Diagramme de cas d'utilisation 2) Diagramme de classes 3) Diagramme de séquence 4) Diagramme
Plus en détailANNALES DES TÉLÉCOMMUNICATIONS / ANNALS OF TELECOMMUNICATIONS
Catalogue des périodiques 2014 0 01NET Périodicité : bimensuelle Thème principal : informatique A ACTES DE LA RECHERCHE EN SCIENCES SOCIALES Texte intégral www.cairn.info : 2001 (n 136-137) - 2010 (n 185)
Plus en détailCATALOGUE FORMATIONS 2015. DOMAINE Bases de données
DOMAINE Bases de données Version 1.0 - Octobre 2014 1, 2, 3 juin 2015 1, 2, 3 octobre 2015 CATALOGUE Analyse et conception d une base de données Elaboration de fiches de collecte de données Techniques
Plus en détailPartie 1 - Séquence 3 Original d une fonction
Partie - Séquence 3 Original d une fonction Lycée Victor Hugo - Besançon - STS 2 I. Généralités I. Généralités Définition Si F(p) = L [f(t)u (t)](p), alors on dit que f est l original de F. On note f(t)
Plus en détailArgument-fetching dataflow machine de G.R. Gao et J.B. Dennis (McGill, 1988) = machine dataflow sans flux de données
EARTH et Threaded-C: Éléments clés du manuel de références de Threaded-C Bref historique de EARTH et Threaded-C Ancêtres de l architecture EARTH: Slide 1 Machine à flux de données statique de J.B. Dennis
Plus en détailModélisation du comportement habituel de la personne en smarthome
Modélisation du comportement habituel de la personne en smarthome Arnaud Paris, Selma Arbaoui, Nathalie Cislo, Adnen El-Amraoui, Nacim Ramdani Université d Orléans, INSA-CVL, Laboratoire PRISME 26 mai
Plus en détailOMGL6 Dossier de Spécifications
OMGL6 Dossier de Spécifications HELPDESK Radoslav Cvetkoski, Xavier Fantin, Yohann Haution, Yanis Salti, Sébastien Tassier Cvetkoski, Fantin, Haution, Salti, Tassier Page 1 Sommaire 1. Historique du document...
Plus en détailEVALUATION Nombres CM1
IEN HAUTE VALLEE DE L OISE EVALUATION Nombres CM1 PRESENTATION CONSIGNES DE PASSATION CONSIGNES DE CODAGE Livret du maître Nombres évaluation CM1 2011/2012 Page 1 CM1 MATHÉMATIQUES Champs Compétences Composantes
Plus en détailFondements de l informatique Logique, modèles, et calculs
Fondements de l informatique Logique, modèles, et calculs Cours INF423 de l Ecole Polytechnique Olivier Bournez Version du 20 septembre 2013 2 Table des matières 1 Introduction 9 1.1 Concepts mathématiques........................
Plus en détailAlgorithmes d'apprentissage
Algorithmes d'apprentissage 1 Agents qui apprennent à partir d'exemples La problématique : prise de décision automatisée à partir d'un ensemble d'exemples Diagnostic médical Réponse à une demande de prêt
Plus en détail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
Plus en détail3. Agrégats, ratios et équilibres macroéconomiques
3. Agrégats, ratios et équilibres macroéconomiques Le calcul du PIB (1) PIB : Résultat final de l activité de production des unités productrices résidentes 3 façons de le mesurer : Par la production Par
Plus en détailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Plus en détailOrganigramme / Algorigramme Dossier élève 1 SI
Organigramme / Algorigramme Dossier élève 1 SI CI 10, I11 ; CI 11, I10 C24 Algorithmique 8 février 2009 (13:47) 1. Introduction Un organigramme (ou algorigramme, lorsqu il est plus particulièrement appliqué
Plus en détailObjets Combinatoires élementaires
Objets Combinatoires élementaires 0-0 Permutations Arrangements Permutations pour un multi-ensemble mots sous-ensemble à k éléments (Problème du choix) Compositions LE2I 04 1 Permutations Supposons que
Plus en détailSystèmes de communications numériques 2
Systèmes de Communications Numériques Philippe Ciuciu, Christophe Vignat Laboratoire des Signaux et Systèmes CNRS SUPÉLEC UPS SUPÉLEC, Plateau de Moulon, 91192 Gif-sur-Yvette ciuciu@lss.supelec.fr Université
Plus en détailLes nouveaux programmes de l él. école primaire. Projet soumis à consultation
Les nouveaux programmes de l él primaire Projet soumis à consultation primaire Les nouveaux programmes sont plus courts : environ 36 pages format BO contre 104. Ils sont écrits dans un langage clair sans
Plus en détailLatitude 49.37 N Longitude 06.13 E Altitude 376 m RÉSUMÉ MENSUEL DU TEMPS DE JANVIER 2014
RÉSUMÉ MENSUEL DU TEMPS DE JANVIER 2014 Valeurs moyennes: Valeur Jour Valeur (en C) (en C) (en C) gazon (en C) 11,4 7 13,9 1975 3,6 0,8 4,9 2007-6,3 1963-3,0 29-17,8 1979-2,8 12-24,6 1985 37,1 50,3 95,5
Plus en détailGénie logiciel avec UML. Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique
Génie logiciel avec UML Notions sur le langage UML adapté pour les cours du programme Techniques de l informatique Claude Boutet Session hiver 2008 Modélisation de systèmes Table des matières TABLE DES
Plus en détailMise à jour: 29 janvier 2008. Instructions Paiement en ligne
Mise à jour: 29 janvier 2008 Instructions Paiement en ligne Instruction générales Bienvenue sur la page de Paiement en ligne. Elle a été conçue pour vous permettre de faire un paiement facilement et de
Plus en détailPROGRAMMES DONT LES UNIVERSITES PARTENAIRES SONT DIPLOMANTES. N.B : DIPLOME DE TECHNICIEN SUPERIEUR(DTS) : équivaut au BAC+2
PROGRAMMES DONT LES UNIVERSITES PARTENAIRES SONT DIPLOMANTES 1. MAHATMA GANDHI UNIVERSITY 2. INSTITUT SUPERIEUR DE BURKINAFASO N.B : DIPLOME DE TECHNICIEN SUPERIEUR(DTS) : équivaut au BAC+2 PROGRAMMES
Plus en détailOnveutetudierl'equationdierentiellesuivante
Quelques resultats sur l'equation des ondes Onveutetudierl'equationdierentiellesuivante (Ondes) @tu xu=f surr Rd: C'est dratique une equation +jj designature(;d).cettenoteestorganiseedela hyperbolique
Plus en détailVisible ou invisible : le design des organisations internationales
Visible ou invisible : le design des organisations internationales Histoire des organisations internationales et évolution de leurs modes de représentation. civic city Visible ou invisible : le design
Plus en détaildonnées en connaissance et en actions?
1 Partie 2 : Présentation de la plateforme SPSS Modeler : Comment transformer vos données en connaissance et en actions? SPSS Modeler : l atelier de data mining Large gamme de techniques d analyse (algorithmes)
Plus en détailComment configurer. le web.
Café du jeudi du 30 avril 2009 Comment configurer son téléphone VoIP via le web. Présentation IntroductionI t d ti Possibilités de configuration Exercices pratiques Numérotations Questions/réponses 01/05/2009
Plus en détailChapitre 4 : Édition de fichiers texte - Vi
Édition de fichiers texte - Vi ÉNONCÉSDUCHAPITRE4 33 Chapitre 4 : Édition de fichiers texte - Vi X Durée : 1heure30 X Mots-clés : Éditeur, texte, vi, vim. X Objectif À l'issue de ce chapitre, vous serez
Plus en détailNOMENCLATURE ECONOMIE SOCIALE SOLIDAIRE (ESS)
NOMENCLATURE ECONOMIE SOCIALE SOLIDAIRE (ESS) Nomenclature ESS Nomenclature d'activité Nomenclature Catégorie Juridique 100 Coopérative 110 Coopérative secteur agricole 111 Sociétés de coop. agricole 112
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailDes réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov
Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University prenom.nom@mines-paristech.fr
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étailEcrire, un défi pour l'école?
Français 2000, n 194-195 - janvier 2005 Ecrire, un défi pour l'école? SOMMAIRE Éditorial (J. Lefèbvre) Dossier : Écrire, un défi pour l école! Introduction : Faut-il apprendre à écrire? (J. Lefèbvre et
Plus en détailPython - introduction à la programmation et calcul scientifique
Université de Strasbourg Environnements Informatique Python - introduction à la programmation et calcul scientifique Feuille de TP 1 Avant de commencer Le but de ce TP est de vous montrer les bases de
Plus en détailDossier 03 Périphériques d acquisition
Dossier 03 Périphériques d acquisition I. PERIPHERIQUES D ACQUISITION... 1 II. CARACTERISTIQUES GENERALES... 2 A. CLAVIER... 2 B. SOURIS... 3 C. LECTEUR DE CODES A BARRES (OU CODE-BARRES)... 3 D. SCANNER...
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étailNOTICE SIMPLIFIEE ER-A280F. I Initialisation avec Remise à Zéro de la caisse : ENTER PASSWORD ER-A280V. Ver1.02
NOTICE SIMPLIFIEE ER-A280F I Initialisation avec Remise à Zéro de la caisse : A faire absolument au déballage de la caisse avant de commencer à programmer. Cette étape ne nécessite pas la mise en place
Plus en détailProblème d ordonnancement de véhicules en variables booléennes
Problème d ordonnancement de véhicules en variables booléennes Freddy Hetman 2 juillet 2013 Faculté des sciences Jean Perrin Freddy Hetman () 2 juillet 2013 1 / 22 Sommaire 1 Introduction 2 Le problème
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailUtilité et nécessité de disposer d une bonne politique de mot de passe.
Utilité et nécessité de disposer d une bonne politique de mot de passe. Chaque utilisateur de PC est identifié dans son CPAS par deux éléments : 1. son UID (user identification), c'est-à-dire son nom d
Plus en détailPartie 0 : Gestion des tablespace et des utilisateurs... 3
Sommaire Partie 0 : Gestion des tablespace et des utilisateurs... 3 1- Créer deux TableSpaces votre_nom-tbs et Votre_nom-TempTBS :... 3 2. Créer un utilisateur qui porte votre nom :... 3 3. Attribuer à
Plus en détailL ARBORESCENCE. Qu est-ce qu un dossier? L arborescence?
L ARBORESCENCE Qu est-ce qu un dossier? Un dossier est une pochette vide dans laquelle on peut disposer des documents créés à l aide de l outil informatique. Comme les systèmes utilisés dans la vie courante
Plus en détailRégion Nord-Pas de Calais
Psychothérapeute - Formatrice - Spécialiste de l enfant CYCLE DE FORMATION SPÉCIALISÉE SÉMINAIRES DE DÉVELOPPEMENT PERSONNEL SUPERVISIONS DE PRATIQUE FORMATIONS SUR MESURE Région Nord-Pas de Calais Béthune
Plus en détailFormats d images. 1 Introduction
Formats d images 1 Introduction Lorsque nous utilisons un ordinateur ou un smartphone l écran constitue un élément principal de l interaction avec la machine. Les images sont donc au cœur de l utilisation
Plus en détailCabri et le programme de géométrie au secondaire au Québec
Cabri et le programme de géométrie au secondaire au Québec Benoît Côté Département de mathématiques, UQAM, Québec cote.benoit@uqam.ca 1. Introduction - Exercice de didactique fiction Que signifie intégrer
Plus en détailCours d Informatique
Cours d Informatique 1ère année SM/SMI 2007/2008, Info 2 Département de Mathématiques et d Informatique, Université Mohammed V elbenani@hotmail.com sayah@fsr.ac.ma 2007/2008 Info2, 1ère année SM/SMI 1
Plus en détailLes chaînes de caractères
Les chaînes de caractères Dans un programme informatique, les chaînes de caractères servent à stocker les informations non numériques comme par exemple une liste de nom de personne ou des adresses. Il
Plus en détailLe réseau Internet. Christian.Fondrat@dsi.univ-paris5.fr
Le réseau Internet Christian.Fondrat@dsi.univ-paris5.fr Un réseau Définition : Un réseau est un ensemble d ordinateurs connectés et qui communiquent entre eux. Classification : Réseau local (LAN = Local
Plus en détailLes suites numériques
Chapitre 3 Term. STMG Les suites numériques Ce que dit le programme : Suites arithmétiques et géométriques CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Suites arithmétiques et géométriques Expression du terme
Plus en détailPlus courts chemins, programmation dynamique
1 Plus courts chemins, programmation dynamique 1. Plus courts chemins à partir d un sommet 2. Plus courts chemins entre tous les sommets 3. Semi-anneau 4. Programmation dynamique 5. Applications à la bio-informatique
Plus en détailFormacode 11.0 Thésaurus de l offre de formation
Thésaurus de l offre de formation Champs sémantiques Listes annexes Des types de certifications/diplômes/titres Des pays Des logiciels Des publics Des mots-outils Correspondances Formacode Formacode Présentation
Plus en détailModèles de Calcul. Yassine Lakhnech. 2007/08 Université Joseph Fourier Lab.: VERIMAG. Yassine.Lakhnech@imag.fr. Modèles de Calcul Start p.
Modèles de Calcul Yassine Lakhnech Yassine.Lakhnech@imag.fr 2007/08 Université Joseph Fourier Lab.: VERIMAG Modèles de Calcul Start p.1/81 Équipe pédagogique Cours : Saddek Bensalem et Yassine Lakhnech
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailExo7. Probabilité conditionnelle. Exercices : Martine Quinio
Exercices : Martine Quinio Exo7 Probabilité conditionnelle Exercice 1 Dans la salle des profs 60% sont des femmes ; une femme sur trois porte des lunettes et un homme sur deux porte des lunettes : quelle
Plus en détail4. Martingales à temps discret
Martingales à temps discret 25 4. Martingales à temps discret 4.1. Généralités. On fixe un espace de probabilités filtré (Ω, (F n ) n, F, IP ). On pose que F contient ses ensembles négligeables mais les
Plus en détailCryptographie Quantique
Cryptographie Quantique Jean-Marc Merolla Chargé de Recherche CNRS Email: jean-marc.merolla@univ-fcomte.fr Département d Optique P.-M. Duffieux/UMR FEMTO-ST 6174 2009 1 Plan de la Présentation Introduction
Plus en détailOMGL 6 Cahier des charges
OMGL 6 Helpdesk Radoslav Cvetkoski, Xavier Fanti, Yohann Haution, Yanis Salti, Sébastien Tassier Sommaire Helpdesk... 1 0. Historique du document... 3 1. Introduction... 3 2. Présentation de la société...
Plus en détail5.2 Théorème/Transformée de Fourier a) Théorème
. Théorème de Fourier et Transformée de Fourier Fourier, Joseph (788). Théorème/Transformée de Fourier a) Théorème Théorème «de Fourier»: N importe quelle courbe peut être décomposée en une superposition
Plus en détailAnalyse de Programmes Malveillants par Abstraction de Comportements
Analyse de Programmes Malveillants par Abstraction de Comportements Philippe Beaucamps To cite this version: Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements. Logic
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailConnectiques et Utilisation d un disque dur multimédia MMEMUP
Date : TP : Disque dur multimédia MMEMUP Nom : Prénom : Classe : Groupe : Bac Pro SEN Hazebrouck Enseignement PROFESSIONNEL. Lycée Saint Joseph Connectiques et Utilisation d un disque dur multimédia MMEMUP
Plus en détailEVALUATIONS MI-PARCOURS CM2
Les enseignants de CM2 de la circonscription de METZ-SUD proposent EVALUATIONS MI-PARCOURS CM2 Mathématiques Livret enseignant NOMBRES ET CALCUL Circonscription de METZ-SUD Page 1 Séquence 1 : Exercice
Plus en détailUNIVERSITÉ DE TECHNOLOGIE DE COMPIÈGNE. Réforme du Tronc Commun: bilan et suivi des éléments de réforme
UNIVERSITÉ DE TECHNOLOGIE DE COMPIÈGNE Réforme du Tronc Commun: bilan et suivi des éléments de réforme Centre Benjamin Franklin - BP 60319 - Rue Roger Couttolenc - 60203 Compiègne cedex. tél. 03 44 23
Plus en détailFiche n 1 : Téléverser une ressource dans la plateforme
Fiche n 1 : Téléverser une ressource dans la plateforme 1 er temps : Mettre ses fichiers sur la plateforme (dans son espace personnel) Sur la page d accueil de la plate-forme Formagri http://efoad.educagri.fr,
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étailBeLearner.com, en 5 leçons!
BeLearner.com, en 5 leçons! BeLearner.com, c est: Une médiathèque composée de vidéos, d images, de sons, de documents, de schémas, de parcours, d animations Une fonction d upload Un outil d édition innovant
Plus en détailAdopter une attitude adaptée à la situation : Langage et paralangage (notions étudiées dans le chap 1)
Gestion Appliquée BAC CSR C1-1.2 Accueillir la clientèle C1-1.5 Conseiller la clientèle et proposer une argumentation BAC CUISINE C2-2.3 Communiquer avec la clientèle Savoirs associés : La communication
Plus en détailCompression Compression par dictionnaires
Compression Compression par dictionnaires E. Jeandel Emmanuel.Jeandel at lif.univ-mrs.fr E. Jeandel, Lif CompressionCompression par dictionnaires 1/25 Compression par dictionnaire Principe : Avoir une
Plus en détail