m

F Nous contacter

0

Documents  06D20 | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 199 p.

Notas de logica matematica , 0039

Localisation : Salle de manutention

MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la valuation MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la ...

03-06 ; 03Cxx ; 06D20 ; 06D30 ; 68N15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- viii, 143 p.

Localisation : Colloque 1er étage (BAHI)

algèbre Banach # algèbre fermée symmetrique # opérateur de Morgan # algèbre semi-Heyting # quasivariété # algèbre de Boole monadique

08C15 ; 08A35 ; 03G25 ; 06D20 ; 06D15 ; 06E25 ; 06F35 ; 08B15 ; 46H20 ; 46H25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 114 p.

Localisation : Salle de manutention

algèbre de Heyting # algèbre de Lukasiewicz # algèbre de Post # compact métrique contenant un arc # dimension de Hausdorff # ensemble compact Lebesgue-négligeable # extension de forme linéaire # groupes engendrés par des ensembles # mesure de Hausdorff # serveur intermittent # structure floue

03G20 ; 06D20 ; 06D25 ; 06D30 ; 54Dxx

... Lire [+]

Z