176 ressources en auto-formation par thème : Principes généraux

FILTRES

176 résultats
page 1 sur 18
Résultats de 1 à 10
Présentation de la ressource en auto-formation Alan Turing : du calculable à l’indécidable cours / présentation, démonstration
19/02/2004
Alan Turing : du calculable à l’indécidable
Auteur(s) : Ganascia Jean-Gabriel
Description : Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.
Présentation de la ressource en auto-formation Algorithme de Dijkstra évaluation
Algorithme de Dijkstra
Auteur(s) : Boillaud Romain
Description : appliquer l'algorithme de Dijkstra pour trouver un plus court chemin dans un graphe valué.
Présentation de la ressource en auto-formation Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille) cours / présentation, exercice, démonstration
12/04/2002
Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille)
Auteur(s) : Beuneu Jean, Schipor Ovidiu, Giza Felicia, Hrebenciuc Florin
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
Présentation de la ressource en auto-formation Alignement optimal et comparaison de séquences génomiques et protéiques cours / présentation, démonstration
03/10/2005
Alignement optimal et comparaison de séquences génomiques et protéiques
Auteur(s) : Rechenmann François
Description : La comparaison de séquences génomiques et protéiques est la tâche informatique la plus exécutée par les biologistes. Des algorithmes sont mis en œuvre pour calculer les meilleurs alignements entre plusieurs séquences.
Présentation de la ressource en auto-formation Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
Auteur(s) : Lions Pierre-Louis
Description : Dans cet exposé, nous présentons quelques aspects généraux de la simulation numérique, de la modélisation mathématique et de l'analyse mathématique de ces modèles. En partant d'exemples industriels, nous rappellerons quelques éléments historiques et montrerons la nécessité d'une approche mathéma ...
Présentation de la ressource en auto-formation Application à certaines équations différentielles. (Epiphys : Intégration et mesures : Transformation de Laplace) exercice
12/10/2007
Application à certaines équations différentielles. (Epiphys : Intégration et mesures : Transformation de Laplace)
Auteur(s) : Aimé Pierre
Description : Cet exercice corrigé consiste à mettre en oeuvre les propriétés de la transformation de Laplace pour résoudre quelques équations différentielles.
Présentation de la ressource en auto-formation Applications cours / présentation, exercice
2014
Applications
Auteur(s) : Laidebeurre Catherine
Description : Cette séquence propose des rappels de cours et des exercices permettant de revoir les diverses propriétés des applications d'un ensemble dans un autre.
Présentation de la ressource en auto-formation Applications (Module : Logique et langage des ensembles) cours / présentation, exercice, questionnaire, autoévaluation
2000
Applications (Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...
Présentation de la ressource en auto-formation Apprentissage par renforcement cours / présentation
26/01/2008
Apprentissage par renforcement
Auteur(s) : Preux Philippe
Description : Ce cours s'organise selon le schéma suivant : Après avoir défini précisément le problème que l'on veut résoudre, c'est-à-dire le problème de contrôle optimal, on démontre des propriétés importantes liées à ce problème et à sa solution. Ce faisant, on essaie de donner de l'intuition concernant ce ...
Présentation de la ressource en auto-formation Aspects sémantiques et algorithmiques du vivant cours / présentation
13/01/2011
Aspects sémantiques et algorithmiques du vivant
Auteur(s) : Fagès François
Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...