Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 304 p.
ISBN 978-3-540-11210-5
Lecture notes in computer science , 0130
Localisation : Collection 1er étage
informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique
68Q65 ; 68Q60 ; 68-01 ; 03B45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-387-97464-4
Graduate texts in mathematics , 0188
Localisation : Collection 1er étage
analyse mathématique non standard # application # construction d'hyperéelle # convergence # différentiation # fonction continue # fonction d'ensemble # fonction réelle # intégrale de Riemann # mesure et intégration # séquence # série
03H05 ; 26E35 ; 28E05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 353 p.
ISBN 978-0-387-96519-2
Universitext
Localisation : Ouvrage RdC (GOLD)
espace # fonction orthogonale # géométrie affine # temps
53-01 ; 53B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 268 p.
ISBN 978-1-10701-052-9
Lecture notes in logic
Localisation : Ouvrage RdC (GOLD)
variable # logique modale # sémantique # proposition admissible # logique d'appropriation
03-02 ; 03B45 ; 03B47
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486 p.
ISBN 978-0-444-85207-6
Studies in logic and the foundations of mathematics , 0098
Localisation : Ouvrage RdC (GOLD)
algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme
03B20 ; 03C90 ; 03G30 ; 18B25
... Lire [+]