Machines, algorithmes et langage

Slides:



Advertisements
Présentations similaires
COUPLEX 1 Test Case Nuclear Waste Disposal Far Field Simulation D. VEYRET – M. GEORGIADOU I.U.S.T.I. – C.N.R.S. UMR 6595 Université de Provence 5 rue Enrico.
Advertisements

Introduction à l’Informatique Théorique Master Systèmes Complexes 2009/2010 Cours (20h) : Eric Thierry TD (10h) : Jonathan Grattage.
Généralisation de la comparaison de moyennes par Analyse de la variance (ANOVA)
1 Observer le paramétrage d’un réseau. 2 Dans notre réseau téléphonique habituel, les postes, reliés à un auto-commutateur... …peuvent dialoguer, car.
Algorithmique ‘’ Un algorithme est une suite finie et non-ambiguë d’instructions permettant de donner la réponse à un problème. ‘’ Niveau de difficulté.
1 Estimation temps réel du flot optique Julien MARZAT 3A – ISA CPDS Tuteur ENSEM:Didier WOLF Tuteur INRIA :André DUCROT.
Algorithmique et programmation
Interfaçage entre Maple et du code externe
Exercice On considère un Système de contrôle de température composé de: Capteur, ordinateur Le capteur transmit à chaque heure de la journée la température.
Suites ordonnées ou mettre de l’ordre
Modèle de présentation projets/thèses
Introduction au Langage Pascal
Un Algorithme , c'est Quoi ?
Préparez-vous.
Préparez-vous.
Ce videoclip produit par l’Ecole Polytechnique Fédérale de Lausanne
Information, Communication, Calcul
Initiation aux bases de données et à la programmation événementielle
Dominique PETRELLA – Frédéric GUINEPAIN - IA-IPR STI Versailles
Écoles maternelles de Courrières
Les nombres rationnels
Titre de la présentation idéalement sur deux lignes
Réalisé par : Ghilani Idriss Butadjine Oussama Rahmani Khaled
Gestion de projet: Quelques notions clés
5 – PARALLELISME , ORDONNANCEMENT
Techniques de décomposition
Semaine #1 INF130 par Frédérick Henri.
Algorithmique Avancée et Complexité Chap2:Complexité et Optimalité
Algorithmes distribués
Pas de droit et d’économie
Géométrie Leçon 3.
Information, Calcul, Communication
CM : Initiation à des recherches dans le domaine de l’enseignement
Un Algorithme , c'est Quoi ?
Polymorphisme : règles
Activités algorithmiques
Outils méthodologiques
Je préfère le dire tout de suite : je trouve le message lié à cette activité assez difficile. Mais je le garde dans cette formation (C.f. le paragraphe.
Constructions optiques
Semaine #6 INF130 par Frédérick Henri.
Deux interpretations de la moyenne d’une ensemble de données quantitatives : Partie équitable et point d’équilibre Des parties de ces diapositives sont.
Classification des archtecutres paralleles
Routage S 3 - Questionnaire N°1
Présentation Plate-Forme Jeunesse
……………………………….. BULLES DE CALCUL
République Algérienne Démocratique et Populaire Ministère de l'Enseignement Supérieur et de la Recherche Scientifique Université Saad.
Déterminer la racine carrée de nombres rationnels
Dénombrer des quantités
Plan d’un compte-rendu
Le GRAFCET
Reconstitution de chroniques hydrologiques par modélisation Mise à disposition des données Marie Colin GIGE 21/09/2017.
La Théorie Particulaire
Systèmes de monnaie.
Statistique descriptive Bivariée
SYSTèMES à évènements discrets
Bilan énergétique d’une transformation
De Scratch à Python : une transition douce… COMMUNICATION
Convergence d’algorithme
Royaume de Maroc Université Hassan Premier Settat Faculté des Sciences et Techniques de Settat Description synthétiseur en langage VHDL d'un circuit intégré.
ENSEIGNER L’ALGORITHMIQUE ET LA PROGRAMMATION AU COLLÈGE
1 Architecture des ordinateurs Généralités. 2 Définition Informatique = Information + Automatique Ce terme a été introduit en France. Il est très répandu.
Convergence d’algorithme
Encadré par : M. Mohammad EL GHABZOURI Elaboré par : - AZEGAMOUT Mohamed - ABOULKACEM abdelouahed - GOUN Ayoub EXPOSÉ Sous le thème : SER 2018 Parallélisme.
Réciproque du théorème de Thalès
1 Théorie générale des systèmes Présenté Par Monsieur Nzukam Nguiffo Guillaume Ingénieur statisticien.
Connaître les tables d’addition de 0 à 5
Mon cerveau la clé de ma réussite
Comparaison. Comme Le mot "comme" est utilisé pour la comparaison. Il peut être utilisé pour les expressions quotidiennes et phraséologie. comme d'habitude.
La programmation dynamique
Transcription de la présentation:

Machines, algorithmes et langage Yoann Marquer Laboratoire d'Algorithmique, Complexité et Logique

Différents algorithmes

Des machines … équivalentes !

Mais... La simulation d'une machine dans une autre peut se faire en des temps déraisonnables. Deux fonctions « équivalentes » peuvent calculer de manière très différentes. Ces machines théoriques sont séquentielles... alors qu'on peut imaginer des machines réelles ou des algorithmes fonctionnant en parallèle.

Algorithme séquentiel (Gurevich) Mots-clés Temps séquentiel (transition entre des états) États abstraits (structures du premier ordre) Exploration bornée (par un témoin fini) Mots-clés ASM : Abstract State Machine EMA : Evolving MultiAlgebra

Merci de votre attention yoann.marquer@lacl.fr