GEOTRUST SSL CERTIFICATE
| Titre : | Calcul différentiel pour les langues de la logique : théorie et applications |
| Auteurs : | André Thayse, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 2004 |
| ISBN/ISSN/EAN : | 978-2-7462-0905-3 |
| Format : | 222 p. / ill. / 24 x 16 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 515 (Analyse) |
| Mots-clés: | calcul différentiel ; calcul intégral ; logique symbolique et mathématique |
| Résumé : |
Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
