Sommaire
cours / présentation, démonstration
À propos du calcul formel
Dériver une fonction, obtenir sa primitive, résoudre un système d’équations sans connaître la valeur de ses paramètres... ce sont des exemples de calculs formels dont nous parle Bruno Salvy.
...
Date de création :
12.03.2009Auteur(s) :
Bruno Salvy, Joanna JongwaneAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource
Résumé
Dériver une fonction, obtenir sa primitive, résoudre un système d’équations sans connaître la valeur de ses paramètres... ce sont des exemples de calculs formels dont nous parle Bruno Salvy.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (518.4)
Domaine(s)
- Analyse numérique
- Analyse numérique appliquée, calcul numérique, mathématiques numériques
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Édition
- Institut National de Recherche en Informatique et en Automatique / Interstices
Diffusion
Cette ressource vous est proposée par :
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-4727
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-4727
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
06.05.2008
Description
:
Fiches d'initiation à la modélisation en biologie à destination des étudiants de licence
- fuscia
- logiciel R
- donnée
- système dynamique
- logiciel Maple
- équation différentielle
01.08.2011
Description
:
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
- assistant de preuve
- preuve formelle
- preuve de programme
- logique mathématique
- démonstration
- complexité
- fuscia