Calcul formel et manipulations symboliques / Hubert Caprasse

Public ISBD Titre : Calcul formel et manipulations symboliques Type de document : texte imprimé Auteurs : Hubert Caprasse, Auteur Editeur : Paris : Hermès Science Publications Année de publication : 1997 Collection : Collection Informatique Importance : 190 p Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-658-6 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel  Logiciels  REDUCE (logiciel)  LISP (langage de programmation) Résumé : Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur usuel en un " assistant mathématicien ". Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limites ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles Calcul formel et manipulations symboliques tente de donner des réponses claires et pratiques. Le premier chapitre donne au lecteur une bonne compréhension du fonctionnement de ces logiciels et lui permet de bien les exploiter. Il est invité à considérer les diverses facettes du calcul mathématique depuis le calcul numérique jusqu'à la résolution des équations différentielles. A chaque étape, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais qui peuvent l'être dans les autres systèmes, illustrent et concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont expliqués de façon simple. Le second chapitre met en évidence le fait que le calcul mathématique n'est qu'un cas particulier de manipulation de symboles dotés de propriétés. On y explique comment on peut rendre l'ordinateur " intelligent " et lui faire " comprendre " des concepts. A cette fin, on décrit les caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage RLISP dans lequel le système Reduce est construit. Cette démarche permet de décrire le système en profondeur et donne au lecteur la possibilité d'acquérir la même puissance de programmation que ceux qui développent le système. Calcul formel et manipulations symboliques [texte imprimé] / Hubert Caprasse, Auteur . - Paris : Hermès Science Publications, 1997 . - 190 p ; 24 cm. - (Collection Informatique) . ISBN : 978-2-86601-658-6 Langues : Français Catégories : INFORMATIQUE:07.Mathématique pour l'informatique Mots-clés : Calcul formel  Logiciels  REDUCE (logiciel)  LISP (langage de programmation) Résumé : Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur usuel en un " assistant mathématicien ". Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limites ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles Calcul formel et manipulations symboliques tente de donner des réponses claires et pratiques. Le premier chapitre donne au lecteur une bonne compréhension du fonctionnement de ces logiciels et lui permet de bien les exploiter. Il est invité à considérer les diverses facettes du calcul mathématique depuis le calcul numérique jusqu'à la résolution des équations différentielles. A chaque étape, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais qui peuvent l'être dans les autres systèmes, illustrent et concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont expliqués de façon simple. Le second chapitre met en évidence le fait que le calcul mathématique n'est qu'un cas particulier de manipulation de symboles dotés de propriétés. On y explique comment on peut rendre l'ordinateur " intelligent " et lui faire " comprendre " des concepts. A cette fin, on décrit les caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage RLISP dans lequel le système Reduce est construit. Cette démarche permet de décrire le système en profondeur et donne au lecteur la possibilité d'acquérir la même puissance de programmation que ceux qui développent le système.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.77.02	INF 07.77.02	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-12-1	511.3-12-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

---

page 1/1