Couverture de Topos, un modèle pour l'informatique
Titre du livre:

Topos, un modèle pour l'informatique

Sites bien structurés

Presses Académiques Francophones (09-07-2014 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-3-8381-7199-9

ISBN-10:
3838171993
EAN:
9783838171999
Langue du livre:
Français
texte du rabat:
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
Maison d'édition:
Presses Académiques Francophones
Site Web:
https://www.presses-academiques.com
de (auteur) :
Elena Sendroiu
Numéro de pages:
584
Publié le:
09-07-2014
Stock:
Disponible
Catégorie:
Informatique
Prix:
80.90 €
Mots-clés:
théorie des catégories, théorie des topos, faisceau, systèmes répartis, site, langage interne d'un topos, sémantique du langage interne, procédures de calcul vérification de limites et colimites d'ontologies, formalisation des fichiers, éditeur universel, type des données, système de types, préfaisceau, topologies de Grothendieck, sites bien structurés, foncteur faisceau associé, familles en vue de coopération, formalisation de la non-interférence, topos des préfaisceaux, topos des faisceaux, topos de Grothendieck, méthodes d'authentification / cryptage, schéma de partage de secrets, détection de vulnérabilités, validation des faisceaux, construction de faisceaux

Books loader

Lettre d'information

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING