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

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

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

Localisation : Séminaire 1er étage

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

- 196 p.
ISBN

Proceedings of the steklov institute of mathematics , 0242

Localisation : Collection RdC

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

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

... Lire [+]

V

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

Lecture notes in mathematics , 1103

Localisation : Collection RdC

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

V

Studies in logic and the foundations of mathematics

Localisation : 1er étage/Congrès/HANN

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

... 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 [+]

V

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

North-holland mathematics studies , 0095

Localisation : Ouvrage RdC (Alge)

03Gxx ; 05C05 ; 90C27

... Lire [+]

V

- 100 p.

Localisation : Ouvrage RdC (COUT)

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

03G05 ; 03Gxx

... Lire [+]

V

- 246 p.

Localisation : Ouvrage RdC (Logi)

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

... 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

- 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

- 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

- 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

- 209 p.

Die grundelhren der mathematischen wisssenschaften , 0073

Localisation : Collection RdC

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

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

V

- 164 p.

Die grundelhren der mathematischen wisssenschaften , 0073

Localisation : Collection RdC

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

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

V

- 314 p.
ISBN 978-0-12-362680-6

Localisation : Ouvrage RdC (HURS)

03-04 ; 03Gxx ; 68Qxx

... 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

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

- 94 p.

Van nostrand mathematical studies , 0006

Localisation : Ouvrage RdC (LYND)

logique générale # logique # calcul de prédicat # théorie de la consistance # sémantique # théorème de Loewenheimskolem # théorème de Herbrand # théorème de Gödel # théorème de Church # théorème de Tarski # nombre de Gödel # décidabilité # compacité logique # interpolation de Craig

03Gxx

... Lire [+]

V

- 265 p.
ISBN 978-0-19-853392-4

Oxford logig guides , 0021

Localisation : Ouvrage RdC (MCLA)

catégorie # logique # topos

03G30 ; 03Gxx ; 18B25

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z