Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-3-540-17185-0
Lecture notes in mathematics , 1220
Localisation : Collection 1er étage;Salle de manutention
algèbre de Dynkin # algèbre de Lie de dimension infinie # algèbre noethérienne # anneau localisé non commutatif # carquois apprivoisé # cohomologie # commutant des modules # construction de résolution d'idéal déterminantal # corps gauche # droite affine et projective # formule de dimension # module de Cohen-MacCaulay # module de type spin # opérateur différentiel # principe d'additivité # résultante de 2 polynomes # singularité isolée # élimination linéaire
algèbre de Dynkin # algèbre de Lie de dimension infinie # algèbre noethérienne # anneau localisé non commutatif # carquois apprivoisé # cohomologie # commutant des modules # construction de résolution d'idéal déterminantal # corps gauche # droite affine et projective # formule de dimension # module de Cohen-MacCaulay # module de type spin # opérateur différentiel # principe d'additivité # résultante de 2 polynomes # singularité isolée # ...
03G20 ; 13H10 ; 16A08 ; 16A15 ; 16A38
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xviii; 256 p.
ISBN 978-94-007-0839-6
Trends in logic , 0035
Localisation : Ouvrage RdC (MUND)
algèbre MV # logique de Lukasiewicz # polyèdre # logique algébrique # cohérence de De Finetti
03-02 ; 03B50 ; 03G20 ; 06D35 ; 60B99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 361 p.
Bibliothèque de l'automaticien , 0010
Localisation : Ouvrage RdC (KUNT)
algèbre de Boole # algèbre de post # consensus # corps de reste # couverture du cube # expression canonique # expression quasi-canonique # fonction booléenne # fonction à seuil # forme de Lagrance # forme polynômiale lexicographique # hypercube # quantité booléenne # somme de monôme disjoint # synthèse des fonctions O-booléennes # écriture préfixée # équation booléenne
03G05 ; 03G20 ; 06E30 ; 06Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 190 p.
ISBN
Notas de logica matematica , 0038
Localisation : Salle de manutention
C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 valeurs finie # variété de MV-algèbre # équivalence élémentaire entre faisceaux
C*-algèbre de logique Post # algèbre d'abstraction lambda # analyse infinitésimale # fermeture minimale pour classe d'calgèbres partielles # fragment positif à variable libre consistant finitairement # groupe abélien ordonné en treillis libre # indécidabilité # jeu de Ehrenfeucht-Fraïssé # logique mathématique # opérateur modal en logique d'implication conséquentielle # partition et ensemble parfait # sous-algèbre d'algèbre de Lukasasiewicz à 3 ...
03-06 ; 03B25 ; 03B50 ; 03D35 ; 03G20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 123 p.
ISBN
Notas de logica matematica , 0036
Localisation : Salle de manutention
algebre de lukasiewicz # logique
03G20 ; 06D30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pag. mult.
ISBN
Notas de logica matematica , 0040
Localisation : Salle de manutention
algèbre de Boole # algèbre de Hilbert # algèbre de Lukasiewicz # algèbre de Nelson # algèbre de Stone # algèbre de Tarski # logique mathématique
03G05 ; 03G20 ; 03Gxx ; 06Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 150 p.
Localisation : Salle de manutention
Anne Preller # algèbre de Lukasiewicz # catégorie de modules # demi-groupe de fractions # discrétude # grassmannienne d'espace de Banach # interpolation et amalgamation # liberté bornologique # mono sous-catégorie # spectre maximal # théorie des fibres
03G20 ; 18A32 ; 20Mxx ; 46Bxx ; 55Rxx
... 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 [+]
