558 résultats : algorithmie

Description : Dans les années 30, Alan Turing a inventé une machine abstraite et expliquer la notion de « procédure mécanique » : on parle d'algorithme. Cette machine est la plus élémentaire possible destinée à faire agir des mécanismes de calcul, numériques ou symboliques, comme le font notamment les ordinat ...

Mots clés : machine de Turing, algorithme, calcul binaire, procédure mécanique, programme, mémoire mécanique, applet

Date : 29-01-2009

Droits : Ce document est publié sous licence Creative Commons Paternité - Pas d'Utilisation Commerciale - Pas de Modification 2.0 http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Machine de Turing

EMOIS Nancy 2011 - Utilisation des données PMSI dans les études épidémiologiques

EMOIS Nancy 2011 - Utilisation des données PMSI dans les études épidémiologiques

Description : Titre : 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 étudie le risque de cancer radio-induit après exposition dans l’enfance à des examens scanner p ...

Mots clés : cancer, Cohorte Enfant Scanner, EMOIS Nancy 2011, DP, CIM 10, codage, PMSI, algorithme, épidémiologie, DA

Date : 18-03-2011

Droits : Droits réservés à l'éditeur et aux auteurs.

Le logiciel, objet de notre quotidien

Le logiciel, objet de notre quotidien

Description : Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, ...

Mots clés : microélectronique, bug, circuit intégré, microprocesseur, algorithmique, langage de programmation, logiciel informatique

Date : 10-09-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Description : L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les ...

Mots clés : bug, révolution numérique, algorithme, programmation, réseaux, science informatique, enseignement de l’informatique, numérisation de l'information, sciences numériques

Date : 10-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Preuves de programmes en coq

Preuves de programmes en coq

Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...

Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille)

Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille)

Description : Programme du cours : Systèmes d'équations linéaires Programmation linéaire Équations non linéaires Valeurs et vecteurs propres des matrices Interpolation Approximation Quadrature numérique Transformation de Fourier discrète Intégration numérique des équations différentielles ordinaires

Mots clés : fuscia, équation linéaire, algorithme du simplexe, équation polynomiale, méthode des moindres carrés, spline, nombre complexe, transformée de Fourier, méthode des différences finies, méthode à pas séparés, méthode à pas liés

Date : 04-12-2002

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nc-nd/2.0/fr/), pas d'utilisation commerciale, citation de l'auteur obligatoire et interdiction de désassembler (paternité-pas d'utilisation commerciale-pas de modification)

EMOIS Nancy 2011 - Recours aux unités de soins palliatifs et à l’HAD.

EMOIS Nancy 2011 - Recours aux unités de soins palliatifs et à l’HAD.

Description : Titre : EMOIS Nancy 2011 - Recours aux unités de soins palliatifs et à l’HAD des personnes décédées d’une tumeur maligne en 2008 : variabilité selon la localisation tumorale et disparités régionales. Résumé : Objectif : Déterminer la part des personnes décédées d’une tumeur maligne en 2008 ayant ...

Mots clés : algorithme, soins palliatifs, établissement de santé, hospitalisation à domicile, EMOIS Nancy 2011, tumeur maligne

Date : 17-03-2011

Droits : Droits réservés à l'éditeur et aux auteurs.

Exercice 9 (Arithmétique dans Z) [00296]

Exercice 9 (Arithmétique dans Z) [00296]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Bonus (à 3'38'') : programmation.

Mots clés : pgcd, algorithme d'Euclide, relation de Bézout

Date : 14-12-2010

Droits : Droits réservés à l'éditeur et aux auteurs.

Exercice 11 (Arithmétique dans Z) [00305]

Exercice 11 (Arithmétique dans Z) [00305]

Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Bonus (à 6'14'') : méthodologie équations ax+by=c.

Mots clés : algorithme d'Euclide, relation de Bézout, équation diophantienne

Date : 14-12-2010

Droits : Droits réservés à l'éditeur et aux auteurs.