Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Savantes Banlieues 14-15 Octobre 2005.

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

S-SYSTEMS ETAPPROCHE HYBRIDE
Constructive Volume Geometry (CVG) Article de Min Chen & John V. Trucker COMPUTER GRAPHICS Benoît Capelli – Stéphane Renaudie DESS IMM
Structures de données et complexité
I. Bases de logique , théorie des ensembles
Cosmos/Works Les chargements type PALIER
Continuité des apprentissages Ecole-Collège mars 2008 J Borréani IA-IPR mathématiques.
LES FONCTIONS DANS LE NOUVEAU PROGRAMME DE SECONDE
Continuité des apprentissages Ecole-CollègePavilly Novembre 2007.
Chap 1 Grammaires et dérivations.
Introduction : Compilation et Traduction
Recherche heuristique de similitudes dans les séquences dADN École Jeunes Chercheurs en Algorithmique et Calcul Formel Laurent Noé
Programmes du cycle terminal
Petit tour de table suivi d’une présentation des classes prépas
1 Cours numéro 3 Graphes et informatique Définitions Exemple de modélisation Utilisation de ce document strictement réservée aux étudiants de l IFSIC.
Géométrie vectorielle
Enseignement d’exploration Méthodes et Pratiques Scientifiques
Analyse lexicale Généralités Expressions rationnelles Automates finis
Modélisation causale multiphysique
Lundi, 13 septembre 2010 Algorithmie (cours 2) Cégep de Saint- Hyacinthe Par Hugo St-Louis.
Les automates programmables (partie 1 - Les langages de programmation)
Parcours de Physique Théorique
Calcul Algébrique.
Les notions algébriques
Nouveaux programmes de mathématiques Terminales L, ES, S, STI2D, STL et cycle terminal STMG Octobre 2012.
Modélisation du robot Azimut-3
IFT Complexité et NP-complétude
Simple distributivité
Chapitre 3 Syntaxe et sémantique.
Partie II Sémantique.
Effet tunnel dans les systèmes quasi-intégrables
Introduction à l’algèbre
Les définitions des termes mathématiques. Définition du mot : variable qui est sujet à varier qui est incertain (temps variable) qui est susceptible de.
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Rappel... Diagonalisation. Transformations linéaires.
PLAN DE LA PRESENTATION
Présentation de la méthode des Eléments Finis
METISSE Méthodes Et Théories pour une Ingénierie des Systèmes Socio- Environnementaux.
Les calculs algébriques ; un bref retour !
MATHÉMATIQUES DISCRÈTES Chapitre 1 (Section 4)
Monitoring the Dynamic Web to respond to Continuous Queries Le titre en français : Surveillance de l'enchaînement dynamique pour répondre aux questions.
Amélioration de la simulation stochastique
Les machines de Turing Lionel Blavy Sébastien Giraud Fabien Tricoire
Algorithmes et Programmation
Semestre 1 SEG Nouvelle accréditation Ancienne accréditation
PRIORITES DE CALCUL I VOCABULAIRE On considère deux nombres a et b
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
Le langage Racket (Lisp)
Le calcul algébrique.
A propos de L’intelligence du social :
La Magie du Calcul Gérard H. E. Duchamp (Université Paris XIII) Equipe AAA le 08 juin 2006.
Expressions numériques
Mathématique Expression algébrique Variable Coefficient
Le calcul algébrique! Fait par: Lisa-Marie Bergeron.
Introduction et Généralités sur l’Algorithmique
Du discours aux modèles… Une tentative d’articulation
Polynôme d’avalanche A. Micheli Dominique Rossin.
Calcul symbolique Christophe Tollu Frédéric Toumazet Gérard H. E. Duchamp … + Séminaire CIP.
Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Séminaire du Laboratoire de Mathématiques.
Introduction à MathML Par Katia Larrivée UQO Le 18 mars 2004.
Chap 1 Grammaires et dérivations.
Pierre Malenfant Technologie 9 École du Carrefour
Projet 2 Mantelle Nicolas D3.5.
TD14 – LP348 Diffraction.
Journal mathématiques a.
Proposition de possibilité d’évolution de nos spécialités Deux projets (liés) : Projet 1 : Informatique Computationnelle – Etudiants 4 e et 5 e IR Projet.
Probabilités et statistique MQT-1102
1 Evolution de la Science Contemporaine Daniel Memmi Dépt. Informatique UQAM.
Calcul symbolique Christophe Tollu Frédéric Toumazet
Aa. b b c a.
Transcription de la présentation:

Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Savantes Banlieues Octobre 2005

Mathematics AbstractApplied Physics Computer Science Electronics Mechatronics Adaptronics Artificial Intelligence Chaos Theory Continuous & Discrete Modelisation Business Banking Decision Making Complex Systems Complexity Computation Techniques Image Processing

Mathématiques InformatiquePhysique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques C o m b i n a t o i r e

Langages Théorie des codes Automates Structures de transition Grammaires Transducteurs Expressions rationnelles et algébriques … Polyominos Chemins (Dycks,…) Configurations q-grammaires Séries génératrices Fractions continues multivariées Polynômes orthogonaux … C o m b i n a t o i r e … des mots algébrique énumérative analytique Fractions continues non commutatives Représentations des groupes et déformations Groupes quantiques Foncteurs combinatoires Caractères Fonctions spéciales …

20 villes. À chaque carrefour le voyageur peut tourner à droite (D) ou à gauche (G)

D 5 = G 5 = 1DG 3 D = G 2 de même … GD 3 G = D 2 DG 2 D = GDG de même … GD 2 G = DGD

D 5 = G 5 = 1 DG 3 D = G 2 GD 3 G = D 2 DG 2 D = GDG GD 2 G = DGD Trois questions importantes : Q1) Cette liste est-elle suffisante ? (Expérience de pensée des deux pièces) Q2) Peut-on la réduire ? (relations déduites) (voir diapo suivante) Q3) Peut-on décider de l’égalité de deux chemins ?

Exemple de déduction à l’aide des relations données : le voyage équatorial DG DG DG DG DG = 1

Ici le nombre de mots par longueur est Long ac=ca ac  ca

e

Exemple avec  = a + a a + a a + où a a + = a + a a + a a + a a +

a + aa + aa + = 1 a + a + a + aa + 3 a + a + a + 1 a +

Chemins de Dyck (parenthésages, arbres, physique, …) ( ) ( ( ( ) ( ) ( ) ) )

Equation : D = vide + (D) D … on compte les «mots» avec un « x » par parenthèse et on trouve T(x)=x 0 + x 2 T 2 (x) ce qui se résout par la méthode usuelle … x 2 T 2 –T+1=0 Variable : T Paramètre : x

Automates et rationalité

Changement de niveau en physique Positifs = D(aD) * 2 0 1

Mathématiques Informatique Physique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques C o m b i n a t o i r e Conclusion