Détail d'une collection
|
Documents disponibles dans la collection (3)
![Tris disponibles](./images/orderby_az.gif)
ouvrage
J. Davenport ; Y. Siret ; E. Tournier | Paris [FRA] : Masson | ETUDES ET RECHERCHES EN INFORMATIQUE | 1987LE CALCUL FORMEL DESIGNE LA MANIPULATION DE FORMULES ET D'EXPRESIONS MATHEMATIQUES SUR ORDINATEURS.CET OUVRAGE ECRIT PAR TROIS SPECIALISTES DU CALCUL FORMEL,PRESENTE LES PRINCIPES DE FONCTIONNEMENT DES SYSTEMES DE CALCUL NON NUMERIQUE(MANIPULATI[...]ouvrage
Ce livre présente deux paradigmes de calcul sous l'angle de la logique. La réduction, étudiée à travers le lambda-calcul et les systèmes de réécriture, est à la base de la programmation fonctionnelle, où la notion de type et les propriétés de co[...]ouvrage
Les auteurs proposent une synthèse des problèmes d'ordonnancement, appuyée sur la théorie de la complexité. Ils montrent comment les aborder, les modéliser et les résoudre. Sont traitées notamment les méthodes de résolution classiques de la rech[...]