m

F Nous contacter

0

Documents  North-Holland Publishing Co. | enregistrements trouvés : 252

O

-A +A

P Q

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


ISBN 978-0-444-85343-1

Studies in logic and the foundations of mathematics , 0095

Localisation : Colloque 1er étage (OXFO)

amalgamation # construction semi-sapin # groupe clos algébriquement # groupe de Burnside # groupe de Jonsson # groupe finiment présenté # groupe à forme normale # logique # machine modulaire # problème de décision pour théorie des anneaux # problème de mot résoluble # système de Thue commutatif # théorie d'annulation # théorème de plongement de Higman-Clapham-Valiev # tresse réductible

03D40 ; 08A50 ; 20F10

... Lire [+]

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


ISBN 978-0-444-85406-3

Colloquia mathematics societatis janos bolyai , 0023

Localisation : Colloque 1er étage (BUDA)

54-06

... Lire [+]

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

- 651 p.
ISBN 978-0-444-85406-3

Colloquia mathematics societatis janos bolyai , 0023

Localisation : Colloque 1er étage (BUDA)

54-06

... Lire [+]

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

- 528 p.
ISBN 978-0-444-85406-3

colloquia mathematica societatis jános bolyai , 0055

Localisation : Colloque 1er étage (PECS)

espace topologique # groupe d'homotopie de sphère # théorie de galois # théorie de la bifurcation # topologie

54-06 ; 55-06

... Lire [+]

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


ISBN 978-963-8021-16-8

Colloquia mathematica societatis janos bolyai , 0013

Localisation : Colloque 1er étage (DEBR)

approximation diophantienne # distribution uniforme # fonction additive # fonction arithmétique # fonction multiplicative # nombre pseudo-aléatoire # nombre rationnel # nombre transcendant # somme de caractère # théorie des nombres

11-06

... Lire [+]

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

- 592 p.
ISBN 978-0-7204-0699-3

Colloquia mathematica societatis janos bolyai , 0016

Localisation : Colloque 1er étage (KESZ)

codage source de language libre # code contact Z n Z # comparaison de canaux avec bruit # complexité de calcul # estimation statistique d'entropie # F projection et F dissimulation Z # graphe et dynamique symbolique # groupoide et code # mesure de l'informationn # modèle de recherche de pi # théorie de l'information

00Bxx ; 94-06

... Lire [+]

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


ISBN 978-963-8021-20-5

Colloquia mathematica societatis janos bolyai , 0016

Localisation : Colloque 1er étage (KEST)

codage source de langage libre de contexte # code concaténé # comparaison de canaux avec bruit # complexité de calcul # estimation statistique d'entropie # f-projection et f-dissimilarité # graphe et dynamique symbolique # groupoide et code # mesure de l'information # modèle de recherche de pièce fausse # théorie de l'information

94-06 ; 94Axx

... Lire [+]

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


ISBN 978-0-444-86509-0

Colloquia mathematica societatis janos bolyai , 0034

Localisation : Colloque 1er étage (BUDA)

11-06

... Lire [+]

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


ISBN 978-0-444-86509-0

Colloquia mathematica societatis janos bolyai , 0034

Localisation : Colloque 1er étage (BUDA)

11-06

... Lire [+]

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


ISBN 978-0-444-81528-6

Colloquia mathematica societatis jános bolyai , 0061

Localisation : Colloque 1er étage (SZEK)

anneau associatif # anneau simple # catégorie de quotient # construction d'anneaux # extension # groupe abelien # idéaux de radical # radical # radical distributif # structure de radical # théorie de radical # théorie des radicaux # treillis de radicaux

16Dxx ; 16N40 ; 16N80 ; 16Nxx

... Lire [+]

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

- 494 p.
ISBN 978-0-7204-2233-7

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BERK)

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

... Lire [+]

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

Localisation : Colloque 1er étage (BERK)

aleph indice alpha # algèbre cylindrique # algèbre de Boole # deux puissance aleph indice 0 # géométrie elliptique # théorie de quantification # théorie des modèles # théorie des nombres

03-06 ; 03Cxx

... Lire [+]

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


ISBN 978-0-444-86494-9

Studies in logic and the foundations of mathematics , 0110

Localisation : Colloque 1er étage (NOOR)

Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # théorie de l'approximation constructive # théorie des ensembles constructibles # théorie des nombres algébriques # théorème barre # théorème de l'éventail # topos collant Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # ...

03Fxx

... Lire [+]

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


ISBN 978-0-444-85345-5

Studies in logic and the foundations of mathematics , 0101

Localisation : Colloque 1er étage (MADI)

analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # ...

03-XX

... Lire [+]

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


ISBN 978-0-444-86216-7

North-holland mathematics studies

Localisation : Colloque 1er étage (BRUS)

algorithme polynomiale # collection des paapiers # programmation discrète # théorie de graphe

05-06 ; 05C20 ; 05C85 ; 05Cxx ; 90C10

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LEIC)

03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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


ISBN 978-963-8022-69-1

Colloquia mathematica societatis jános bolyai , 0060

Localisation : Colloque 1er étage (BUDA)

calcul # ensemble # graphe # informatique # optimisation combinatoire # probabilité # théorie combibatoire des nombres # théorie de Ramsey # théorie des graphes # théorie des nombres

04-02 ; 05C55 ; 05Cxx ; 11B75

... Lire [+]

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


ISBN 978-0-444-87544-0

North-holland mathematics studies , 0098

Localisation : Colloque 1er étage (HIRO)

EDP # dynamique des fluides # opérateur d'évolution # équation aux dérivées partielles nonlinéaire # équation d'onde # équation de Boltzmann # équation de Klein-Gordon # équation de diffusion à retard # équation quasilinéaire

35-06 ; 35Qxx ; 76-XX

... Lire [+]

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

- Pp. 571-1111
ISBN 978-0-444-85441-4

Colloquia mathematics societatis janos bolyai , 0027

Localisation : Colloque 1er étage (ESZT)

catastrophe ultraviolette ou infrarouge # champ aléatoire # champ de jauge # coagulation en colloide # ensemble canonique grand # gaz # modèle de Ising # mécanique statistique # théorie quantique des champs # état de Gibbs

82-06 ; 82A05 ; 82A15

... Lire [+]

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

- 568 p.
ISBN 978-0-444-85441-4

Colloquia mathematics societatis janos bolyai , 0027

Localisation : Colloque 1er étage (ESZT)

chaine de Markov # champ aléatoire # formule de Feynman-Kac # modèle de Ising # mécanique statistique # méthode de réplication en théorie du verre de spin # théorie quantique des champs # état de Gibbs

82-06 ; 82A05 ; 82A15

... Lire [+]

Z