314 résultats : methode

10 : Frédéric Barbier (CNRS/EPHE) : "L'aire germanique"

10 : Frédéric Barbier (CNRS/EPHE) : "L'aire germanique"

Description : Journée d'études internationales dans le cadre du programme ANR DEF19 : Dictionnaire des éditeurs français du XIXe siècle. - 10 : Frédéric Barbier (CNRS/EPHE) : "L'aire germanique"

Mots clés : histoire de l'édition, Les méthodes quantitatives au service de l'histoire du livre : principe, parcours, exemples., histoire du livre, prosopographie, dictionnaires prosopographiques

Date : 23-10-2015

Droits : Droits réservés à l'éditeur et aux auteurs. Paternité - Pas d'utilisation commerciale - Pas de modification [CC] [BY] [NC] [ND]

Zététique : erreur et ordinateurs

Zététique : erreur et ordinateurs

Description : Cours de zététique visant à montrer sur des exemples simples que l'ordinateur peut calculer (partiellement) "faux". Introduction aux notions d'analyse numérique et de "méfiance" dans un ordinateur. Réflexion sur la toute-puissance de la science. Enseignement de Jérôme Bastien à l'INSA de Lyon.

Mots clés : zététique, analyse numérique, MATLAB, algorithme de calcul, résolution de systèmes linéaires, erreur de calcul machine, erreur de méthode, erreurs sur les données, représentation des réels, calcul numérique de dérivées, calcul complexe

Date : 01-12-2009

Droits : Cette ressource libre d'accès est la propriété de son auteur Jérôme Bastien

Théorie des noeuds

Description : Le but de cette conférence est de présenter l'évolution d'une discipline mathématique, la théorie des noeuds, depuis le milieu du XIXe siècle jusqu'à nos jours. À travers l'exemple de la théorie des noeuds, j'aimerais aussi faire découvrir au grand public certains aspects de la recherche en math ...

Mots clés : diagramme de noeuds, topologie, théorie des noeuds, théorie combinatoire des noeuds, tables de Tait, mouvements de Reidemeister, méthode de Gauss, invariant polynomial, ficelle, tricolorabilité

Date : 19-06-2000

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

Théorie des noeuds

Les nouveaux programmes de japonais Langue vivante (1/2) / Jean Bazantay

Les nouveaux programmes de japonais Langue vivante (1/2) / Jean Bazantay

Description : Les nouveaux programmes de japonais Langue vivante (1/2) / Jean Bazantay. In Le japonais, c’est possible. Etats généraux de l’enseignement du japonais en France, séminaire organisé par le Comité pour l’enseignement du japonais en France (CEJF) à l’occasion du 150e anniversaire de l’établissement ...

Mots clés : japonais (langue), didactique des langues, cadre européen commun de référence des langues (CECRL), méthode d'apprentissage, enseignement des langues vivantes

Date : 15-11-2008

Latin - Remise à niveau

Description : Ce programme s'adresse à tous ceux qui, tout en ayant étudié le latin dans le secondaire ou le supérieur, ont conscience d'avoir souvent des connaissances fragmentaires et lacunaires. Une telle situation oblige donc à une remise à niveau systématique, aussi bien sur le plan grammatical et lexical ...

Mots clés : Apprentissage du latin, débutants, Langue latine, Grammaire latine, Civilisation latine, Histoire latine, Méthode de latin, Didactique du latin, Exercices interactifs, Déclinaison, Latin

Date : 2014

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 2.0 France

Latin - Remise à niveau

Introduction à l'interpolation spatiale

Introduction à l'interpolation spatiale

Description : Lors de ce cours, nous allons étudier les méthodes permettant l'estimation et l'interpolation de données géoréférencées. Ce cours sera une introduction aux différentes méthodes existantes, mais pas une étude exhaustive (base pour des études plus approfondies). Les idées développées ici sont largement ...

Mots clés : géomatique, interpolation spatiale, donnée géoréférencée, raster cartographique, rééchantillonnage d'images, polygone de Thiessen, méthode barycentrique, optimisation, géostatistique, fonction aléatoire, inférence statistique, analyse variographique, krigeage, méthode déterministe, méthode stoch ...

Date : 01-12-2013

Accompagnement de l'entreprise et gestion du changement : la transition vers l'économie de fonctionnalité

Accompagnement de l'entreprise et gestion du changement : la transition vers l'économie de fonctionnalité

Description : Béatrice Bellini présente l'intérêt de la méthode NOVUS pour aider les entreprises à s'engager sur la voie de l'économie de fonctionnalité.

Mots clés : gestion, entreprise, économie de fonctionnalité, méthode NOVUS

Date : 11-03-2014

Droits : Droits réservés à l'éditeur et aux auteurs. Licence Creative Commons : Paternité, Pas d'utilisation commerciale, Pas de modification.

7 : Kmar Bendana (Université de La Manouba) : "La Tunisie"

7 : Kmar Bendana (Université de La Manouba) : "La Tunisie"

Description : Journée d'études internationales dans le cadre du programme ANR DEF19 : Dictionnaire des éditeurs français du XIXe siècle. - 7 : Kmar Bendana (Université de La Manouba) : "La Tunisie"

Mots clés : histoire de l'édition, Les méthodes quantitatives au service de l'histoire du livre : principe, parcours, exemples., histoire du livre, prosopographie, dictionnaires prosopographiques

Date : 23-10-2015

Droits : Droits réservés à l'éditeur et aux auteurs. Paternité - Pas d'utilisation commerciale - Pas de modification [CC] [BY] [NC] [ND]

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