https://editions.lavoisier.fr/flux/nouveautes-theories-mathematiques-appliquees-a-l-informatique.atom
Éditions Lavoisier : Nouveautés des éditions Lavoisier
2017-06-01T12:00:00+01:00
Éditions Lavoisier
editions@lavoisier.fr
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
Les nouveautés en Théories, mathématiques appliquées à l'informatique
© 2024 Éditions Lavoisier
https://editions.lavoisier.fr/informatique/scilab-elements-de-programmation-et-exemples-d-applications/blanchet/hermes-science-publications/information-numerique-traitement-interpretation-communication/livre/9782746248014
Traitements, algorithmes et simulation avec Scilab
2017-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/1316991269.jpg" alt="Couverture de l'ouvrage :Traitements, algorithmes et simulation avec Scilab" /><br /><p style="margin-top: 0">
Scilab fait partie des environnements de développement et de simulation
qui sont aujourd’hui incontournables pour l’enseignement des sciences de
l’ingénieur et la recherche appliquée.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Les thèmes les plus théoriques tels que probabilités ou transformées de
Fourier sont abordés dans cet ouvrage par le biais de programmes sans
négliger toutefois les aspects théoriques et les principaux résultats
qui sont donnés en annexe.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
L’automatique et l’algorithmique numérique constituent deux chapitres «
applicatifs ». Le premier aborde l’automatique « temps continu » avec
étude du comportement des systèmes, bouclage et calcul de correcteurs.
Le second présente les grands classiques de l’algorithme numérique tels
que la résolution d’équations simples ou différentielles ou d’équations
algébriques par les techniques itératives.
</p>
<p style="margin-top: 0">
L’outil de simulation Xcos de Scilab offre de grandes possibilités qui
viennent en complément de la programmation directe. La résolution
d’équations différentielles non linéaires en est une application notable.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Des indications et les corrigés des exercices sont donnés en fin
d’ouvrage.
</p>
<p style="margin-top: 0">
</p>
<p style="margin-top: 0">
Ce livre tente, au-delà de la simple utilisation de Scilab, de présenter
des applications mettant en œuvre programmation, algorithmes ou
simulation. Il propose ainsi des éléments de base sur les sciences de
l’ingénieur, éléments qui sont autant de sources d’exercices et de
problèmes pour les étudiants des premier et deuxième cycles.
</p>
https://editions.lavoisier.fr/informatique/logique-s-langages-formels-et-complexite-pour-l-informatique/jussien/hermes-science-publications/informatique/livre/9782746213951
Logique(s), langages formels et complexité pour l'informatique
2006-08-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2139849.jpg" alt="Couverture de l'ouvrage :Logique(s), langages formels et complexité pour l'informatique" /><br />Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.
https://editions.lavoisier.fr/informatique/introduction-aux-methodes-formelles-2-ed/monin/hermes-science-publications/livre/9782746201408
Introduction aux méthodes formelles
2000-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2138623.jpg" alt="Couverture de l'ouvrage :Introduction aux méthodes formelles" /><br />Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
https://editions.lavoisier.fr/informatique/l-apprentissage-de-la-complexite/clergue/hermes-science-publications/systemes-complexes/livre/9782866016418
L'apprentissage de la complexité
1997-09-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2215167.jpg" alt="Couverture de l'ouvrage :L'apprentissage de la complexité" /><br />Cet ouvrage est une introduction à la complexité, longtemps considérée comme un obstacle qu'il fallait contourner soit en simplifiant les situations réputées complexes soit en réduisant celles-ci à l'analyse de leurs composants élémentaires. Il décrit successivement l'apprentissage, les systèmes non-linéaires, l'intelligence collective, les théories du chaos...