Chapitres
Notice
Quelques rudiments de calculabilité et de complexité
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer.
Ce cours a été donné en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une présentation et d'une séance de questions-réponses.
Thème
Sur le même thème
-
C2I, cours n° 2.4: codage, système de numérotation
LégaultMichelMaunouryAgnèsDeuxième partie du cours de codage, consacré aux systèmes de numération. Pour en savoir plus retrouver cette vidéo sur l'aire d'U, la plateforme de diffusion multimédia de l'Université Rennes 2. http:
-
C2I, cours n° 3.4: image
LégaultMichelCe cours permet d’apprendre les principes de base du codage des images à travers trois chapitres : - Passage au numérique - Formats d’encodage - Techniques de compression de données Pour en savoir
-
C2I, cours n° 4.1: codage des caractères
LégaultMichelCe cours vise à vous donner des notions de codage de caractères. Pour en savoir plus retrouver cette vidéo sur l'aire d'U, la plateforme de diffusion multimédia de l'Université Rennes 2. http://www
-
EMOIS Nancy 2011 - Table ronde : Positionnement et missions des DIM (1)
GarriguesBernardNisandGabrielSegouinChristopheChariotMarie-PauleThuetFrancisGirardClaudeTitre : Table ronde : Positionnement et missions des DIM (1) Résumé : Questions soulevées : - Qu'en est-il de l'indépendance des DIM ? - Quelles sont les compétences attendues d'un médecin DIM et quel
-
EMOIS Nancy 2011 - Utilisation des données PMSI dans les études épidémiologiques
BernierMarie-OdileTitre : Utilisation des données PMSI dans les études épidémiologiques : individualisation des patients présentant un cancer ou une pathologie à risque de cancer.Résumé : La Cohorte Enfant Scanner qui
-
EMOIS Nancy 2011 - Développement et évaluation d'un algorithme de notification
JouhetVianneyTitre : Développement et évaluation d'un algorithme de notification des cas incidents de cancer au sein d'un système d'information régional.Résumé : Le registre général des cancers de Poitou-Charentes
-
EMOIS Nancy 2011 - Rôle des DIM dans le système d’information périnatal
FressonJeanneTitre : Rôle des DIM dans le système d’information périnatal : à propos de l’enregistrement des mort-nés en France. Résumé : Le PMSI est une des sources du système d’information périnatal, utilisé en
-
EMOIS Nancy 2011 - Analyse du guide des contrôles externes et proposition de 10 axes d’amélioration
NisandGabrielTitre : Analyse du guide des contrôles externes et proposition de 10 axes d’amélioration (Document de travail rédigé conjointement par le collège des DIM de CHU, le CNIM, la FHF, et en collaboration
-
EMOIS Nancy 2011 - Plan d'action qualité des données PMSI MCO au CHU de Nancy.
BaldeMamadouTitre : Plan d'action qualité des données PMSI MCO après la réorganisation du codage des diagnostics au CHU de Nancy.Résumé : Le CHU de Nancy a décidé de déconcentrer le codage des diagnostics du RUM
-
EMOIS Nancy 2011 - Activité de l’équipe d’évaluation gériatrique du CH de Senlis
Amagli-SodjiFrançineTitre : Etude de l’impact de l’activité de l’équipe mobile d’évaluation gériatrique du CH de Senlis, Oise.Résumé : Créée en 2003, l’équipe mobile d’évaluation gériatrique (EMEG) du CH de Senlis
-
EMOIS Nancy 2011 - Plan d’action défini dans les suites du contrôle externe 2009 au CHU de Dijon.
BismuthMarie-JeanneTitre : Plan d’action défini dans les suites du contrôle externe 2009 au CHU de Dijon. Résumé : L’Agence Régionale de Santé (ARS) de Bourgogne a notifié à notre établissement le montant des sanctions
-
EMOIS Nancy 2011 - Alimentation d’un registre épidémiologique de pédiatrie
Bayat MakoeiSaharAlimentation d’un registre épidémiologique de pédiatrie. Comparaison d’une recherche plein texte sur le dossier médical versus PMSI.Résumé : L’alimentation des registres épidémiologiques repose sur un