Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Cote : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis
[-]
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...
[+]
03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx
Localisation : Ouvrage RdC (RASI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00008221
M-espace # analyse fonctionnelle # analyse harmonique abstraite # convergence de série de Fourier # convergence de séries orthogonales # fonction réelle # intégrale de Fourier # inégalité # principe de condensation de singularités # série de fonctions orthogonales # série trigonométrique # théorie des distributions
26-XX ; 26Dxx ; 42-XX ; 42Axx ; 46Fxx
Localisation : Réserve
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00008220
algèbre de Boole # analyse fonctionnelle # classe de Baire # fonction d'ensembles # fonction dérivée de fonction mesurable # fonction réelle # fraction continue # intégrale de Lebesgue # logique de Brouwer # principe de condensation de singularités # théorie de la mesure # théorie des distributions # théorie des treillis # théorème de Vitali # transformée de Laplace
26-00 ; 26A21 ; 26A42 ; 26Axx
Localisation : Réserve
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 462 p.
Cote : 00008232
algèbre linéaire # calcul différentiel # calcul en espace de Banach # calcul intégral # différentiation de fonction réelle # fonction de plusieurs variables # groupe d'homologie # intégrale en espace euclidien # intégrale sur hypersurface ou polyèdre # théorie de la mesure # théorie des ensembles # théorie générale de l'intégrale # topologie # transformation différentiable
04A05 ; 26B05 ; 26Bxx ; 46Bxx ; 54E35
Localisation : Ouvrage RdC (SIKO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 60 p.
Cote : 00010921
logique
03B05
Localisation : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 237 p.
Cote : 00004614
algèbre de Boole # m-algèbre # produit booléen
03G05 ; 06Exx
Localisation : Ouvrage RdC (SIKO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 84 p.
Cote : 00005476
Localisation : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 176 p.
Cote : 00027072
algèbre de Boole # M-homomorphisme
06Exx
Localisation : Ouvrage RdC (SIKO)