Andere Kunden interessierten sich auch für
![Déscription en langage naturel d'une requète formel et de son résultat]( "Déscription en langage naturel d'une requète formel et de son résultat")
Déscription en langage naturel d'une requète formel et de son résultat23,99 €![Développement formel de systèmes temps réel à l'aide de SDL et IF]( "Développement formel de systèmes temps réel à l'aide de SDL et IF")
Développement formel de systèmes temps réel à l'aide de SDL et IF79,90 €![L Assemblage de Programmes Au Sein de Plateformes Logicielles]( "L Assemblage de Programmes Au Sein de Plateformes Logicielles")
L Assemblage de Programmes Au Sein de Plateformes Logicielles49,00 €![Introduction au passage à l'échelle d'un site internet]( "Introduction au passage à l'échelle d'un site internet")
Introduction au passage à l'échelle d'un site internet38,99 €![La Business Intelligence au sein du CERN]( "La Business Intelligence au sein du CERN")
La Business Intelligence au sein du CERN22,99 €![Introduction au microprocesseur 8086: Cours et exercices corrigés]( "Introduction au microprocesseur 8086: Cours et exercices corrigés")
Introduction au microprocesseur 8086: Cours et exercices corrigés45,99 €![Intergiciel pour grilles industrielles]( "Intergiciel pour grilles industrielles")
Intergiciel pour grilles industrielles36,99 €
Le calcul formel est un type de calcul qui permet de manipuler les grands nombres dans des calculs intensifs en utilisant des algorithmes optimises dans le but de minimiser le temps de calcul. Appele aussi calcul symbolique, pour completer les methodes de calcul numerique. Les logiciels de calcul formel ont beaucoup evolues au cours de ces dernieres annees. Ils sont destines aux mathematiciens, aux informaticiens et aux utilisateurs qui utilisent les ma- thematiques comme les electroniciens, les mecaniciens, ... Ce document est destine aux etudiants de la premiere annee Licence tronc commun Math-Informatique. Il decrit un cours de 20 heures avec 20 heures de travaux pratiques. Les points traites dans ce cours sont indispensable pour pouvoir utiliser un logiciel de calcul formel. Les logiciels etudies dans ce cours sont Maple et Caml.