Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Topos, un modèle pour l'informatique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Topos, un modèle pour l'informatique

Topos, un modèle pour l'informatique

Sendroiu-E - Collection Omn.pres.franc.

584 pages, parution le 01/09/2018

Résumé

Partie 1 fournit des procédures de calcul/vérification de limites et colimites d'ontologies, modélise des données en langage interne d'un topos (la sémantique du langage interne est exprimée dans un contexte informatique), démontre que tout calcul logique/arithmétique est une flèche d'un topos, propose une solution à la formalisation des fichiers en langage interne du topos libre et détaille des aspects d'un éditeur universel prenant en charge le type des données. Partie 2 modélise un objet de Goguen comme une donnée de type faisceau sur un site en considérant un topos comme un système de types, propose une procédure pour engendrer des topologies de Grothendieck à partir de la catégorie de base, définit les sites bien structurés approprié à l'informatique, présente une procédure optimale de validation de faisceaux et construit un nouveau foncteur faisceau associé pour engendrer efficacement des faisceaux à l'aide des familles en vue de coopération, formalise la non-interférence en langage interne du topos des préfaisceaux, fournit aux systèmes répartis: des méthodes d'authentification/cryptage et un schéma de partage de secrets par faisceaux, offre une détection de vulnérabilités

Caractéristiques techniques

  PAPIER
Éditeur(s) Presses Academiques Francophones
Auteur(s) Sendroiu-E
Collection Omn.pres.franc.
Parution 01/09/2018
Nb. de pages 584
Format 15.2 x 22.9
Couverture Broché
Poids 848g
EAN13 9783838171999

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription