Autour de l universalité dans les automates cellulaires
|
|
- Abel Beauchemin
- il y a 8 ans
- Total affichages :
Transcription
1 Autour de l universalité dans les automates cellulaires 29 mars 2005, GREYC, Caen Guillaume Theyssier (LIP, ENS Lyon, France)
2 Le modèle des AC Le modèle des AC 2 Universalité & automates cellulaires
3 Le modèle des AC Généralités sur le modèle : 3 Universalité & automates cellulaires
4 Le modèle des AC Généralités sur le modèle : AC = système dynamique discret particulier 3 Universalité & automates cellulaires
5 Le modèle des AC Généralités sur le modèle : AC = système dynamique discret particulier simplicité formelle déterminisme localité uniformité synchronisme 3 Universalité & automates cellulaires
6 Le modèle des AC Généralités sur le modèle : AC = système dynamique discret particulier simplicité formelle déterminisme localité uniformité synchronisme complexité dans la dynamique individuelle (universalité, chaos, etc) collective (classification) 3 Universalité & automates cellulaires
7 Le modèle des AC Généralités sur le modèle : AC = système dynamique discret particulier simplicité formelle déterminisme localité uniformité synchronisme complexité dans la dynamique individuelle (universalité, chaos, etc) collective (classification) (c est aussi un modèle de calcul massivement parallèle) 3 Universalité & automates cellulaires
8 Le modèle des AC Formellement, un automate cellulaire A est un quadruplet (Z d, N, S, δ) : Z d S N = ( n 1,..., n k ) δ : S k S réseau de cellules ensemble fini d états vecteurs de Z d, voisinage de A règle de transition locale 4 Universalité & automates cellulaires
9 Le modèle des AC Formellement, un automate cellulaire A est un quadruplet (Z d, N, S, δ) : Z d S N = ( n 1,..., n k ) δ : S k S réseau de cellules ensemble fini d états vecteurs de Z d, voisinage de A règle de transition locale Une configuration est une fonction de Z d dans S. 4 Universalité & automates cellulaires
10 Le modèle des AC Formellement, un automate cellulaire A est un quadruplet (Z d, N, S, δ) : Z d S N = ( n 1,..., n k ) δ : S k S réseau de cellules ensemble fini d états vecteurs de Z d, voisinage de A règle de transition locale Une configuration est une fonction de Z d dans S. fonction globale de A sur les configurations : 4 Universalité & automates cellulaires
11 Le modèle des AC Formellement, un automate cellulaire A est un quadruplet (Z d, N, S, δ) : Z d S N = ( n 1,..., n k ) δ : S k S réseau de cellules ensemble fini d états vecteurs de Z d, voisinage de A règle de transition locale Une configuration est une fonction de Z d dans S. fonction globale de A sur les configurations : c S Zd, z Z d : ( A(c) ) ( z ) = δ ( c( z + n 1 ),..., c( z + n k ) ) 4 Universalité & automates cellulaires
12 Le modèle des AC Formellement, un automate cellulaire A est un quadruplet (Z d, N, S, δ) : Z d S N = ( n 1,..., n k ) δ : S k S réseau de cellules ensemble fini d états vecteurs de Z d, voisinage de A règle de transition locale Une configuration est une fonction de Z d dans S. fonction globale de A sur les configurations : c S Zd, z Z d : ( A(c) ) ( z ) = δ ( c( z + n 1 ),..., c( z + n k ) ) Exemple. translation de vecteur v : σ v = (Z d, S, { v }, Id) 4 Universalité & automates cellulaires
13 Le modèle des AC Diagramme espace-temps A = ( Z, N = { 1, O, 1}, S = {,,, δ ( ),, = }, δ ). (le temps progresse de bas en haut) 5 Universalité & automates cellulaires
14 Le modèle des AC L espace des configurations S Z Définition. d(c, d) = 2 min{ z :c(z) d(z)}. 6 Universalité & automates cellulaires
15 Le modèle des AC L espace des configurations S Z Définition. d(c, d) = 2 min{ z :c(z) d(z)}. d(c, d) = Universalité & automates cellulaires
16 Le modèle des AC L espace des configurations S Z Définition. d(c, d) = 2 min{ z :c(z) d(z)}. d(c, d) = 1 8 Fait. ( S Z, d ) est compact 6 Universalité & automates cellulaires
17 Le modèle des AC Caractérisation topologique des AC 7 Universalité & automates cellulaires
18 Le modèle des AC Caractérisation topologique des AC Théorème (Hedlund, 69). Une fonction sur S Z est la fonction globale d un AC si et seulement si elle est continue pour d et commute avec les translations. 7 Universalité & automates cellulaires
19 Le modèle des AC Caractérisation topologique des AC Théorème (Hedlund, 69). Une fonction sur S Z est la fonction globale d un AC si et seulement si elle est continue pour d et commute avec les translations. Corollaire. Un AC bijectif est réversible. 7 Universalité & automates cellulaires
20 Le modèle des AC Caractérisation topologique des AC Théorème (Hedlund, 69). Une fonction sur S Z est la fonction globale d un AC si et seulement si elle est continue pour d et commute avec les translations. Corollaire. Un AC bijectif est réversible. Étude des questions classiques de la théorie des systèmes dynamiques 7 Universalité & automates cellulaires
21 Le modèle des AC Caractérisation topologique des AC Théorème (Hedlund, 69). Une fonction sur S Z est la fonction globale d un AC si et seulement si elle est continue pour d et commute avec les translations. Corollaire. Un AC bijectif est réversible. Étude des questions classiques de la théorie des systèmes dynamiques Exemple : nilpotence = c 0 T c : A T (c) = c 0 indécidable ( la halte des AC ) problématique des périodes transitoires 7 Universalité & automates cellulaires
22 Universalité(s) Universalité(s) 8 Universalité & automates cellulaires
23 Universalité(s) Une machine de Turing est un automate cellulaire particulier étudié sur des configurations particulières. 9 Universalité & automates cellulaires
24 Universalité(s) Une machine de Turing est un automate cellulaire particulier étudié sur des configurations particulières. 9 Universalité & automates cellulaires
25 Universalité(s) Une machine de Turing est un automate cellulaire particulier étudié sur des configurations particulières. universalité Turing dans les AC 9 Universalité & automates cellulaires
26 Universalité(s) Universalité intrinsèque = 10 Universalité & automates cellulaires
27 Universalité(s) Universalité intrinsèque = capacité à simuler de manière synchrone et uniforme tout AC. 10 Universalité & automates cellulaires
28 Universalité(s) Universalité intrinsèque = capacité à simuler de manière synchrone et uniforme tout AC. idée ancienne formalisée progressivement : Banks 70, Albert & Culik 87, Martin 94, Durand & Róka Universalité & automates cellulaires
29 Universalité(s) Universalité intrinsèque = capacité à simuler de manière synchrone et uniforme tout AC. idée ancienne formalisée progressivement : Banks 70, Albert & Culik 87, Martin 94, Durand & Róka 96 B simule A = B contient toute la dynamique de A 10 Universalité & automates cellulaires
30 Universalité(s) Universalité intrinsèque = capacité à simuler de manière synchrone et uniforme tout AC. idée ancienne formalisée progressivement : Banks 70, Albert & Culik 87, Martin 94, Durand & Róka 96 B simule A = B contient toute la dynamique de A tous les diagrammes espace-temps de A sont des diagrammes espace-temps de B 10 Universalité & automates cellulaires
31 Universalité(s) Universalité intrinsèque = capacité à simuler de manière synchrone et uniforme tout AC. idée ancienne formalisée progressivement : Banks 70, Albert & Culik 87, Martin 94, Durand & Róka 96 B simule A = B contient toute la dynamique de A tous les diagrammes espace-temps de A sont des diagrammes espace-temps de B simulation = changement d échelle + relation de sous-système (Mazoyer & Rapaport 98, Ollinger 02) 10 Universalité & automates cellulaires
32 Universalité(s) Notion de sous-système stable : B est un sous-automate de A (B A) si 11 Universalité & automates cellulaires
33 Universalité(s) Notion de sous-système stable : B est un sous-automate de A (B A) si B Zd B B Zd où ι : B A est injective ι A Zd A ι A Zd 11 Universalité & automates cellulaires
34 Universalité(s) Notion de sous-système stable : B est un sous-automate de A (B A) si B Zd B B Zd où ι : B A est injective ι A Zd A ι A Zd À renommage près, B est A restreint à un sous-alphabet 11 Universalité & automates cellulaires
35 Universalité(s) Transformations spatio-temporelles (A A T ) : états : A états : A m A T =<m,n> A T A <m,n> = o m A n o m 12 Universalité & automates cellulaires
36 Universalité(s) Transformations spatio-temporelles (A A T ) : états : A états : A m A T =<m,n> A T A <m,n> = o m A n o m Formellement, la simulation ( ) se définit par : A B T, T : A T B T 12 Universalité & automates cellulaires
37 Universalité(s) Prorpiétés de 13 Universalité & automates cellulaires
38 Prorpiétés de est un pré-ordre ( relation d équivalence ) Universalité(s) 13 Universalité & automates cellulaires
39 Universalité(s) Prorpiétés de est un pré-ordre ( relation d équivalence ) {(A, B) : A B} est récursivement énumérable (mais non récursif) 13 Universalité & automates cellulaires
40 Universalité(s) Prorpiétés de est un pré-ordre ( relation d équivalence ) {(A, B) : A B} est récursivement énumérable (mais non récursif) admet un minimum global : les AC à 1 état 13 Universalité & automates cellulaires
41 Universalité(s) Prorpiétés de est un pré-ordre ( relation d équivalence ) {(A, B) : A B} est récursivement énumérable (mais non récursif) admet un minimum global : les AC à 1 état 13 Universalité & automates cellulaires
42 Universalité(s) Maximum global pour : la classe U des AC intrinsèquement universels 14 Universalité & automates cellulaires
43 Universalité(s) Maximum global pour : la classe U des AC intrinsèquement universels Propriété. A U, B, m, n : B A <m,n> 14 Universalité & automates cellulaires
44 Universalité(s) Maximum global pour : la classe U des AC intrinsèquement universels Propriété. A U, B, m, n : B A <m,n> un AC intrinsèquement universel peut simuler directement tout AC 14 Universalité & automates cellulaires
45 Universalité(s) Maximum global pour : la classe U des AC intrinsèquement universels Propriété. A U, B, m, n : B A <m,n> un AC intrinsèquement universel peut simuler directement tout AC Petits exemples. réseau Z : Banks 70 (2 états, 5 voisins) Ollinger 03 (6 états, 3 voisins) réseau Z 2 : Banks 70 (2 états, 5 voisins) Conway 70 Game of Life (2 états, 9 voisins) 14 Universalité & automates cellulaires
46 Propriétés & probabilités asymptotiques Propriétés & probabilités asymptotiques 15 Universalité & automates cellulaires
47 Propriétés & probabilités asymptotiques un rayon r est fixé 16 Universalité & automates cellulaires
48 un rayon r est fixé Propriétés & probabilités asymptotiques AC n = AC de rayon r et d alphabet {1,..., n} 16 Universalité & automates cellulaires
49 Propriétés & probabilités asymptotiques un rayon r est fixé AC n = AC de rayon r et d alphabet {1,..., n} AC = AC n n N 16 Universalité & automates cellulaires
50 Propriétés & probabilités asymptotiques un rayon r est fixé AC n = AC de rayon r et d alphabet {1,..., n} AC = AC n n N propriété = P AC 16 Universalité & automates cellulaires
51 un rayon r est fixé Propriétés & probabilités asymptotiques AC n = AC de rayon r et d alphabet {1,..., n} AC = n N AC n propriété = P AC la probabilité de P : µ(p) = lim n P AC n AC n 16 Universalité & automates cellulaires
52 un rayon r est fixé Propriétés & probabilités asymptotiques AC n = AC de rayon r et d alphabet {1,..., n} AC = n N AC n propriété = P AC la probabilité de P : µ(p) = lim n P AC n AC n Définition. P croissante si A B : A P B P P est alors compatible avec le renommage 16 Universalité & automates cellulaires
53 Propriétés & probabilités asymptotiques Un exemple : 17 Universalité & automates cellulaires
54 Propriétés & probabilités asymptotiques Un exemple : e est un état quiescent si A(e,..., e) = e P = avoir un état quiescent P AC n AC n = 1 (1 1 n )n µ(p) = 1 1 e 17 Universalité & automates cellulaires
55 Propriétés & probabilités asymptotiques Un exemple : e est un état quiescent si A(e,..., e) = e P = avoir un état quiescent P AC n AC n = 1 (1 1 n )n µ(p) = 1 1 e Propriétés classiques décroissantes : réversibilité, surjectivité, expansivité 17 Universalité & automates cellulaires
56 Propriétés & probabilités asymptotiques Un exemple : e est un état quiescent si A(e,..., e) = e P = avoir un état quiescent P AC n AC n = 1 (1 1 n )n µ(p) = 1 1 e Propriétés classiques décroissantes : réversibilité, surjectivité, expansivité Une propriété croissante : l universalité intrinsèque µ(u)? 17 Universalité & automates cellulaires
57 Automates cellulaires captifs Automates cellulaires captifs 18 Universalité & automates cellulaires
58 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé 19 Universalité & automates cellulaires
59 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } 19 Universalité & automates cellulaires
60 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents 19 Universalité & automates cellulaires
61 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents A réversible et captif A 1 captif 19 Universalité & automates cellulaires
62 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents A réversible et captif A 1 captif pas de captif nilpotent ( questions de décidabilité) 19 Universalité & automates cellulaires
63 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents A réversible et captif A 1 captif pas de captif nilpotent ( questions de décidabilité) transformation uniforme des AC en captifs 19 Universalité & automates cellulaires
64 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents A réversible et captif A 1 captif pas de captif nilpotent ( questions de décidabilité) transformation uniforme des AC en captifs captifs intrinsèquement universels 19 Universalité & automates cellulaires
65 Automates cellulaires captifs Une classe définie à partir d un paradigme de localité renforcé Definition. A est un AC captif (ACC) si a 1,..., a k : A(a 1,..., a k ) {a 1,..., a k } un AC à 2 états est captif les 2 états sont quiescents A réversible et captif A 1 captif pas de captif nilpotent ( questions de décidabilité) transformation uniforme des AC en captifs captifs intrinsèquement universels probabilité dans la classe ACC : µ (P) = lim n P ACC n ACC n 19 Universalité & automates cellulaires
66 Automates cellulaires captifs Loi 0-1. Pour toute propriété P non triviale : P croissante µ (P) = 1 P décroissante µ (P) = 0 20 Universalité & automates cellulaires
67 Automates cellulaires captifs Loi 0-1. Pour toute propriété P non triviale : P croissante µ (P) = 1 P décroissante µ (P) = 0 Preuve. 20 Universalité & automates cellulaires
68 Automates cellulaires captifs Loi 0-1. Pour toute propriété P non triviale : P croissante µ (P) = 1 P décroissante µ (P) = 0 Preuve. 20 Universalité & automates cellulaires
69 Automates cellulaires captifs Loi 0-1. Pour toute propriété P non triviale : P croissante µ (P) = 1 P décroissante µ (P) = 0 Preuve. 20 Universalité & automates cellulaires
70 Automates cellulaires captifs Par la loi 0-1, un ACC aléatoire est intrinsèquement universel, mais Universalité & automates cellulaires
71 Automates cellulaires captifs Par la loi 0-1, un ACC aléatoire est intrinsèquement universel, mais... Théorème. r 0 tel que, r r 0, l appartenance à U pour un ACC est indécidable 21 Universalité & automates cellulaires
72 Automates cellulaires captifs Par la loi 0-1, un ACC aléatoire est intrinsèquement universel, mais... Théorème. r 0 tel que, r r 0, l appartenance à U pour un ACC est indécidable Coeur de la preuve : un transformation τ : AC ACC telle que τ est récursive A AC, A τ(a) A et τ(a) simulent les mêmes AC surjectifs non triviaux 21 Universalité & automates cellulaires
73 Automates cellulaires captifs Il n y a pas de limite à la complexité des ACC non intrinsèquement universels 22 Universalité & automates cellulaires
74 Automates cellulaires captifs Il n y a pas de limite à la complexité des ACC non intrinsèquement universels Théorème. A B et B A A ACC \ U, B ACC \ U tel que 22 Universalité & automates cellulaires
75 Automates cellulaires captifs Il n y a pas de limite à la complexité des ACC non intrinsèquement universels Théorème. A B et B A A ACC \ U, B ACC \ U tel que Preuve : semi-decidabilité de + indecidabilité de U pas de maximum global dans ACC \ U A, B ACC \ U, C ACC \ U avec A C et B C 22 Universalité & automates cellulaires
76 Automates cellulaires captifs Retour au cas général Universalité & automates cellulaires
77 Automates cellulaires captifs Retour au cas général... pas de loi 0-1 (propriété état quiescent) 23 Universalité & automates cellulaires
78 Automates cellulaires captifs Retour au cas général... pas de loi 0-1 (propriété état quiescent) Définition. P = {A : B, 1 < B < A et B A} Avoir un sous-automate non trivial 23 Universalité & automates cellulaires
79 Automates cellulaires captifs Retour au cas général... pas de loi 0-1 (propriété état quiescent) Définition. P = {A : B, 1 < B < A et B A} Avoir un sous-automate non trivial Propriété. µ(p ) = 0 Preuve combinatoire. 23 Universalité & automates cellulaires
80 Automates cellulaires captifs Retour au cas général... pas de loi 0-1 (propriété état quiescent) Définition. P = {A : B, 1 < B < A et B A} Avoir un sous-automate non trivial Propriété. µ(p ) = 0 Preuve combinatoire. un AC aléatoire n a pas de structure locale les arguments pour la classe ACC ne s appliquent pas 23 Universalité & automates cellulaires
81 Questions ouvertes Questions ouvertes 24 Universalité & automates cellulaires
82 Questions ouvertes (i). existe-t-il A tel que m, n, A <m,n> P? (ii). µ(p U )? µ(p U ) = c > 0 non défini µ(p U ) = 0 (iii). à quelle hauteur dans se trouve un AC aléatoire? (iv). Quelles -classes contiennent un ACC? 25 Universalité & automates cellulaires
Calculabilité 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étailDéveloppement décimal d un réel
4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce
Plus en détailCorrection du Baccalauréat S Amérique du Nord mai 2007
Correction du Baccalauréat S Amérique du Nord mai 7 EXERCICE points. Le plan (P) a une pour équation cartésienne : x+y z+ =. Les coordonnées de H vérifient cette équation donc H appartient à (P) et A n
Plus en détailPLAN NOTATIONS UTILISÉES
PLAN COURS 3 AGRÉGATION ORDINALE Master IAD DMDC PATRICE PERNY LIP6 Université Paris 6 1 2 2/29 NOTATIONS UTILISÉES I) O A : ordres complets sur A P A : Préordres sur A (complets ou partiels) PC A : Préordres
Plus en détailPremière partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015
Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détailIntégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
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étailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
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étailLa Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1
La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois
Plus en détailTIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES
Bulletin de la SOCIÉTÉ MATHÉMATIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES Bernard Host & Alejandro Maass Tome 135 Fascicule 3 2007 SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publié avec le concours du
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é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étailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
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é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é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étailMoments des variables aléatoires réelles
Chapter 6 Moments des variables aléatoires réelles Sommaire 6.1 Espérance des variables aléatoires réelles................................ 46 6.1.1 Définition et calcul........................................
Plus en détailChafa Azzedine - Faculté de Physique U.S.T.H.B 1
Chafa Azzedine - Faculté de Physique U.S.T.H.B 1 Définition: La cinématique est une branche de la mécanique qui étudie les mouements des corps dans l espace en fonction du temps indépendamment des causes
Plus en détailCorrigé du baccalauréat S Pondichéry 12 avril 2007
Corrigé du baccalauréat S Pondichéry 1 avril 7 EXERCICE 1 Commun à tous les candidats 4 points 1 a Les vecteurs AB et AC ont pour coordonnées AB ; ; ) et AC 1 ; 4 ; 1) Ils ne sont manifestement pas colinéaires
Plus en dé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étailF1C1/ Analyse. El Hadji Malick DIA
F1C1/ Analyse Présenté par : El Hadji Malick DIA dia.elmalick1@gmail.com Description sommaire du cours Porte sur l analyse réelle propose des outils de travail sur des éléments de topologie élémentaire
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
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étailProgrammes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme
Plus en détailModélisation et Simulation
Cours de modélisation et simulation p. 1/64 Modélisation et Simulation G. Bontempi Département d Informatique Boulevard de Triomphe - CP 212 http://www.ulb.ac.be/di Cours de modélisation et simulation
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étailModélisation multi-agents - Agents réactifs
Modélisation multi-agents - Agents réactifs Syma cursus CSI / SCIA Julien Saunier - julien.saunier@ifsttar.fr Sources www-lih.univlehavre.fr/~olivier/enseignement/masterrecherche/cours/ support/algofourmis.pdf
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é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étailI Stabilité, Commandabilité et Observabilité 11. 1 Introduction 13 1.1 Un exemple emprunté à la robotique... 13 1.2 Le plan... 18 1.3 Problème...
TABLE DES MATIÈRES 5 Table des matières I Stabilité, Commandabilité et Observabilité 11 1 Introduction 13 1.1 Un exemple emprunté à la robotique................... 13 1.2 Le plan...................................
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étailChapitre 7 : Intégration sur un intervalle quelconque
Universités Paris 6 et Paris 7 M1 MEEF Analyse (UE 3) 2013-2014 Chapitre 7 : Intégration sur un intervalle quelconque 1 Fonctions intégrables Définition 1 Soit I R un intervalle et soit f : I R + une fonction
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détail"Calcul et hyper-calcul"
"Calcul et hyper-calcul" Mémoire de Master 2 (LoPHISS) Université de Paris 1 (Panthéon-Sorbonne) par Héctor Zenil Chávez Sous la direction de M. Jacques Dubucs 20 octobre 2006 2 Table des matières 1 Introduction
Plus en détailCorrection du baccalauréat S Liban juin 2007
Correction du baccalauréat S Liban juin 07 Exercice. a. Signe de lnx lnx) : on fait un tableau de signes : x 0 e + ln x 0 + + lnx + + 0 lnx lnx) 0 + 0 b. On afx) gx) lnx lnx) lnx lnx). On déduit du tableau
Plus en détailwww.h-k.fr/publications/objectif-agregation
«Sur C, tout est connexe!» www.h-k.fr/publications/objectif-agregation L idée de cette note est de montrer que, contrairement à ce qui se passe sur R, «sur C, tout est connexe». Cet abus de langage se
Plus en détailBac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
Plus en dé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étailchapitre 4 Nombres de Catalan
chapitre 4 Nombres de Catalan I Dénitions Dénition 1 La suite de Catalan (C n ) n est la suite dénie par C 0 = 1 et, pour tout n N, C n+1 = C k C n k. Exemple 2 On trouve rapidement C 0 = 1, C 1 = 1, C
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é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étailLe théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche
Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines
Plus en détailaux différences est appelé équation aux différences d ordre n en forme normale.
MODÉLISATION ET SIMULATION EQUATIONS AUX DIFFÉRENCES (I/II) 1. Rappels théoriques : résolution d équations aux différences 1.1. Équations aux différences. Définition. Soit x k = x(k) X l état scalaire
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étailLa demande Du consommateur. Contrainte budgétaire Préférences Choix optimal
La demande Du consommateur Contrainte budgétaire Préférences Choix optimal Plan du cours Préambule : Rationalité du consommateur I II III IV V La contrainte budgétaire Les préférences Le choix optimal
Plus en détailRétablissement d un réseau cellulaire après un désastre
Rétablissement d un réseau cellulaire après un désastre Anaïs Vergne avec Laurent Decreusefond, Ian Flint, et Philippe Martins Journées MAS 2014 29 août 2014 Rétablissement d un réseau cellulaire après
Plus en détailTP N 57. Déploiement et renouvellement d une constellation de satellites
TP N 57 Déploiement et renouvellement d une constellation de satellites L objet de ce TP est d optimiser la stratégie de déploiement et de renouvellement d une constellation de satellites ainsi que les
Plus en détailThéorie de la mesure. S. Nicolay
Théorie de la mesure S. Nicolay Année académique 2011 2012 ii Table des matières Introduction v 1 Mesures 1 1.1 Sigma-algèbres................................. 1 1.2 Mesures.....................................
Plus en détailGroupe 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étailCalcul intégral élémentaire en plusieurs variables
Calcul intégral élémentaire en plusieurs variables PC*2 2 septembre 2009 Avant-propos À part le théorème de Fubini qui sera démontré dans le cours sur les intégrales à paramètres et qui ne semble pas explicitement
Plus en détailModélisation aléatoire en fiabilité des logiciels
collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailModule 7: Chaînes de Markov à temps continu
Module 7: Chaînes de Markov à temps continu Patrick Thiran 1 Introduction aux chaînes de Markov à temps continu 1.1 (Première) définition Ce module est consacré aux processus à temps continu {X(t), t R
Plus en détailTHEORIE DE LA RELATIVITE RESTREINTE : NOTION DE TEMPS PROPRE, DE TEMPS IMPROPRE ET DE SIMULTANEITE
THEORIE DE LA RELATIVITE RESTREINTE : NOTION DE TEMPS PROPRE, DE TEMPS IMPROPRE ET DE SIMULTANEITE. Introduction Dans la compréhension de la relativité restreinte (RR par la suite), beaucoup de difficultés
Plus en détailPremiers exercices d Algèbre. Anne-Marie Simon
Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailpar Méthodes topologiques en dynamique des surfaces École d été, Grenoble, Juin 2006
POINTS FIXES DES HOMÉOMORPHISMES DE SURFACES par Frédéric Le Roux Méthodes topologiques en dynamique des surfaces École d été, Grenoble, Juin 2006 La fibration de Hopf. Dessin de Benoît Kloeckner, http
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailMCMC et approximations en champ moyen pour les modèles de Markov
MCMC et approximations en champ moyen pour les modèles de Markov Gersende FORT LTCI CNRS - TELECOM ParisTech En collaboration avec Florence FORBES (Projet MISTIS, INRIA Rhône-Alpes). Basé sur l article:
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailCOURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE
COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE Le cours de la première année concerne les sujets de 9ème et 10ème années scolaires. Il y a bien sûr des différences puisque nous commençons par exemple par
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailPROBABILITES ET STATISTIQUE I&II
PROBABILITES ET STATISTIQUE I&II TABLE DES MATIERES CHAPITRE I - COMBINATOIRE ELEMENTAIRE I.1. Rappel des notations de la théorie des ensemble I.1.a. Ensembles et sous-ensembles I.1.b. Diagrammes (dits
Plus en détailLa Longue Marche à travers la théorie de Galois, Part Ib, 26-37
La Longue Marche à travers la théorie de Galois, Part Ib, 26-37 26. Groupes de Teichmüller profinis (Discrétification et prédiscrétification) Soit π un groupe profini à lacets de type g, ν, T le Ẑ-module
Plus en détailCAPTEURS - CHAINES DE MESURES
CAPTEURS - CHAINES DE MESURES Pierre BONNET Pierre Bonnet Master GSI - Capteurs Chaînes de Mesures 1 Plan du Cours Propriétés générales des capteurs Notion de mesure Notion de capteur: principes, classes,
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailObjectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)
Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter
Plus en détailL analyse d images regroupe plusieurs disciplines que l on classe en deux catégories :
La vision nous permet de percevoir et d interpreter le monde qui nous entoure. La vision artificielle a pour but de reproduire certaines fonctionnalités de la vision humaine au travers de l analyse d images.
Plus en détailRappels et compléments, première partie : Nombres complexes et applications à la géométrie
Rappels et compléments, première partie : Nombres complexes et applications à la géométrie 1 Définition des nombres complexes On définit sur les couples de réels une loi d addition comme suit : (x; y)
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailLe programme d examens du Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe 19 domaines du génie.
INTRODUCTION Le programme d examens du Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe 19 domaines du génie. Le programme d examens de chaque domaine se divise en deux catégories
Plus en détailTowards realistic modeling of IP-level topology dynamics
Towards realistic modeling of IP-level topology dynamics Clémence Magnien, Amélie Medem, Fabien Tarissan LIP6, CNRS et UPMC Sorbonne Universités Algotel 2012 Mai 2012 La Grande Motte, Hérault, France Etude
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étailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailAlgorithmes pour la planification de mouvements en robotique non-holonome
Algorithmes pour la planification de mouvements en robotique non-holonome Frédéric Jean Unité de Mathématiques Appliquées ENSTA Le 02 février 2006 Outline 1 2 3 Modélisation Géométrique d un Robot Robot
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étailCorrigé du baccalauréat S Asie 21 juin 2010
Corrigé du baccalauréat S Asie juin 00 EXERCICE Commun à tous les candidats 4 points. Question : Le triangle GBI est : Réponse a : isocèle. Réponse b : équilatéral. Réponse c : rectangle. On a GB = + =
Plus en détailEspérance conditionnelle
Espérance conditionnelle Samy Tindel Nancy-Université Master 1 - Nancy Samy T. (IECN) M1 - Espérance conditionnelle Nancy-Université 1 / 58 Plan 1 Définition 2 Exemples 3 Propriétés de l espérance conditionnelle
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é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étailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailMesures et Intégration
Mesures et Intégration Marc Troyanov - EPFL - Octobre 2005 30 avril 2008 Ce document contient les notes du cours de Mesure et Intégration enseigné à l EPFL par Marc Troyanov, version 2005-2006. Table des
Plus en détailRéalisabilité et extraction de programmes
Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailTable des matières. I Mise à niveau 11. Préface
Table des matières Préface v I Mise à niveau 11 1 Bases du calcul commercial 13 1.1 Alphabet grec...................................... 13 1.2 Symboles mathématiques............................... 14 1.3
Plus en détailFIMA, 7 juillet 2005
F. Corset 1 S. 2 1 LabSAD Université Pierre Mendes France 2 Département de Mathématiques Université de Franche-Comté FIMA, 7 juillet 2005 Plan de l exposé plus court chemin Origine du problème Modélisation
Plus en détailExercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.
14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,
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étailCours d Analyse 3 Fonctions de plusieurs variables
Université Claude Bernard, Lyon I Licence Sciences, Technologies & Santé 43, boulevard 11 novembre 1918 Spécialité Mathématiques 69622 Villeurbanne cedex, France L. Pujo-Menjouet pujo@math.univ-lyon1.fr
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailTESTS PORTMANTEAU D ADÉQUATION DE MODÈLES ARMA FAIBLES : UNE APPROCHE BASÉE SUR L AUTO-NORMALISATION
TESTS PORTMANTEAU D ADÉQUATION DE MODÈLES ARMA FAIBLES : UNE APPROCHE BASÉE SUR L AUTO-NORMALISATION Bruno Saussereau Laboratoire de Mathématiques de Besançon Université de Franche-Comté Travail en commun
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étailTABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent
TABLE DES MATIÈRES AVANT-PROPOS III CHAPITRE I Les quanta s invitent I-1. L Univers est en constante évolution 2 I-2. L âge de l Univers 4 I-2.1. Le rayonnement fossile témoigne 4 I-2.2. Les amas globulaires
Plus en détailUne réponse (très) partielle à la deuxième question : Calcul des exposants critiques en champ moyen
Une réponse (très) partielle à la deuxième question : Calcul des exposants critiques en champ moyen Manière heuristique d'introduire l'approximation de champ moyen : on néglige les termes de fluctuations
Plus en détailLa formation à l informatique et aux TIC au lycée. Proposition de programme Seconde Première Terminale
La formation à l informatique et aux TIC au lycée Proposition de programme Seconde Première Terminale (04-03-2008) Préambule L informatique et les technologies de l information et de la communication (ITIC),
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étail