Ecole Normale Supérieure de Cachan 61 avenue du président Wilson CACHAN. Concours d admission en 3 ème année Informatique.

Dimension: px
Commencer à balayer dès la page:

Download "Ecole Normale Supérieure de Cachan 61 avenue du président Wilson 94230 CACHAN. Concours d admission en 3 ème année Informatique."

Transcription

1 C39211 Ecole Normle Supérieure de Cchn 61 venue du président Wilson CACHAN Concours d dmission en 3 ème nnée Informtique Session 2009 INFORMATIQUE 1 Durée : 5 heures «Aucun document n est utorisé» «Aucun dictionnire n est utorisé» «L usge de toute clcultrice est interdit»

2 Informtique I Ce sujet se propose d étudier le prolème suivnt : étnt donné un utomte déterministe complet, trouver un lgorithme qui donne, pour tout mot d entrée, le clcul qui lui est ssocié dns l utomte. Afin de résoudre ce prolème on représente des mots pr des ensemles finis de mots inires et l on s utorise un jeu d opértions restreint pour trviller sur les mots inires. On cherche lors à construire un lgorithme qui utilise un nomre constnt de telles opértions pour résoudre le prolème : on prle lors d lgorithme inire. L première prtie donne les définitions de ses insi que quelques exemples. L deuxième prtie étudie une sous-clsse des utomtes déterministes complets tndis que l troisième prtie montre que les utomtes de cette clsse dmettent des lgorithmes inires. Enfin, l dernière prtie crctérise précisément les utomtes qui dmettent des lgorithmes inires. L nottion tiendr compte de l rigueur des risonnements et de l clrté des explictions. Chque question pourr être tritée en dmettnt les résultts des questions précédentes. Prtie 1. Préliminires On commence pr quelques définitions et nottions qui seront vlles pour l intégrlité de ce sujet. On donne ensuite quelques exemples et propriétés de se utiles dns l suite. Un lphet est un ensemle fini dont les éléments sont ppelés lettres. Un mot de longueur n sur un lphet A est une concténtion finie u = 1 2 n de n lettres de l lphet (c.-à-d. i A pour tout i = 1,...,n). On noter A l ensemle des mots sur l lphet A, et le mot vide ser noté ε. Un mot sur l lphet {0, 1} ser qulifié de mot inire. Définition. Un utomte déterministe complet est un quintuplet A = (Q, A, q i, F, δ) où Q est un ensemle fini d étts de contrôle, A est un lphet fini d entrée, q i Q est l étt initil, F Q est l ensemle des étts finux et δ : Q A Q est une fonction (totle) de trnsition. Dns ce prolème, tous les utomtes considérés seront suf mention explicite déterministes complets, et on se permettr prfois d omettre ces deux qulifictifs. Étnt donnés un utomte déterministe complet A = (Q, A, q i, F, δ) et un mot u = 1 2 n, on définit le clcul (unique) de A sur u comme le mot de longueur n + 1, sur l lphet Q, r = q 0 q 1 q 2 q n tel que q 0 = q i et q j = δ(q j 1, j ) pour tout 1 j n. Un mot u A est ccepté pr l utomte A si et seulement si le clcul de A sur u se termine pr un étt finl. L ensemle L(A) des mots cceptés pr A est ppelé lngge ccepté pr A. Un lngge régulier sur un lphet A est un ensemle de mots K A tel qu il existe un utomte déterministe complet A vec K = L(A). 1

3 On souhite résoudre le prolème suivnt. Étnt donné un utomte déterministe complet A, trouver un lgorithme qui, pour tout mot sur l lphet d entrée de l utomte, produit le clcul ssocié dns l utomte. Notez qu un tel lgorithme ne doit dépendre que de l utomte A. Comme les utomtes considérés dns ce prolème possèdent un unique étt initil, on souhiter produire le clcul duquel on tronquer le premier étt (qui est toujours l étt initil). Ainsi, pour un mot sur l lphet d entrée de l utomte, un tel lgorithme produir un mot d étts de même longueur que le mot d entrée. Considérez pr exemple l utomte A donné dns l Figure 1 (l étt initil est représenté pr une flèche entrnte, les étts finux pr des flèches sortntes, convention qui vudr pour toutes les figures dns ce texte). Pour un tel utomte, on souhiter donc voir un lgorithme qui sur le mot d entrée produit le mot Figure 1 Un exemple d utomte Question 1. Expliquez rièvement pourquoi il existe, pour tout utomte déterministe complet, un lgorithme qui produit, pour tout mot en entrée, le clcul ssocié dns l utomte, et ce en temps linéire en l tille du mot en entrée. Considérons un mot u = 1 2 n sur un lphet A. On lui ssocie A mots inires définis comme suit : pour toute lettre A, le mot p (u) est défini comme l suite p (u) = 1 2 n où i vut 1 si i vut et vut 0 sinon. Ainsi, si u =, on ur p (u) = et p (u) = De même, un clcul ser représenté pr des mots inires. Ainsi le clcul r ssocié u mot u précédent dns l utomte A de l Figure 1 ser représenté pr les mots p 1 (r) = , p 2 (r) = et p 3 (r) = Cette nouvelle représenttion, pr des mots inires, des mots d entrée et des clculs ssociés permet de trviller sur l entrée, c est-à-dire les (p (u)) A, en utilisnt des opértions d hoc pour les mots inires. Dns tout le prolème les opértions utorisées sur les mots inires seront les suivntes : Les opértions logiques lettre à lettre : (ou logique), (et logique) et (négtion logique). Pour deux mots inires de même longueur u = 1 2 n et v = 1 2 n, on définit u v = c 1 c 2 c n où, pour tout 1 i n, c i = 1 si et seulement si i = 1 ou i = 1. De même on définit u v = d 1 d 2 d n où, pour tout 1 i n, d i = 1 si et 2

4 seulement si i = 1 et i = 1. Enfin, on définit u = e 1 e 2 e n où, pour tout 1 i n, e i = 1 si et seulement si i = 0. Ainsi, on ur pr exemple = , = et = Le déclge vers l droite u vec = 0 ou 1 prend un mot inire u supprime s dernière lettre et joute l lettre en tête du mot. Formellement, pour = 0 ou 1, e 1 e 2 e n = e 1 e 2 e n 1. Notez que les mots u et u ont même longueur. On ur pr exemple = et = L ddition inire de mots inires de même longueur : elle consiste en une ddition clssique de l guche vers l droite, suf que l on ne grde ps le it de poids mximl si l longueur du résultt excède celle des mots de déprts (insi, le résultt n est ps forcément exct ici). Pr exemple = Ainsi, toutes les opértions précédentes prennent en entrée un ou deux mots inires (de même longueur) et retourne un mot inire de même longueur que l entrée. Définition. Étnt donné un utomte déterministe complet (d lphet d entrée A, d étts Q), un lgorithme inire est un lgorithme qui, pour tout mot u A, clcule les mots inires (p q (r)) q Q à prtir des mots inires (p (u)) A en ppliqunt un nomre fini d opértions indépendnt du mot u, où r Q est le clcul ssocié à u dns l utomte, clcul duquel on tronqué le premier étt. Lorsqu un tel lgorithme existe on dir que l utomte dmet un lgorithme inire et on prler de l lgorithme inire ssocié à l utomte. Supposons que l on possède un modèle de clcul permettnt de réliser les opértions sur les mots inires en temps constnt : un lgorithme inire peut lors être vu comme un lgorithme fonctionnnt en temps constnt. Question 2. Expliquez pourquoi l lgorithme inire suivnt est ssocié à l utomte de l Figure 1. p 1 (r) = p (u) p 2 (r) = p (u) 1 p (u) p 3 (r) = p (u) 0 p (u) Question 3. Soit un lphet A et soit un mot u A de longueur n. Expliquez comment définir les constntes (de longueur n)¼=00 } {{ 0} et½=11 } {{ 1} à l ide des opértions n n précédentes ppliquées ux mots inires {p (u) A}. En déduire que tout utomte déterministe complet à un seul étt dmet un lgorithme inire. Considérez l utomte B donné dns l l Figure 2. Le clcul ssocié à un mot u est uniquement déterminé pr l première lettre de u. Il est clir que l on ne v ps pouvoir ssocier à un tel utomte un lgorithme inire qui n utilise que les opértions logiques lettre à lettre et le déclge vers l droite. C est pour de tels utomtes que l ddition v se révéler précieuse. 3

5 =¼ Question 4. Expliquez pourquoi l lgorithme inire suivnt est ssocié à l utomte B de l Figure 2 (les mots¼et½sont ceux introduits dns l Question 3). p 0 (r) p 1 (r) = [½+( 1¼ p (u))] p 2 (r) = [½+( 1¼ p (u))] 0 1 2,, Figure 2 L utomte B Prtie 2. Automtes reset-décomposles On définit une sous-fmille d utomtes déterministes complets les utomtes reset-décomposles et on prouve plusieurs propriétés de ces utomtes. Définition. Soit un utomte déterministe complet A = (Q, A, q i, F, δ). Un étt s Q est reset-décomposle si et seulement si : A, [ p s tel que δ(p, ) = s] [ q Q, δ(q, ) = s] Dns l utomte de l figure 3, l étt 1 est reset-décomposle. 4

6 c 1 3 2, c Figure 3 Un exemple d utomte reset-décomposle : A r. Question 5. Tout utomte déterministe complet à u moins deux étts possède-t-il un étt reset-décomposle? Soit un utomte A = (Q, A, q i, F, δ) et soit un étt s Q reset-decomposle. On définit, informellement, l utomte A \ {s} à prtir de A comme suit : on supprime l étt s; on supprime les trnsitions qui prtent de s et celles qui y rrivent; on supprime de l lphet d entrée les lettres qui ne sont plus utilisées. Notez que l utomte A \ {s} peut ne ps voir d étt initil. Pr exemple si l on ppelle A r l utomte de l figure 3, l utomte A r \ {1} est celui donné dns l figure 4 : outre l sence de l étt 1 vous remrquerez que l lettre ne fit ps prtie de l lphet d entrée de l utomte A r \ {1}. c 3 2, c Figure 4 L utomte A r \ {1} 5

7 Question 6. Montrez que si A est un utomte déterministe complet dns lequel s est un étt reset-décomposle, lors A\{s} est églement déterministe et complet (on ne demnde pr contre ps ici que A \ {s} possède un étt initil). L définition qui suit ne requiert ps que les utomtes possèdent un étt initil : c est plus une propriété du grphe étiqueté sous-jcent à l utomte qu une propriété de l utomte en tnt que mchine lisnt des mots depuis un étt initil. Définition. Un utomte A = (Q, A, q i, F, δ) déterministe complet est reset-décomposle s il vérifie l une des deux conditions suivntes : Q est un singleton. A possède un étt reset-décomposle s Q et l utomte A\{s} est reset-décomposle. Question 7. L utomte A r de l figure 3 est-il reset-décomposle? Question 8. Proposez un lgorithme qui prend en entrée un utomte déterministe complet et décide, en temps polynomil en l tille de l utomte, si celui-ci est ou non resetdécomposle. Expliquez comment vous représentez votre utomte et donnez précisément l complexité de votre lgorithme. On rppelle que l on peut ssocier à tout utomte déterministe complet A un utomte déterministe complet (unique à un renommge près des étts) A min qui reconnît le même lngge que A c est-à-dire que L(A) = L(A min ) et qui possède un nomre miniml d étts c est-à-dire qu il n existe ps d utomte possèdnt strictement moins d étts que A min et reconnissnt L(A). Rppelons églement comment construire l utomte A min ssocié à un utomte déterministe complet A = (Q, A, q i, F, δ) (il s git d un résultt clssique que vous pouvez dmettre en tnt que tel si vous ne le connissez ps). Pour cel, on définit dns un premier temps, pour tout étt q Q et tout mot u A, δ (q, u) = q si u est le mot vide et δ (q, u) = δ (δ(q, ), v) si u = v où A est une lettre et v A. On définit ensuite une reltion d équivlence sur les étts de Q en posnt : q q si et seulement si l on δ (q, u) F δ (q, u) F pour tout u A. Pour tout q Q, on note [q] = {q q q }. On prouve fcilement que q q si et seulement si l on δ (q, u) F δ (q, u) F pour tout mot u A de longueur inférieure ou égle à Q. On lors A min = (Q /, A, [q i ], F /, δ ) où : Les étts Q / = {[q] q Q} de A min sont les clsses d équivlence de Q pour l reltion. L étt initil [q i ] de A min est l clsse d équivlence de q i pour l reltion. Les étts finux F / = {[q f ] q f F } de A min sont les clsses d équivlence des étts finux F pour l reltion. L reltion de trnsition δ de A min est donnée pr δ ([q], ) = [δ(q, )] pour tout q Q et tout A. Notez que δ est ien définie. Question 9. Donnez l utomte miniml ssocié à l utomte déterministe complet de l Figure 5. 6

8 Figure 5 Automte à minimiser Question 10. Montrez que si un utomte est reset-décomposle il en est de même pour son utomte miniml. On pourr considérer l définition précédente de l utomte miniml. Un lngge régulier est reset-decomposle si et seulement s il existe un utomte qui le reconnît et qui est reset-décomposle. Question 11. Peut-on décider si un lngge est reset-décomposle? Question 12. L clsse des lngges reset-décomposles est-elle fermée pr complémentire? Question 13. En considérnt les lngges L 1 = A et L 2 = A sur l lphet A = {, }, montrez que l clsse des lngges reset-décomposles n est ps fermée pr union. Question 14. L clsse des lngges reset-décomposle est-elle fermée pr intersection? Prtie 3. Les utomtes reset-décomposles dmettent des lgorithmes inires Dns cette prtie on montre que tout utomte reset-décomposle dmet un lgorithme inire et qu un tel lgorithme peut être construit de fçon simple à prtir de l utomte. 7

9 Question 15. Prouvez le lemme suivnt. Lemme d ddition. L utomte C donné dns l Figure 6 dmet l lgorithme inire suivnt : { p 0 (r) = p (u) {p c (u) [ p (u) + (p (u) p c (u))]} p 1 (r) = p (u) {p c (u) [p (u) + (p (u) p c (u))]}, c 0 1, c Figure 6 L utomte C On définit l fonction suivnte, où s est un étt d un utomte, x et y sont des mots inires : { x [y ( x + (x y))] si s est initil Ind(s, x, y) = x [y (x + (x y))] sinon Question 16. Soient A = (Q, A, q i, F, δ) un utomte déterministe complet et s Q un étt reset-décomposle. On note E s l ensemle des lettres qui envoient tous les étts sur s : E s ssi q Q, δ(q, ) = s. On note B s l ensemle des lettres qui ouclent sur s et qui ne sont ps dns E s : B s ssi / E s et δ(s, ) = s. Montrez qu on lors : p s (r) = Ind(s, p Es (u), p Bs (u)) où l on pose, pour tout B A, p B (u) = B p (u). Question 17. Prouvez le résultt suivnt. Théorème. Soit A un utomte reset-décomposle. L utomte A dmet un lgorithme inire. De plus l tille de l lgorithme inire (c.-à-d. son nomre d opértions) peut être choisie linéire en l tille de A. 8

10 Prtie 4. Une crctéristion des utomtes dmettnt un lgorithme inire Dns cette dernière prtie, on donne une crctéristion structurelle des utomtes dmettnt des lgorithmes inires. Définition. Soit A = (Q, A, q i, F, δ) un utomte déterministe complet. Pour un mot u = 1 n A et deux étts p, q Q, on note p u q le fit que l lecture du mot u depuis l étt p termine en q, c est à dire que q = δ(...δ(δ(p, 0 ), 1 ),..., n ). Un mot u A non vide est qulifié de compteur pour l utomte A s il existe un entier k 2 et k étts u u u u deux à deux distincts q 1,, q k tels que q 1 q 2... q k q 1. Un utomte est sns compteur s il n existe ps de compteur pour cet utomte. Définition. Un mot u = n est périodique de période l à prtir du rng r si pour tout i, j 0 tels que r + (i + 1)l + j n, r+il+j = r+(i+1)l+j. Question 18. Montrez que les opértions sur les mots inires (,,, 0, 1, +) ppliquées à des mots inires périodiques à prtir d un rng r et de même période l donnent des mots inires périodiques de période l à prtir du rng r, où r ne dépend que de r et de l opértion ppliquée. Question 19. En déduire qu étnt donné un lgorithme inire, si ce dernier est ppliqué à des mots inires périodiques à prtir d un rng r, de même période l, le résultt est périodique de période l à prtir d un rng r qui ne dépend que de r et de l lgorithme. Question 20. Prouvez que tout utomte qui dmet un lgorithme inire est sns compteur. Définition. Soient A = (Q, A, q i, F, δ) un utomte déterministe complet et A une lettre. On dir que est un reset si l fonction x δ(x, ) est constnte ou égle à l identité. L utomte A est un utomte reset, si pour tout A, est un reset. Question 21. Montrez que tout utomte reset dmet un lgorithme inire. Définition. Soient B 1 = (Q 1, A, q i,1, δ 1 ) et B 2 = (Q 2, Q 1 A, q i,2, δ 2 ) deux utomtes déterministes complets dont on ignore ici les étts finux. Leur produit en cscde B 1 B 2 = (Q, A, q i, δ) est l utomte déterministe complet défini de l fçon suivnte : Q = Q 1 Q 2 9

11 q i = (q i,1, q i,2 ) δ((q 1, q 2 ), ) = (δ 1 (q 1, ), δ 2 (q 2, (q 1, ))) Le produit en cscde de k utomtes se définit récursivement pr : B 1 B 2 B k = (...((B 1 B 2 ) B 3 )...) B k. Question 22. Soient B 1 et B 2 deux utomtes dmettnt chcun un lgorithme inire. Montrez qu il en est de même pour leur produit en cscde B 1 B 2. Un homomorphisme surjectif d un utomte déterministe complet (dont on ignore les étts finux) A 1 = (Q 1, A, q i,1, δ 1 ) vers un utomte déterministe complet (dont on ignore les étts finux) A 2 = (Q 2, A, q i,2, δ 2 ) est une fonction totle surjective ϕ : Q 1 Q 2 telle que ϕ(q i,1 ) = q i,2 et δ 1 (q, ) = q δ 2 (ϕ(q), ) = ϕ(q ). Question 23. Soient A 1 et A 2 deux utomtes déterministes complets et soit ϕ un homomorphisme surjectif de A 1 vers A 2. Montrez que si A 1 dmet un lgorithme inire, il en est de même pour A 2. Définition. Soit A un utomte déterministe complet. Une décomposition en cscde de A est l donnée de k 1 utomtes reset B 1,, B k et d un homomorphisme surjectif prtiel ϕ de B 1 B 2 B k vers A. On dmettr le théorème suivnt : Théorème (Krohn-Rhodes) Tout utomte sns compteur dmet une décomposition en cscde. Question 24. Conclure des questions précédentes qu un utomte dmet un lgorithme inire si et seulement s il est sns compteur. 10

Chapitre 2 Les automates finis

Chapitre 2 Les automates finis Chpitre 2 Les utomtes finis 28 2.1 Introduction Automtes finis : première modélistion de l notion de procédure effective.(ont ussi d utres pplictions). Dérivtion de l notion d utomte fini de celle de progrmme

Plus en détail

CH.1 Automates finis

CH.1 Automates finis CH.1 Automtes finis 1.1 Les utomtes finis déterministes 1.2 Les utomtes finis non déterministes 1. Les utomtes vec -trnsitions 1.4 Les expressions régulières 1.5 L'équivlence des modèles Automtes ch1 1

Plus en détail

Automates et langages: quelques algorithmes

Automates et langages: quelques algorithmes Automtes et lngges: quelques lgorithmes Eugene Asrin Sddek Benslem Avertissement Dns l étt ctuel ce document est rchi-sec et peut servir seulement d un ide-mémoire. Pour comprendre les lgorithmes ci-dessous

Plus en détail

Théorie des langages Automates finis

Théorie des langages Automates finis Théorie des lngges Automtes finis Elise Bonzon http://we.mi.prisdescrtes.fr/ onzon/ elise.onzon@prisdescrtes.fr 1 / 51 Automtes finis Introduction Formlistion Représenttion et exemples Automtes complets

Plus en détail

Lycée Faidherbe, Lille MP1 Cours d informatique 2013 2014. Automates

Lycée Faidherbe, Lille MP1 Cours d informatique 2013 2014. Automates Lycée Fidhere, Lille MP Cours d informtique 203 204 Automtes I Déterministes........................... 2 Définitions 2 Exemple 2 Action des mots 3 Lngge reconnu 3 II Incomplets.............................

Plus en détail

2.1 L'automate minimal

2.1 L'automate minimal CH.2 Minimistion 2.1 L'utomte miniml 2.2 L'lgorithme de minimistion Automtes ch2 1 2.1 L'utomte miniml Le lngge L définit sur Σ* l reltion d'équivlence R L : x R L y ssi ( z, xz L yz L). L'AFD M définit

Plus en détail

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr Cours d informtique théorique de M. Arfi FMdKdD fmdkdd [à] free.fr Université du Hvre Année 2009 2010 Tle des mtières 1 Reltions et lois de composition internes 2 1.1 Reltions.....................................

Plus en détail

Théorie des Langages Épisode 2 Automates finis

Théorie des Langages Épisode 2 Automates finis AFD AFN Opértions Lemme de pompge 1/ 36 Théorie des Lngges Épisode 2 Automtes finis Thoms Pietrzk Université Pul Verline Metz AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion

Plus en détail

Théorie des Langages Formels Chapitre 5 : Automates minimaux

Théorie des Langages Formels Chapitre 5 : Automates minimaux 1/29 Théorie des Lngges Formels Chpitre 5 : Automtes minimux Florence Levé Florence.Leve@u-picrdie.fr Année 2014-2015 2/29 Introduction Les lgorithmes vus précédemment peuvent mener à des utomtes reltivement

Plus en détail

1 Langages reconnaissables

1 Langages reconnaissables 8INF713 Informtique théorique Automne 2014 Exercices 1 Lngges reconnissles 1.1 Considérez les deux utomtes suivnts et répondez ux questions suivntes : q 3, q 3 q 4 () A 1 () A 2 Figure 1 () Quel est l

Plus en détail

Théorie de langages, TD3

Théorie de langages, TD3 Théorie de lngges, TD3 Octoer 6, 25 Automtes finis. Definitions Un utomte fini déterministe (DFA deterministic finite utomton) est une mchine de clcul A qui peut être définie pr les cinq éléments suivnts.

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :

Plus en détail

Solution - TD Feuille 2 - Automates finis et expressions rationnelles

Solution - TD Feuille 2 - Automates finis et expressions rationnelles Solution - TD Feuille 2 - Automtes finis et expressions rtionnelles Informtique Théorique 2 - Unité JINPW Licence 3 - Université Bordeux Solution de l exercice : Pour tout l exercice, on note A = {, }.

Plus en détail

Automates à états fnis Damien Nouvel

Automates à états fnis Damien Nouvel Automtes Automtes à étts fnis Automtes à étts fnis Pln Représenttion des utomtes (FSA) Défnition formelle (DFA) Équivlence DFA / NFA / ε-nfa Licence Informtique L1 Automtes 2 / 30 Automtes à étts fnis

Plus en détail

Automates et langages

Automates et langages Automtes et lngges L exmen corrigé RICM 9 jnvier 22 Grmmire Automte Expression On considère l grmmire régulière G =(Γ,Σ,S,Π) vec Γ = {S,P,R}, Σ={,} et Π={S P,P R,P S,R,R P }.. Construire un utomte A cceptnt

Plus en détail

Intégration. Rappels. Définition 3. Soit I un intervalle réel et f : I E. On dit que F : I E est. f(x) f(a) x a

Intégration. Rappels. Définition 3. Soit I un intervalle réel et f : I E. On dit que F : I E est. f(x) f(a) x a Intégrtion Les fonctions considérées ci-dessous sont des fonctions définies sur un intervlle réel I, à vleurs réelles ou complees ou, plus générlement, à vleurs dns un espce vectoriel normé de dimension

Plus en détail

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville Théorème de Lx Milgrm Appliction u problème de Dirichlet pour l éqution de Sturm Liouville Résumé du cours de MEDP Mîtrise de mthémtiques 2000 2001 2001nov18 (medp-lx-milgrm.tex) Dns ce chpitre, on se

Plus en détail

Rattrapage. 4 ] Quelle est la complexité dans le pire cas de l algorithme de tri fusion (pour trier n éléments)?

Rattrapage. 4 ] Quelle est la complexité dans le pire cas de l algorithme de tri fusion (pour trier n éléments)? IN 02 6 mrs 2009 Rttrpge NOM : Prénom : ucun document n est utorisé. ce QCM outit à une note sur 42 points. L note finle sur 20 ser otenue simplement en divisnt l note sur 42 pr 2. Il suffit donc de donner

Plus en détail

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3 Reltions binires Mrc SAGE 8 octobre 007 Tble des mtières Amuse gueule Combintoire dns les quotients 3 Problème d extrém 3 4 Un théorème de point xe 3 5 Sur l conjugisons dns R 3 6 Sur les corps totlement

Plus en détail

Travaux Dirigés de Langages & XML - TD 2

Travaux Dirigés de Langages & XML - TD 2 TD Lngges - XML Exercices Corrigés TD 2 Trvux Dirigés de Lngges & XML - TD 2 Automtes deterministes Exercice Dns chcun des cs suivnts, donner un utomte déterministe reconnissnt le lngge sur l lphet {,

Plus en détail

Marc Chemillier Master M2 Atiam (Ircam), 2011-2012

Marc Chemillier Master M2 Atiam (Ircam), 2011-2012 MMIM Modèles mthémtiques en informtique musicle Mrc Chemillier Mster M2 Atim (Ircm), 2011-2012 Notions théoriques sur les lngges formels - Définitions générles o Mots, lngges o Monoïdes - Notion d utomte

Plus en détail

Zéros des fonctions. 1. La dichotomie. Exo7. 1.1. Principe de la dichotomie

Zéros des fonctions. 1. La dichotomie. Exo7. 1.1. Principe de la dichotomie Exo7 Zéros des fonctions Vidéo prtie 1. L dichotomie Vidéo prtie. L méthode de l sécnte Vidéo prtie 3. L méthode de Newton Dns ce chpitre nous llons ppliquer toutes les notions précédentes sur les suites

Plus en détail

Cours Mathématiques Discrètes IUT Belfort Montbéliard. Pierre-Cyrille HEAM

Cours Mathématiques Discrètes IUT Belfort Montbéliard. Pierre-Cyrille HEAM Cours Mthémtiques Discrètes IUT Belfort Montélird Pierre-Cyrille HEAM 23 septemre 2014 Chpitre 1 Grphes finis orientés 1.1 Premières définitions Un grphe fini orienté est un couple (V, E) où V est un ensemle

Plus en détail

Dynamique des systèmes et automates à états

Dynamique des systèmes et automates à états Chpitre 8 Dynmique des systèmes et utomtes à étts L modélistion sttique s intéresse à ce qu il y dns le système, à s structure, etc. L modélistion de l dynmique trite de l évolution du système dns le temps.

Plus en détail

OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON

OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON Durée : 4 heures Les clcultrices sont utorisées. Le sujet comprend qutre exercices indépendnts qui peuvent être trités dns l'ordre que

Plus en détail

Automates hyper-minimaux

Automates hyper-minimaux Université derouen UFR des sciences et techniques Projet nnuel de mster 1 Encdrnts : Pscl Cron et Ludovic Mignot Automtes hyper-minimux Jen-Bptiste PRIEZ Rouen, le 20 mi 2011 Résumé Deux lngges sont f-équivlents

Plus en détail

SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures!

SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures! SESSION 2013 MPIN007 EPREUVE SPECIFIQUE - FILIERE MP " INFORMATIQUE Durée : 3 heures " N.B. : Le cndidt ttcher l plus grnde importnce à l clrté, à l précision et à l concision de l rédction. Si un cndidt

Plus en détail

Notes de cours sur les automates (NFP108)

Notes de cours sur les automates (NFP108) Notes de cours sur les utomtes (NFP18) F. Brthélemy 8 décemre 215 Avertissement : ce document est en cours d élortion et susceptile d évoluer. Il est dns un étt provisoire. 1 Introduction Les utomtes finis

Plus en détail

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1 Lngges Automtes Non-déterminisme Grmmires Attiuées et Génértives Expressions régulières Correction Prtielle de Progrmmes Ceci n'est ps un cours de Lngge C++ 2.1 Comment implnter en C un reconnisseur de

Plus en détail

Rappel : Définition définitive du problème de la recherche

Rappel : Définition définitive du problème de la recherche Rppel : Définition définitive du prolème de l recherche On dispose d une prt d un mot (un texte) et d utre prt d un lngge régulier défini pr une expression régulière. On demnde de rechercher dns le texte

Plus en détail

Théorie des automates et langages formels

Théorie des automates et langages formels Fculté des sciences Déprtement de mthémtiques Théorie des utomtes et lngges formels 1 4 7, d c d 2 c c d 5 c d c d, 8 c d 3 6 9,c,d,c,d,,c,d Année cdémique 2009 2010 Michel Rigo Tle des mtières Chpitre

Plus en détail

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine Cours de «onepts vnés de ompiltion» Trvux prtiques Auteur : F. Védrine Les utomtes et les expressions régulières Les utomtes sont onstitués d étts et de trnsitions. Un étt définit l vnée dns l reonnissne

Plus en détail

Cours de mathématiques. Chapitre 12 : Calcul Intégral

Cours de mathématiques. Chapitre 12 : Calcul Intégral Cours de mthémtiques Terminle S1 Chpitre 12 : Clcul Intégrl Année scolire 2008-2009 mise à jour 5 mi 2009 Fig. 1 Henri-Léon Leesgue et Bernhrd Riemnn n les confond prfois 1 Tle des mtières I Chpitre 12

Plus en détail

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE 1GEN ciences et Techniques Industrielles Pge 1 sur 7 Automtique et Informtiques Appliquées Génie Énergétique Première 1 - LA VARIABLE BINAIRE L électrotechnique, l électronique et l mécnique étudient et

Plus en détail

Théorie des Langages Formels Chapitre 4 : Automates complets déterministes

Théorie des Langages Formels Chapitre 4 : Automates complets déterministes 1/2 Théorie des Lngges Formels Chpitre 4 : Automtes complets déterministes Florence Levé Florence.Leve@u-picrdie.fr Année 2015-2016 2/2 Introduction 4 5 6 7 8 9 10 11 12 Recherche de :, /2 Automte déterministe

Plus en détail

Algorithmique et Programmation. Automates finis. Chap. I/9

Algorithmique et Programmation. Automates finis. Chap. I/9 Algorithmique et Progrmmtion. Automtes finis. Chp. I/9 Jen-Eric Pin To cite this version: Jen-Eric Pin. Algorithmique et Progrmmtion. Automtes finis. Chp. I/9. J. Akok et I. Comyn-Wttiu. Encyclopédie de

Plus en détail

Automates d arbres avec visibilité : rapport de stage de licence (L3)

Automates d arbres avec visibilité : rapport de stage de licence (L3) Automtes d rbres vec visibilité : rpport de stge de licence (L3) Nicols Perrin ENS de Lyon Mître de stge : Hubert Comon-Lundh - LSV, ENS Cchn Autre encdrnt : Florent Jcquemrd - LSV, ENS Cchn Résumé Mon

Plus en détail

Notes de révision : Automates et langages

Notes de révision : Automates et langages Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s

Plus en détail

Synthèse de cours (Terminale S) Calcul intégral

Synthèse de cours (Terminale S) Calcul intégral Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (

Plus en détail

2. Formules d addition.

2. Formules d addition. IX. Trigonométrie 1. Rppels 1.1 Définitions : Dns le cercle trigonométrique C ( O, 1 ), si nous fixons un point P correspondnt à un ngle d mplitude nous vons défini : = bscisse du point P sin = ordonnée

Plus en détail

Théorème de Rolle et formules de Taylor

Théorème de Rolle et formules de Taylor Théorème de Rolle et formules de Tylor 1 Extrémums des fonctions différentibles à vleurs réelles 1. Soient K un compct d un espce vectoriel normé (E, ) et f une fonction définie sur K à vleurs dns R. Montrer

Plus en détail

LANGAGES - GRAMMAIRES - AUTOMATES

LANGAGES - GRAMMAIRES - AUTOMATES LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront

Plus en détail

Chapitre 7. Primitives et Intégrales. 7.1 Primitive d une fonction. 7.2 Propriétés des primitives. 7.3 Intégrale définie ou Intégrale de Riemannn)

Chapitre 7. Primitives et Intégrales. 7.1 Primitive d une fonction. 7.2 Propriétés des primitives. 7.3 Intégrale définie ou Intégrale de Riemannn) Chpitre 7 Primitives et Intégrles 7. Primitive d une fonction Soit f une fonction définie sur un intervlle K de R. On ppelle primitive de f, une fonction F dont l dérivée est f : F (x) = f(x). On note

Plus en détail

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) ( Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est

Plus en détail

Exercice 1. Université Paris 7-Denis Diderot Examen du 21 mai 2012 L2 Automates finis AF4. a 1. 2 b. Voici le déterminisé : a 3. a 1.

Exercice 1. Université Paris 7-Denis Diderot Examen du 21 mai 2012 L2 Automates finis AF4. a 1. 2 b. Voici le déterminisé : a 3. a 1. Université Pris 7-Denis Diderot Exmen du 21 mi 2012 L2 Automtes finis AF4 Corrigé Exercice 1 1 3 On considère l utomte fini : 2 4 Question 1 : Déterminiser cet utomte. 1 1, 3 1, 3, 4 Voici le déterminisé

Plus en détail

Utiliser l inverse d une matrice pour résoudre un système d équations & courbes polynomiales

Utiliser l inverse d une matrice pour résoudre un système d équations & courbes polynomiales Utiliser l inverse d une mtrice pour résoudre un système d équtions & coures polynomiles Exercice : Dns une ferme, il y des lpins et des poules. On dénomre 58 têtes et 60 pttes. Comien y -t-il de lpins

Plus en détail

Examen Final Corrigé rédigé par Paul Brunet et Laure Gonnord

Examen Final Corrigé rédigé par Paul Brunet et Laure Gonnord Mster Info - 2014-2015 MIF15 Complexité et Clculbilité Exmen Finl Corrigé rédigé pr Pul Brunet et Lure Gonnord Durée 1H30 Notes de cours et de TD utorisées. Livres et ppreils électroniques interdits. Le

Plus en détail

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr Automtes temporisés Aml El Fllh Seghrouchni Aml.Elfllh@lip6.fr Pln Introduction Définition d un utomte temporisé Composition d utomtes temporisés Automtes hybrides Conclusion Le problème à résoudre monde

Plus en détail

Kit de survie - Bac ES

Kit de survie - Bac ES Kit de survie - Bc ES. Étude du signe d une expression ) Signe de x + Ü Ü ½ Ò µ¼ Ò ½ 0) On détermine l vleur de x qui nnule x +, puis on pplique l règle : «signe de près le 0». ) Signe de x + x + c ܾ

Plus en détail

Théorème de Poincaré - Formule de Green-Riemann

Théorème de Poincaré - Formule de Green-Riemann Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler

Plus en détail

Option informatique :

Option informatique : Option formtique : l deuxième nnée Lurent Chéno été 1996 Lycée Louis-le-Grnd, Pris Tle des mtières I Arres 13 1 Arres ires 15 1.1 Défitions et nottions... 15 1.1.1 Défition formelle d un rre ire... 15

Plus en détail

Développements limités. Motivation. Exo7

Développements limités. Motivation. Exo7 Eo7 Développements limités Vidéo prtie. Formules de Tlor Vidéo prtie 2. Développements limités u voisinge d'un point Vidéo prtie 3. Opértions sur les DL Vidéo prtie 4. Applictions Eercices Développements

Plus en détail

Chapitre 3 Dérivées et Primitives

Chapitre 3 Dérivées et Primitives Cours de Mthémtiques Clsse de Terminle STI - Chpitre : Dérivées et Primitives Chpitre Dérivées et Primitives A) Rppels de première et compléments ) Dérivées usuelles Fonction définie sur Fonction f() =

Plus en détail

Les langages de programmations.

Les langages de programmations. Communiction technique: L utomte progrmmle industriel (les lngges) Leçon Les lngges de progrmmtions. Introduction : L écriture d un progrmme consiste à créer une liste d instructions permettnt l exécution

Plus en détail

Analyse statique et domaines abstraits symboliques

Analyse statique et domaines abstraits symboliques Anlyse sttique et domines strits symoliques Mémoire d hilittion à diriger des recherches Lurent Muorgne Hilittion soutenue le 12 février 2007 à l Université Pris-Duphine Jury : Ptrick Cousot (rpporteur)

Plus en détail

Automates temporisés

Automates temporisés Automtes temporisés introdution pr un néophyte Prtie I / II Mots et utomtes temporisés Merredi 30 otore 20002 ÉNS Lyon Jérôme DURAND-LOSE jerome.durnd-lose@ens-lyon.fr MC2 LIP - ÉNS Lyon Automtes temporisés

Plus en détail

LOIS A DENSITE (Partie 1)

LOIS A DENSITE (Partie 1) LOIS A DENSITE (Prtie ) I. Loi de probbilité à densité ) Rppel Eemple : Soit l'epérience létoire : "On lnce un dé à si fces et on regrde le résultt." L'ensemble de toutes les issues possibles Ω = {; ;

Plus en détail

STI2D Logique binaire SIN. L' Algèbre de BOOLE

STI2D Logique binaire SIN. L' Algèbre de BOOLE L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.

Plus en détail

Séquence 7. Intégration. Sommaire

Séquence 7. Intégration. Sommaire Séquence 7 Intégrtion Sommire. Prérequis. Aire et intégrle d une fonction continue et positive sur [ ; ]. Primitives 4. Primitives et intégrles d une fonction continue 5. Synthèse de l séquence Dns ce

Plus en détail

UNIVERSITE PARIS 1 PANTHEON SORBONNE UFR DE GESTION

UNIVERSITE PARIS 1 PANTHEON SORBONNE UFR DE GESTION UNIVERSITE PRIS PNTHEON SORBONNE UFR DE GESTION MTHEMTIQUES PPLIQUEES L ECONOMIE ET L GESTION LICENCE nnée Cours de Thierry LFY TRVUX DIRIGES semestre 7-8 Thème n : Rppels Eercice Déterminez l ensemble

Plus en détail

Exercices Mathématiques Discrètes : Relations

Exercices Mathématiques Discrètes : Relations Exeries Mthémtiques Disrètes : Reltions Reltions inires R1 Soient A = {0, 1, 2, 3, 4} et B = {0, 1, 2, 3} deux ensemles. Erire expliitement les ouples (, ) R où (, ) R si et seulement si : =, + = 4,

Plus en détail

Calcul int egral. 15 d ecembre 2008

Calcul int egral. 15 d ecembre 2008 Clcul intégrl. 15 décembre 2008 2 Tble des mtières I Intégrles multiples 5 1 Rppels sur l intégrle définie des fonctions d une vrible. 7 1.1 Motivtions................................ 7 1.1.1 Cs des fonctions

Plus en détail

I. Que sont les partitions?

I. Que sont les partitions? Cours de mthémtiques frfelues LES FRACTIONS CASSÉES Prémule Voici un cours de mthémtiques qui n ur jmis s plce dns une slle de clsse un utre jour que le er vril. Son sujet : les frctions cssées, ou prtitions,

Plus en détail

Table des matières Dénombrer et sommer Événements et Probabilités

Table des matières Dénombrer et sommer Événements et Probabilités Tble des mtières 1 Dénombrer et sommer 5 1.1 Rppels ensemblistes............................. 5 1.1.1 Opértions ensemblistes....................... 5 1.1.2 Bijections............................... 7 1.2

Plus en détail

2008 2010 MODULE M4 MATHEMATIQUES TERMINALE STAV

2008 2010 MODULE M4 MATHEMATIQUES TERMINALE STAV LEGTHP Sint Nicols STAV Promotion 8 MODULE M4 MATHEMATIQUES TERMINALE STAV Fiches de cours S. FLOQUET Septemre 9 Lycée Sint Nicols Igny Promotion 8 SOMMAIRE STAV PARTIE : RESUMES DE COURS Équtions de droites

Plus en détail

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre Document créé le 28 novembre 2013 Lien vers l dernière mise à jour de ce document Lien vers les exercices de ce chpitre Chpitre 20 Intégrtion Sommire 20.1 Continuité uniforme.................................

Plus en détail

Primitives et Calcul d une intégrale

Primitives et Calcul d une intégrale Primitives et Clcul d une intégrle I) Primitive ) Définition : Soit f une fonction définie sur un intervlle I. On ppelle primitive de f sur I, toute fonction F dérivle sur I dont l dérivée F est égle à

Plus en détail

Contrôle sur le Cours d'algorithme et de langage C

Contrôle sur le Cours d'algorithme et de langage C Déprtement Génie Electrique Automtique NOM: Prénom: Contrôle sur le Cours d'algorithme et de lngge C G.Gteu et J.Régnier Le 15 Jnvier 2008- Durée 2h Documents de cours utorisé. Le contrôle est constitué

Plus en détail

Algorithmes sur les mots (séquences)

Algorithmes sur les mots (séquences) Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)

Plus en détail

Systèmes logiques combinatoires

Systèmes logiques combinatoires «'enseignement devrit être insi : celui qui le reçoit le recueille comme un don inestimle mis jmis comme une contrinte pénile.» Alert Einstein Systèmes logiques comintoires Définitions. es vriles inires

Plus en détail

Calculabilité. F. Sur - ENSMN. Motivation. 1 Motivation. 2 Que signifie calculer? 4 Classes de complexité. P et NP. d optimisation et.

Calculabilité. F. Sur - ENSMN. Motivation. 1 Motivation. 2 Que signifie calculer? 4 Classes de complexité. P et NP. d optimisation et. Cours de Tronc Commun Scientifique Recherche Opértionnelle Introduction à l clculilité Introduction à l clculilité 2 3 Frédéric Sur École des Mines de Nncy www.lori.fr/ sur/enseignement/ro/ 4 5 6 /34 2/34

Plus en détail

semestre 3 des Licences MISM annnée universitaire 2004-2005

semestre 3 des Licences MISM annnée universitaire 2004-2005 MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................

Plus en détail

ANALYSE APPROFONDIES II MT242

ANALYSE APPROFONDIES II MT242 ALGÈBRE ET ANALYSE APPROFONDIES II MT242 Année 1998-1999 Chpitre 0. Introduction générle Dns cette introduction nous llons commenter les principles notions contenues dns le cours du second semestre, leurs

Plus en détail

ESTIMER LA PRÉCISION DES MESURES

ESTIMER LA PRÉCISION DES MESURES ESTIMER LA PRÉCISION DES MESURES I. Précision d'une mesure directe Une mesure directe est une mesure lue sur un ppreil de mesure. Le résultt d'une mesure directe n'est jmis connu de fçon prfitement excte.

Plus en détail

On voit que même pour les nombres premiers la situation n est pas claire, néanmoins c est le cas le plus simple et donc on va l étudier en premier.

On voit que même pour les nombres premiers la situation n est pas claire, néanmoins c est le cas le plus simple et donc on va l étudier en premier. Chitre 3 : Résidus qudrtiques Dns ce chitre on v essyer d extrire des rcines crrés dns ZnZ. Dns le cors des nombres réels tous les nombres ositifs sont des crrés et les nombres négtifs ne le sont s, dns

Plus en détail

Mathématiques, Semestre S1

Mathématiques, Semestre S1 Polytech Pris-Sud PeiP1 2011/2012 Notes de cours Mthémtiques, Semestre S1 Filippo SANTAMBROGIO 2 Tble des mtières 1 Les fonctions dns R et leurs limites 7 1.1 Fonctions réelles d une vrible réelle.........................

Plus en détail

CHAPITRE 9 : PRIMITIVES - INTEGRALES

CHAPITRE 9 : PRIMITIVES - INTEGRALES Primitives et intégrles Cours CHAPITRE 9 : PRIMITIVES - INTEGRALES. Primitives d une fonction Définition Soit f une fonction définie sur un intervlle I. Une fonction F est une primitive de f sur I, si

Plus en détail

Chapitre 11 : L inductance

Chapitre 11 : L inductance Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4

Plus en détail

FAQ sur l utilisation d Ecoline-solo

FAQ sur l utilisation d Ecoline-solo FAQ sur l utilistion d Ecoline-solo De quel mtériel i-je esoin pour compléter les informtions demndées dns Ecoline-solo? Pour remplir rpidement toutes les informtions demndées dns Ecoline-solo, vous devez,

Plus en détail

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE Ch.I Commnde des systèmes logiques ogique comintoire - p1 SYSTEMES OGIQUES OGIQUE COMBINATOIRE I Commnde des systèmes logiques 1. Structure des systèmes utomtisés Reprenons l structure étlie dns le cours

Plus en détail

ANALYSE NUMERIQUE NON-LINEAIRE

ANALYSE NUMERIQUE NON-LINEAIRE Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre

Plus en détail

Mesure de résistances

Mesure de résistances GEL 1002 Trvux prtiques Lortoire 2 1 Trvux prtiques Lortoire 2 (1 sénce) Mesure de résistnces Ojectifs Les ojectifs de cette phse des trvux prtiques sont : ) d utiliser déqutement l plquette de montge

Plus en détail

TD : Arbres Binaires de Recherche (A.B.R.)

TD : Arbres Binaires de Recherche (A.B.R.) TD : Arres Binires de eherhe (A.B..) Olivier ynud rynud@isim.fr http ://www.isim.fr/rynud ésumé Dns e Td nous proposons trois exeries. Le premier est onsré à l implémenttion du T.D.A. Ensemles dynmiques

Plus en détail

IFT 615 : Devoir 4 Travail individuel

IFT 615 : Devoir 4 Travail individuel IFT 615 : Devoir 4 Trvil individuel Remise : 1 vril 01, 16h0 (u plus trd) 1. [ points] Dns le cours, nous vons vu différents types de problèmes d intelligence rtificielle insi que plusieurs solutions possibles

Plus en détail

gfaubert septembre 2010 1

gfaubert septembre 2010 1 Notes de cours Pour l e secondire Compiltion et/ou crétion Guyline Fuert Septemre 00 gfuert septemre 00 Géométrie------------------------------------------------------------------------------------------------------------------------

Plus en détail

Chapitre 1. Dénombrer et sommer. 1.1 Rappels ensemblistes. 1.1.1 Opérations ensemblistes

Chapitre 1. Dénombrer et sommer. 1.1 Rappels ensemblistes. 1.1.1 Opérations ensemblistes Chpitre 1 Dénombrer et sommer Compter des objets et fire des dditions, voilà bien les deux ctivités les plus élémentires à l bse des mthémtiques. Et pourtnt à y regrder de plus près, ce n est ps si fcile.

Plus en détail

Chapitre 9: Primitives et intégrales

Chapitre 9: Primitives et intégrales PRIMITIVES ET INTEGRALES 7 Chpitre 9: Primitives et intégrles Prérequis: Limites, dérivées Requis pour: Emen de mturité 9. «À quoi ç sert?» Un peu d histoire Isc Newton (64-77) Les clculs d ire de figures

Plus en détail

CAP PRO E SCHEMA : LE MOTEUR

CAP PRO E SCHEMA : LE MOTEUR CAP PRO E SCHEMA : E MOTEUR folio folio folio folio folio folio folio 7 folio 8 folio 9 plque signlétique d un moteur puissnce sorée pr un moteur plque à ornes d un moteur triphsé e couplge étoile e couplge

Plus en détail

Cours de Mathématique - Statistique Calcul Matriciel

Cours de Mathématique - Statistique Calcul Matriciel L - Mth Stt Cours de Mthémtique - Sttistique Clcul Mtriciel F. SEYTE : Mître de conférences HDR en sciences économiques Université de Montpellier I M. TERRZ : Professeur de sciences économiques Université

Plus en détail

Tout ce qu il faut savoir en math

Tout ce qu il faut savoir en math Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion

Plus en détail

Université de Marseille Licence de Mathématiques, 1ere année, Analyse (limites, continuité, dérivées, intégration) T. Gallouët

Université de Marseille Licence de Mathématiques, 1ere année, Analyse (limites, continuité, dérivées, intégration) T. Gallouët Université de Mrseille Licence de Mthémtiques, ere nnée, Anlyse (limites, continuité, dérivées, intégrtion) T. Gllouët July 29, 205 Tble des mtières Limites 3. Définition et propriétés......................................

Plus en détail

Calcul intégral. II Intégrale d une fonction 4

Calcul intégral. II Intégrale d une fonction 4 BTS DOMOTIQUE Clcul intégrl 8- Clcul intégrl Tble des mtières I Primitives I. Définitions............................................... I. Clculs de primitives.........................................

Plus en détail

Exercices reliés au chapitre 3

Exercices reliés au chapitre 3 Université Lvl Fculté des sciences et de génie Déprtement d informtique et de génie logiciel IFT-3101 Dnny Dué Version: Hiver 2013 Exercices reliés u chpitre 3 Exercices Voici les exercices que je recommnde

Plus en détail

EPUUniversité de Tours

EPUUniversité de Tours DI 3ème nnée EPUUniversité de Tours Déprtement Informtique 007-008 ANALYSE NUMERIQUE Chpitre 3 Intégrtion numérique résumé du cours 1 Introduction Il s git d une mniére générle de déterminer, le mieux

Plus en détail

Techniques d analyse de circuits

Techniques d analyse de circuits Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre

Plus en détail

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries

Plus en détail

Apprentissage Par Projet de la Programmation avec Python Corrigé du TP5

Apprentissage Par Projet de la Programmation avec Python Corrigé du TP5 IGI-8 ESIEE Pris 5-6 Apprentissge Pr Projet de l Progrmmtion vec Python Corrigé du TP5 Jen-Clude GEORGES Listes, tuple et fichiers Les listes et les tuples sont des collections de données dont les données

Plus en détail

devant l Université de Rennes 1

devant l Université de Rennes 1 N o d ordre: 3708 THÈSE Présentée devnt devnt l Université de Rennes 1 pour otenir le grde de : Docteur de l Université de Rennes 1 Mention Informtique pr Thoms Gzgnire Équipe d ccueil : DistriCom - IRISA

Plus en détail

Fonctions de référence

Fonctions de référence Chpitre 7 Clsse de Seconde Fonctions de référence Ce que dit le progrmme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Fonctions de référence Fonctions linéires et fonctions ffines Vritions de l fonction

Plus en détail

Clamaths.fr - Les Roc en Terminale S

Clamaths.fr - Les Roc en Terminale S Clmths.fr - Les Roc en Terminle S CONTENTS ROC - exigibles... 2 Roc 1 Théorème de comprison pour les suites... 2 Roc 2 Limite de qn lorsque q > 1... 2 Roc 3 Unicité de l fonction exponentielle... 3 Roc

Plus en détail