En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Goldblatt, Robert 5 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 353 p.
Cote : 00011251
espace # fonction orthogonale # géométrie affine # temps

53-01 ; 53B30

Localisation : Ouvrage RdC (GOLD)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 486 p.
Cote : 00000191
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

Localisation : Ouvrage RdC (GOLD)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00022373
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

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 304 p.
Cote : 00027326
informatique # programme # type de données abstraites # vérification de programme # logique modale # sémantique

68Q65 ; 68Q60 ; 68-01 ; 03B45

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xiii; 268 p.
Cote : 00038752
variable # logique modale # sémantique # proposition admissible # logique d'appropriation

03-02 ; 03B45 ; 03B47

Localisation : Ouvrage RdC (GOLD)

Sélection Signaler une erreur

Filtrer

Auteurs
Référence
Codes MSC
Date de parution