Modèles de calculs sur les réels
|
|
- Pierre-Yves Juneau
- il y a 8 ans
- Total affichages :
Transcription
1 Modèles de calculs sur les réels Olivier Bournez LORIA / INRIA Rencontres Arithmétique de l Informatique Mathématique Montpellier, 24 Janvier 2007.
2 Pub!! L École Jeunes Chercheurs Informatique Mathématique (ex : École Jeunes Chercheurs en Algorithmique et Calcul Formel) aura lieu du 19 au 23 mars 2007 au LORIA à Nancy
3 Le monde classique : généralités Calculabilité Complexité. Calculabilité : Relations entre modèles de calculs. Existence d algorithmes. Complexité : Efficacité d algorithmes. Bornes inférieures, Bornes supérieures.
4 Le monde classique : thèse(s) de Church Thèse(s) de Church Thèse de Church : Ce qui est effectivement calculable est calculable. Thèse M : Ce qui est calculable par une machine est calculable. Conséquences fortes : Tous les modèles de calculs suffisamment puissants sont équivalents. Il y a un accord global sur la notion de calculable (= raisonnable pour un modèle de calcul discret).
5 Le monde classique : complexité Thèse de Church effective : Les modèles de calculs sont équivalents à un ralentissement polynomial près. Conséquences fortes : Il y a accord sur la notion d algorithme raisonnable. (= raisonnable pour un algorithme digital classique). Classes P (NP, BPP, ZPP, NC, PAR, PSPACE,...)
6 Le monde des calculs sur les réels : problème majeur Plusieurs modèles de calculs, avec peu de relations connues. Les modèles ont en fait des motivations 1 foncièrement différentes. Constat : Pas de thèse(s) de Church pas d accord sur la notion de calculable. Pas de thèse(s) de Church effective pas d accord sur la notion d algorithme raisonnable. 1 Il est important de réaliser que, pour le monde des calculs discrets, la (les) thèse(s) de Church unifi(ent) des concepts à priori foncièrement distincts comme effectivement calculable, prouvable, définissable, calculable par machines.
7 Le monde des calculs sur les réels : problème majeur Plusieurs modèles de calculs, avec peu de relations connues. Les modèles ont en fait des motivations 1 foncièrement différentes. Constat : Pas de thèse(s) de Church pas d accord sur la notion de calculable. Pas de thèse(s) de Church effective pas d accord sur la notion d algorithme raisonnable. 1 Il est important de réaliser que, pour le monde des calculs discrets, la (les) thèse(s) de Church unifi(ent) des concepts à priori foncièrement distincts comme effectivement calculable, prouvable, définissable, calculable par machines.
8 Le monde des calculs sur les réels : problème majeur Plusieurs modèles de calculs, avec peu de relations connues. Les modèles ont en fait des motivations 1 foncièrement différentes. Constat : Pas de thèse(s) de Church pas d accord sur la notion de calculable. Pas de thèse(s) de Church effective pas d accord sur la notion d algorithme raisonnable. 1 Il est important de réaliser que, pour le monde des calculs discrets, la (les) thèse(s) de Church unifi(ent) des concepts à priori foncièrement distincts comme effectivement calculable, prouvable, définissable, calculable par machines.
9 Motivation 1 : machines de Calculs NACA Lewis Flight Propulsion Laboratory s Differential Analyser Question : Quelle est la puissance de cette machine?
10 Motivation 2 : effectivité en analyse Question : Peut-on calculer le maximum d une fonction continue sur un compact? Un point qui rend la fonction maximale?
11 Motivation 3 : complexité algébrique Question : Quelle est la complexité de la méthode de Newton?
12 Cet exposé Des modèles issus de machines analogiques : le GPAC, (les réseaux de neurones), Des modèles issus de la calculabilité/complexité classique : l analyse récursive. Des modèles issus de la complexité algébrique : le modèle BSS. (le modèle de Valiant)
13 Cet exposé Des modèles issus de machines analogiques : le GPAC, (les réseaux de neurones), Des modèles issus de la calculabilité/complexité classique : l analyse récursive. Des modèles issus de la complexité algébrique : le modèle BSS. (le modèle de Valiant)
14 Le General Purpose Analog Computer de Shannon
15 Exemple Un intégrateur moderne C U R - + V V (t) = 1/RC t 0 U(t)dt Générer cos(t) t -1 y 1 y 2 y 3 y 1 = cos(t) y 2 = sin(t) y 3 = sin(t)
16 Le General Purpose Analog Computer Le GPAC de [Shannon41] Une abstraction mathématique de l analyseur différentiel (mécanique) du MIT de Vannevar Bush (1931). Blocs de base : constantes, additions, intégrations, multiplications. La caractérisation [Shannon41] est incomplète. Corrections [PourEl-Richards74], [Lipshitz-Rubel87], [Graça-Costa03]. Proposition (Graça-Costa03) Une fonction unaire f : R R est générée par GPAC ssi elle correspond à une coordonnée d un système où p est un vecteur de polynômes. y = p(t, y), (1)
17 Doug Coward s Analog Computer Museum
18 Un inte grateur me canique Bureau of Naval Personnel, Basic Machines and How They Work, 1964 Un analyseur diffe rentiel en Meccano Douglas Rayner Hartree, 1933 Tim Robinson, 2004
19 Un modèle des calculs analogiques modernes Proposition (Graça-Costa03) Une fonction unaire f : R R est générée par GPAC ssi elle correspond à une coordonnée d un système y = p(t, y) où p est un vecteur de polynômes. Theorem (Graça2007) Toute coordonnée d un système y = f (t, y), où chaque coordonnée de f est la composée de fonctions GPAC-générables, et de polynômes, est GPAC-générable.
20 Résultats de non-calculabilité Fonctions non différentiellement algébriques : La fonction Γ(x) = 0 t x 1 e t dt La fonction Zeta de Riemann ζ(x) = k=0 1 k x
21 Analyse Récursive 2 2 Beaucoup d emprunts au tutorial de Vasko Brattka, CIE 2005
22 Le point de départ [Turing36] : The computable numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by a finite means.
23 Le corps des réels calculables Definition Un nombre réel est calculable, s il existe une machine de Turing qui peut produire son écriture décimale (sans entrée). Theorem (Rice54) L ensemble des réels calculables R c est un corps réel algébriquement clos. Ce corps contient tous les nombres réels courants rencontrés en analyse (ex. 2, π, e, etc.). On a Q A R c R (A est l ensemble des nombres algébriques). R c est dénombrable. Le corps R c n est pas complet. Dans l école Russe (ex. Markov, Sanin, Kushner, Aberth) on étudie la calculabilité f : R c R c.
24 Caractérisations de réels calculables Theorem Soit x [0, 1]. Les assertions suivantes sont équivalentes x est un réel calculable. il existe une suite calculable de rationnels (q n ) n N qui converge rapidement vers x, i.e q i x < 2 i. {q Q : q < x} est un ensemble récursif. il existe un ensemble récursive A N tel que x = i A 2 i 1. x admet une écriture en fraction continue calculable : c.a.d il existe une fonction calculable f : N N telle que x = f (0) f (1) + f (2)+ 1 f (3)+
25 Fonctions Calculables : idée naïve Un ruban représente un nombre réel M se comporte comme une machine de Turing Ruban de sortie one-way write-only. M produit une représentation de f (x 1, x 2 ) à partir de représentations de x 1, x 2. Theorem La fonction f : R R, x 3x n est pas calculable vis-à-vis de la représentation par écriture décimale.
26 Fonctions Calculables : définition correcte Due à Turing, Grzegorczyk, Lacombe. Présentation ici de Weihrauch. Un ruban représente un nombre réel Chaque nombre réel x est représenté par une suite infinie (q n ) n Q, q n x 2 n M se comporte comme une machine de Turing Ruban de sortie one-way write-only. M produit une représentation de f (x 1, x 2 ) à partir de représentations de x 1, x 2.
27 Fonctions calculables Theorem Les fonctions suivantes sont calculables : Les opérations arithmétiques +,,., : R R R. La fonction valeur absolue abs : R R, x x. Les fonctions min, max : R R R. Les fonctions constantes R R, x c avec c R c. Les projections pr i : R n R, (x 1,, x n ) x i. Les polynômes p : R n R avec des coefficients calculables. La fonction exponentielle et les fonctions trigonométriques exp, sin, cos : R R. La fonction racine carré et la fonction logarithme log sur son domaine naturel.
28 Quelques résultats Theorem Si f : R R est calculable alors f : R R est continue. Quelques résultats : TVI : Il n y a pas d algorithme général qui détermine un 0 d une fonction continue f : [0, 1] R avec f (0)f (1) < 0. Brouwer FPT : Il existe une fonction calculable f : [0, 1] 2 [0, 1] 2 sans point fixe calculable [Orevkov63]. Il existe une fonction calculable f : [0, 1] R de classe C 1, mais dont la dérivée n est pas calculable [Myhill71]. Il existe une fonction f : [0, 1] [ 1, 1] R calculable telle que y = f (t, y), possède aucune solution calculable sur aucun intervalle fermé [PE-R79].
29 Ensembles calculables Principe : Un ensemble fermé A R 2 est récursif ssi il peut être dessiné par un ordinateur physique à une résolution arbitraire. Definition La fonction distance d A : R n R d un ensemble non-vide A R n est définie par d A (x) = inf y A x y. Definition Un ensemble fermé A R n est récursif si d A : R n R est calculable.
30 L ensemble de Mandelbrot Question ouverte : Est-ce que l ensemble de Mandelbrot M = {c C : n fc n (0) < 2} est un ensemble récursif fermé de R 2? (ici f c : C z z 2 + c) Theorem (Hertling2005) Si la conjecture hyperbolique est vraie, alors l ensemble de Mandelbrot est récursif.
31 Complexité Il est possible de définir une notion de réel et de fonction calculable en temps polynomial [Ko91] il faut changer la représentation (signed digit representation) l idée est qu on impose que l on doit produire le nième bit en temps p(n) pour un polynôme p.
32 Quelques résultats P = NP ssi pour toute fonction f : [0, 1] R calculable en temps polynomial, la fonction maximum g : [0, 1] R définie par g(x) = max{f (y) : 0 y x} pour tout x [0, 1] est calculable en temps polynomial [Friedman84] P = PSPACE implique que pour toute fonction f : [0, 1] [ 1, 1] R qui satisfait une condition de Lipschitz f (x, z 1 ) f (x, z 2 ) L z 1 z 2 pour L > 0, la solution unique y : [0, 1] R de l équation différentielle y = f (x, y(x)), y(0) = 0 est calculable en temps polynomial [Ko83].
33 Problèmes numériques vs Complexité Classification grossière ([Ko91,Brattka2005] ) : Problème numérique Optimisation (fonctions) Équations différentielles ordinaires Intégration Optimisation (nombres) Racines (dim 1) Différentiation Classe de complexité EXPSPACE-complet PSPACE-complet #P-complet NP-complet P-complet P (si calculable)
34 Plus d informations Klaus Weihrauch, Computability and Complexity in Analysis, Springer, Ker-I Ko, Complexity Theory of Real Functions, Birkhäuser, Marian Pour-El and J. Ian Richards, Computability in Analysis and Physics, Springer 1989.
35 Modèle de Blum Shub Smale
36 Motivation initiale Fournir un cadre théorique pour étudier la calculabilité et la complexité de problèmes de l analyse numérique, de la géométrie, de la topologie...
37 Notion de réduction Problème 1 : Etant donné f R[X 1,, X n ], existe t il un zéro réel x R n de f? Problème 2 : Etant donné a 1,, a m, b 1,, b m, est-ce que a T 1 x = b 1,, a T mx = b m possède une solution? Problème 2 Problème 1. Considérer la réduction via f (X ) = m i=1 (at i x b i ) 2.
38 Simple vs Compliqué f (x) = ax + b, a, b entrées a 0 : il y a un zéro, et x = b/a. a = 0, b = 0, similaire, et x arbitraire Prouver l existence est facile, si les tests y = 0 sont autorisés. Calcul facile, si la division est autorisée. f (x) = ax 2 + bx + c, a, b, c entrées. Existence si b 2 4ac 0, facile avec les tests y 0? Calcul facile, si +,,, :, y y sont autorisés. f univariée existence : Sturm calcul : en général impossible. général f : R n R m : théorie de la complexité sur les réels
39 Méthode de Newton x R, e > 0 avec f : R R polynôme. x <- x - f(x)/f'(x) f(x) e non oui Arrêt, sortie x
40 1989 : Calculs sur R Machine de Blum Shub Smale : similaire à une machine de Turing, avec les propriétés : Les cases des rubans contiennent des éléments arbitraires de R. Noeuds de calculs pour calculer les opérations +,,, / à coût unitaire. Noeuds constants pour produire des constantes dans R. Noeuds de branchement pour brancher sur des tests a b (réalisé à coût unitaire). Noeuds de déplacement pour déplacer la tête de lecture. Entrées et les sorties sont des vecteurs de R = n N Les problèmes de décision sont des sous-ensembles de R. R n
41 Quelques résultats de calculabilité Il existe une machine BSS Universelle. Le problème de l arrêt des machines BSS est BSS-indécidable. L ensemble de Mandelbrot est indécidable (mais co-récursivement énumérable). L ensemble des points qui convergent sous l algorithme de Newton est indécidable.
42 1995 : Structures arbitraires K (Poizat) Une structure K = (K, {op i } i I, rel 1,..., rel l, 0, 1) est donnée par : Un ensemble sous-jacent K Des opérations op ı, ı I sur K, avec arités. Des relations rel 1,..., rel l over K, avec arités. Conventions : Les constantes correspondent à des opérateurs d arité 0. K contient au moins deux éléments avec les constantes associées 1, 0. La relation d égalité = sur K est une relation de K. Il y a au moins une opération Sel d arité 3 avec Sel(0, x, y) = x, Sel(1, x, y) = y. L ensemble I des opérations d arité > 0 est fini.
43 Machine BSS sur K Machine de Blum Shub Smale : similaire à une machine de Turing, avec les propriétés : Les cases des rubans contiennent des éléments arbitraires de K. Noeuds de calculs pour calculer les opérations {op i } i I à coût unitaire. Noeuds de branchement pour les tests rel 1,..., rel l à coût unitaire. Noeuds de déplacement pour déplacer la tête de lecture. Entrées et les sorties sont des vecteurs de K = n N Les problèmes de décision sont des sous-ensembles de K. K n
44 Cadres principaux Classique : K = Z 2 = ({0, 1}, =, 0, 1) Additif (ordonné) : K = R ovs = (R, +,, c R, ) Réel non-restreint : K = R = (R, +,,, /, c R, ) Complexe : K = C = (C, +,,, /, c C, =)
45 P, NP, conp,... Mesure du temps : # de pas de calculs P K : sous-ensemble de K décidés en temps polynomial (coût unitaire). NP K = Σ 1 K : sous-ensemble de K décidés en temps polynomial non-déterministe (témoins existentiels dans K ) DNP K = DΣ 1 K : sous-ensemble de K décidés en temps polynomial non-déterministe (témoins existentiels dans {0, 1} )
46 Relations d inclusions
47 Réductions et Complètude Définition : A K B ssi il existe une machine BSS sur K telle que, pour tout x K, x A Φ M (x) B et M travaille en temps polynomial. Il existe des problèmes NP K -complets naturels. Ex : K = Z 2 : 3SAT est NP-complet. K = R ovs : DIM ovs (dimension d un ensemble semi-linéaire) est NP Rovs -complet. K = R : 4FEAS R (existence d un zéro à un polynôme multivarié de degré 4) est NP R -complet. K = C : HN C (existence d un zéro commun à un système de polynômes) est NP C -complet.
48 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
49 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
50 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
51 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
52 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
53 Statut de la question P K = NP K K = Z 2 : P = NP est ouvert. K = R ovs : P ovs = NP ovs est ouvert. P ovs = NP ovs P/Poly = NP/Poly. NP ovs = DNP ovs K = R : P R = NP R est ouvert. PH R EXP R K = C : P C = NP C est ouvert. PH C EXP C K = R sin : P R sin NP R sin (pas d élimination des quanteurs) K = R vs = (R, +,, c R, =) : (Σ 2 R vs Π 2 R vs ) \ (Σ 1 R vs Π 1 R vs ) PH Rvs EXP Rvs P vs = NP vs est ouvert.
54 Questions d espace Sur K = R, il existe une constante universelle c telle que, pour tout problème de décision L décidable et toute entrée x, il existe un algorithme qui décide x L en espace au plus x + c (ralentissement exponentiel). Sur K = R ovs x 2, il existe une constante universelle c telle que, pour tout problème de décision en temps polynomial et toute entrée x, il existe un algorithme en temps polynomial qui décide x L en espace au plus x + c. pas d analogue à PSPACE, LOGSPACE, etc... sur K = Z 2, PAT = PSPACE = PAR
55 Circuits Un circuit C calcule F C : K n K m. x y z - π 0 sortie si x y 0 alors z sinon π, n = 3, m = 1
56 Calculs avec des circuits Les classes de complexité peuvent se définir en termes de circuits : P K est l ensemble des langages de K décidés par une famille uniforme de circuits de taille polynomiale. NP K est l ensemble des langages L de K tel qu il existe L P K, et un polynôme p, avec x L y K p( x ) : (x, y) L
57 Calculs avec des circuits Les classes de complexité peuvent se définir en termes de circuits : P K est l ensemble des langages de K décidés par une famille uniforme de circuits de taille polynomiale. NP K est l ensemble des langages L de K tel qu il existe L P K, et un polynôme p, avec x L y K p( x ) : (x, y) L
58 P K défini par les circuits Theorem Un problème L est dans P K ss il existe un m-uple de paramètres a = (a 1,..., a m ) K m, et une famille C n (x, z) de circuits sur K, où x = (x1,..., x n ) z = (z 1,..., z m ) tels que 1 la fonction qui a n associe C n (x, z) considéré comme un mot booléen est calculable par un algorithme standard en temps polynomial en n. 2 C n (x, a) résout le problème pour les entrées de taille n : i.e. donne 1 pour x si x appartient a L, 0 sinon.
59 Conclusion Plusieurs modèles sur les réels Avec des motivations différentes. Peu de relations Cet exposé General Purpose Analog Computer Approche de l analyse récursive Modèle de Blum Shub Smale, étendu par Poizat
La 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é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étailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en dé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é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é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é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é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étailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en dé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étailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
Plus en dé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étailExercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
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étailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailIntégration et probabilités TD1 Espaces mesurés
Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?
Plus en détailLes équations différentielles
Les équations différentielles Equations différentielles du premier ordre avec second membre Ce cours porte exclusivement sur la résolution des équations différentielles du premier ordre avec second membre
Plus en détailComplément d information concernant la fiche de concordance
Sommaire SAMEDI 0 DÉCEMBRE 20 Vous trouverez dans ce dossier les documents correspondants à ce que nous allons travailler aujourd hui : La fiche de concordance pour le DAEU ; Page 2 Un rappel de cours
Plus en détailNotes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières
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étailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
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étailAlgorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle RICM3 Cours 9 : Lambda-calcul Benjamin Wack Polytech 2014-2015 1 / 35 La dernière fois Typage Polymorphisme Inférence de type 2 / 35 Plan Contexte λ-termes
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é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étailCorrection de l examen de la première session
de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi
Plus en détailCours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques
Université de Provence Topologie 2 Cours3. Applications continues et homéomorphismes 1 Rappel sur les images réciproques Soit une application f d un ensemble X vers un ensemble Y et soit une partie P de
Plus en détailNombres premiers. Comment reconnaître un nombre premier? Mais...
Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement
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étailLe modèle de Black et Scholes
Le modèle de Black et Scholes Alexandre Popier février 21 1 Introduction : exemple très simple de modèle financier On considère un marché avec une seule action cotée, sur une période donnée T. Dans un
Plus en détailAmphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
Plus en dé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étailEquations différentielles linéaires à coefficients constants
Equations différentielles linéaires à coefficients constants Cas des équations d ordre 1 et 2 Cours de : Martine Arrou-Vignod Médiatisation : Johan Millaud Département RT de l IUT de Vélizy Mai 2007 I
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étailIntroduction. Mathématiques Quantiques Discrètes
Mathématiques Quantiques Discrètes Didier Robert Facultés des Sciences et Techniques Laboratoire de Mathématiques Jean Leray, Université de Nantes email: v-nantes.fr Commençons par expliquer le titre.
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étailProgramme de la classe de première année MPSI
Objectifs Programme de la classe de première année MPSI I - Introduction à l analyse L objectif de cette partie est d amener les étudiants vers des problèmes effectifs d analyse élémentaire, d introduire
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étailCorps des nombres complexes, J Paul Tsasa
Corps des nombres complexes, J Paul Tsasa One Pager Février 2013 Vol. 5 Num. 011 Copyright Laréq 2013 http://www.lareq.com Corps des Nombres Complexes Définitions, Règles de Calcul et Théorèmes «Les idiots
Plus en dé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étailSites web éducatifs et ressources en mathématiques
Sites web éducatifs et ressources en mathématiques Exercices en ligne pour le primaire Calcul mental élémentaire : http://www.csaffluents.qc.ca/wlamen/tables-sous.html Problèmes de soustraction/addition
Plus en détailQuelques tests de primalité
Quelques tests de primalité J.-M. Couveignes (merci à T. Ezome et R. Lercier) Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Jean-Marc.Couveignes@u-bordeaux.fr École de printemps C2 Mars
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
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étail1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.
Angles orientés Trigonométrie I. Préliminaires. Le radian Définition B R AB =R C O radian R A Soit C un cercle de centre O. Dire que l angle géométrique AOB a pour mesure radian signifie que la longueur
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étailCorrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
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é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étailCatalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands.
Catalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands. Pourquoi un autre catalogue en Suisse romande Historique En 1990, la CRUS (Conférences des
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étailMaster of Science en mathématiques 2015-2016
Remarques liminaires : 1/9 Ce master à 90 ECTS (3 semestres) permet 2 orientations distinctes : - Un master général en mathématiques - Un master qui permet de choisir des mineurs en finance, statistique
Plus en détailCours 7 : Utilisation de modules sous python
Cours 7 : Utilisation de modules sous python 2013/2014 Utilisation d un module Importer un module Exemple : le module random Importer un module Exemple : le module random Importer un module Un module est
Plus en détail3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailUtiliser des fonctions complexes
Chapitre 5 Utiliser des fonctions complexes Construire une formule conditionnelle avec la fonction SI Calculer un remboursement avec la fonction VPN Utiliser des fonctions mathématiques Utiliser la fonction
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailFiltrage stochastique non linéaire par la théorie de représentation des martingales
Filtrage stochastique non linéaire par la théorie de représentation des martingales Adriana Climescu-Haulica Laboratoire de Modélisation et Calcul Institut d Informatique et Mathématiques Appliquées de
Plus en détailNOMBRES COMPLEXES. Exercice 1 :
Exercice 1 : NOMBRES COMPLEXES On donne θ 0 un réel tel que : cos(θ 0 ) 5 et sin(θ 0 ) 1 5. Calculer le module et l'argument de chacun des nombres complexes suivants (en fonction de θ 0 ) : a i( )( )(1
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Plus en détailt 100. = 8 ; le pourcentage de réduction est : 8 % 1 t Le pourcentage d'évolution (appelé aussi taux d'évolution) est le nombre :
Terminale STSS 2 012 2 013 Pourcentages Synthèse 1) Définition : Calculer t % d'un nombre, c'est multiplier ce nombre par t 100. 2) Exemples de calcul : a) Calcul d un pourcentage : Un article coûtant
Plus en détailFonctions de plusieurs variables
Maths MP Exercices Fonctions de plusieurs variables Les indications ne sont ici que pour être consultées après le T (pour les exercices non traités). Avant et pendant le T, tenez bon et n allez pas les
Plus en détailNotes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Fausto Errico Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2012 Table des matières
Plus en détailMATHÉMATIQUES EN PREMIER CYCLE PRÉSENTATION DU PROGRAMME
Notre cadre de réflexion MATHÉMATIQUES EN PREMIER CYCLE PRÉSENTATION DU PROGRAMME La proposition de programme qui suit est bien sûr issue d une demande du Premier Cycle : demande de rénovation des contenus
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étailMaple: premiers calculs et premières applications
TP Maple: premiers calculs et premières applications Maple: un logiciel de calcul formel Le logiciel Maple est un système de calcul formel. Alors que la plupart des logiciels de mathématiques utilisent
Plus en détailProblèmes arithmétiques issus de la cryptographie reposant sur les réseaux
Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie
Plus en détailPour l épreuve d algèbre, les calculatrices sont interdites.
Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
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étailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
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étailDOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.
A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailPremiers pas avec Mathematica
Premiers pas avec Mathematica LP206 : Mathématiques pour physiciens I Année 2010/2011 1 Introduction Mathematica est un logiciel de calcul formel qui permet de manipuler des expressions mathématiques symboliques.
Plus en détailn N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v 1 1 2 t
3.La méthode de Dirichlet 99 11 Le théorème de Dirichlet 3.La méthode de Dirichlet Lorsque Dirichlet, au début des années 180, découvre les travaux de Fourier, il cherche à les justifier par des méthodes
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détailCalculer avec Sage. Revision : 417 du 1 er juillet 2010
Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailBaccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé
Baccalauréat S ntilles-guyane 11 septembre 14 Corrigé EXERCICE 1 6 points Commun à tous les candidats Une entreprise de jouets en peluche souhaite commercialiser un nouveau produit et à cette fin, effectue
Plus en détailComparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en dé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étailChapitre 1 Régime transitoire dans les systèmes physiques
Chapitre 1 Régime transitoire dans les systèmes physiques Savoir-faire théoriques (T) : Écrire l équation différentielle associée à un système physique ; Faire apparaître la constante de temps ; Tracer
Plus en détailDérivées d ordres supérieurs. Application à l étude d extrema.
Chapitre 5 Dérivées d ordres supérieurs. Application à l étude d extrema. On s intéresse dans ce chapitre aux dérivées d ordre ou plus d une fonction de plusieurs variables. Comme pour une fonction d une
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
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étailNombres, mesures et incertitudes en sciences physiques et chimiques. Groupe des Sciences physiques et chimiques de l IGEN
Nombres, mesures et incertitudes en sciences physiques et chimiques. Groupe des Sciences physiques et chimiques de l IGEN Table des matières. Introduction....3 Mesures et incertitudes en sciences physiques
Plus en détailÉquations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
Plus en détailChapitre 6. Fonction réelle d une variable réelle
Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette
Plus en détailAngles orientés et trigonométrie
Chapitre Angles orientés et trigonométrie Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Trigonométrie Cercle trigonométrique. Radian. Mesure d un angle orienté, mesure principale.
Plus en détailCarl-Louis-Ferdinand von Lindemann (1852-1939)
Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en dé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é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étailVision industrielle et télédétection - Détection d ellipses. Guillaume Martinez 17 décembre 2007
Vision industrielle et télédétection - Détection d ellipses Guillaume Martinez 17 décembre 2007 1 Table des matières 1 Le projet 3 1.1 Objectif................................ 3 1.2 Les choix techniques.........................
Plus en détailMaîtrise universitaire ès sciences en mathématiques 2012-2013
1 / 6 Remarques liminaires : Ce master à (3 semestres) permet 2 orientations distinctes : - Un master général : "Mathématiques, Systèmes dynamiques et phénomènes d'évolution" - Un master qui permet de
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détail