F Nous contacter

0

Documents  03Gxx | enregistrements trouvés : 26

O

-A +A

Sélection courante (0) : Tout sélectionner / Tout déselectionner

P Q

V

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

V

Studies in logic and the foundations of mathematics

Localisation : Colloque RdC

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

... Lire [+]

V

- 196 p.
ISBN

Proceedings of the Steklov institute of mathematics , 0242

Localisation : Collection 1er étage

Novikov # algèbre # logique mathématique # théorie des algorithmes # complexité

03-06 ; 03Gxx ; 03F20 ; 11Y16

... Lire [+]

V

- 84 p.
ISBN 978-0-8405-0080-9

SMS(Séminaire de Mathématiques Supérieures) , 0020

Localisation : Salle de manutention

algèbre logique # axiomatisabilité finie # extension et restriction logiques # formule logique # homogénéité logique # interprétabilité libre # isomorphisme local # multirelation # opérateur libre # prédicat # quanteur # relation homogène # relation monomorphe # relation riche # théorie des relations # âge

03B30 ; 03Gxx ; 04A05

... Lire [+]

V

- 144 p.
ISBN 978-3-540-10286-1

Lecture notes in computer science , 0101

Localisation : Collection 1er étage

algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique

03G05 ; 03Gxx ; 94C09

... Lire [+]

V

- 209 p.

Grundlehren der mathematischen wissenschaften , 0073

Localisation : Collection 1er étage

ordre # structure # structure algébrique # structure logique # théorie des structures

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

V

- 164 p.

Grundlehren der mathematischen wissenschaften , 0073

Localisation : Collection 1er étage

ordre # structure # structure algébrique # structure logique # théorie des structures

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

V

- 246 p.

Localisation : Ouvrage RdC (Logi)

00A79 ; 03-02 ; 03Gxx ; 81B10 ; 81BXX

... Lire [+]

V

- 215 p.
ISBN 978-2-9500919-1-8

Nur al-mantiq wal-ma'rifah , 0002

Localisation : Ouvrage RdC (POIZ)

groupe stable

03C45 ; 03Gxx ; 14Lxx ; 30C60

... Lire [+]

V

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KURATOWSKI

axiome # cardinal # ensemble ordonné # logique # logique algébrique # théorie d'ensemble # théorie des nombres cardinaux

03E10 ; 03E28 ; 03Exx ; 03Gxx

... Lire [+]

V

- 337 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KOBR)

automate finie # estimation asymptotique # logique # noeud logique # opérateur

03D05 ; 03Gxx ; 18B20 ; 20F10

... Lire [+]

V

- 189 p.
ISBN 978-0-444-87571-6

North-holland mathematics studies , 0095

Localisation : Ouvrage RdC (Alge)

03Gxx ; 05C05 ; 90C27

... Lire [+]

V

- 428 p.
ISBN 978-0-444-87952-3

Studies in logic and the foundations of mathematics , 0085

Localisation : Ouvrage RdC (HAIL)

algèbre de #oole # logique # logique de probabilité # logique propositionnelle # logique symbolique # probabilité

03G05 ; 03Gxx ; 60A05 ; 60A99

... Lire [+]

V

- 100 p.

Localisation : Ouvrage RdC (COUT)

algèbre de Boole # algèbre de la logique

03G05 ; 03Gxx

... Lire [+]

V

- 457 p.
ISBN 978-0-471-91555-3

Wiley-Teubner series in computer science

Localisation : Ouvrage RdC (WEGE)

algèbre booléenne # complexité informatique # fonction booléennes # ordre treillis # structures algébriques ordonnées # traitement électronique des données

03G05 ; 03Gxx ; 06-XX ; 06E03 ; 06Exx

... Lire [+]

V

- 325 p.
ISBN 978-0-7923-1990-0

Mathematics and its applications , 0060

Localisation : Ouvrage RdC (DUVU)

complétude # espace de Hilbert # espace généralisé # logique algébrique # logique quantique # mesure de Gleason # physique mathématique # théorème de Gleason

03G12 ; 03Gxx ; 46A30 ; 46Cxx

... Lire [+]

V

- 76 p.

Actualité scientifiques et industrielles , 0614

Localisation : Ouvrage RdC (DIEN)

logique algébrique # logique symbolique # épistémologie

00A30 ; 03-05 ; 03B30 ; 03Gxx

... Lire [+]

V

- 663 p.

Collection enseignement des sciences

Localisation : Ouvrage RdC (GODE)

algèbre # anneau # anneau de polynômes # anneau principal # application bilinéaire et trilinéaire alternée # application multilinéaire alternée # corps # corps de fraction d'un anneau d'intégraté # divisibilité des polynômes # dérivation des polynômes # déterminant # ensemble # espace vectoriel # fonction # fonction multilinéaire # fonction polynômiale # forme canonique d'une matière # forme hermitienne # formule de Taylor # fraction rationnelle # homomorphisme des matrices # intersection # logique # loi de composition # matrice # module # nombre complexe # nombre de racine d'une équation algébrique # notion de dimension # produit de matrice # relation algébrique # relation linéaire # réunion # somme de sous-module # système d'équation linéaire # théorème de finitude # transpose d'une application linéaire # valeur propre # variété linéaire affine algèbre # anneau # anneau de polynômes # anneau principal # application bilinéaire et trilinéaire alternée # application multilinéaire alternée # corps # corps de fraction d'un anneau d'intégraté # divisibilité des polynômes # dérivation des polynômes # déterminant # ensemble # espace vectoriel # fonction # fonction multilinéaire # fonction polynômiale # forme canonique d'une matière # forme hermitienne # formule de Taylor # fraction rationnelle ...

03Exx ; 03Gxx ; 04A05 ; 11-01 ; 11Cxx

... Lire [+]

V

- 194 p.

Traite de physique théorique et de physique mathématique , 0020

Localisation : Ouvrage RdC (BODI)

axiomatique de la théorie des probabilités # fondement logique de la mécanique quantique # logique algèbrique # logique mathématique # théorie dialectique des probabilités

03G12 ; 03Gxx ; 60-XX ; 60A05 ; 81P10

... Lire [+]

V

- 424 p.
ISBN 978-0-486-60028-4

Dover classics of science and mathematics

Localisation : Ouvrage RdC (BOOL)

Boole # fondement de la logique # fondement des probabilités # logique # logique formelle # logique mathématique # probabilités

03A05 ; 03Bxx ; 03Gxx

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z