m

F Nous contacter

0

Documents  03D15 | enregistrements trouvés : 47

O

-A +A

P Q

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

- xi; 185 p.
ISBN 978-0-8218-9150-6

Contemporary mathematics , 0604

Localisation : Collection 1er étage

théorie de la complexité # informatique théorique # géométrie algébrique # théorie des corps # analyse numérique

03D15 ; 14Qxx ; 14Q20 ; 65-XX ; 65H20 ; 00B25 ; 14-06 ; 12-06 ; 65-06 ; 68-06 ; 12Y05 ; 65H10 ; 68Wxx

... Lire [+]

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


ISBN 978-85-244-0094-0

Localisation : Salle de manutention

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

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

- 389 p.
ISBN 978-0-521-55961-4

London mathematical society lecture note series , 0222

Localisation : Collection 1er étage

algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...

03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05

... Lire [+]

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


ISBN 978-0-201-51015-7

Santa Fe institute studies in the sciences of complexity

Localisation : Colloque 1er étage (SANT)

analyse de la complexité # bifurcation # biomathématique # complexité # complexité biomécanique # complexité de l'informatique # complexité des problèmes # complexité des systèmes # dynamique des réactions chimiques # dynamique non linéaire # démographie # ergodicité rompue # génétique # neurobiologie # physique # sida # système moléculaire complexe # épidémologie # épistémologie des sciences # équilibre # évolution des populations

03D15 ; 34A47 ; 68U15 ; 92D30 ; 92E10

... Lire [+]

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

- 201 p.
ISBN 978-0-521-40826-4

London mathematical society lecture note series , 0169

Localisation : Collection 1er étage

circuit # réseaux # classe de complexité # complexité du calcul logique # fonction booleenne # problème complexe

03D15 ; 06E30 ; 68Q15 ; 94C10

... Lire [+]

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

- 272 p.
ISBN 978-0-8218-3029-1

Proceedings of the Steklov institute of mathematics , 0129

Localisation : Collection 1er étage

03Fxx ; 03D10 ; 60A05 ; 60F05 ; 03D15

... Lire [+]

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

- 162 p.
ISBN 978-3-540-52734-3

Lecture notes in mathematics , 1429

Localisation : Collection 1er étage

informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

... Lire [+]

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

Publications mathématiques de l'université Paris VII , 0019

Localisation : Publication 1er étage

codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux

03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25

... Lire [+]

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

- 392 p.

Monographie de l'enseignement mathématique , 0030

Localisation : Colloque 1er étage (ZURI)

algorithme # algorithme de fermeture oblique rapide # algèbre de Boole # arithmétique de Peano # complexité algébrique # complexité informatique # logique # machine de Turing # machine à accès aléatoire # problème de décision # théorie de Morse

03D10 ; 03D15 ; 03Fxx

... Lire [+]

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


ISBN 978-85-244-0094-0

CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...

03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25

... Lire [+]

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

- ix; 543 p.
ISBN 978-1-107-04152-7

Lecture notes in logic , 0047

Localisation : Ouvrage RdC (GROH)

théorie des graphes # logique # calcul complexe # décomposition d'arbres # graphe intégrable

03-02 ; 03D15 ; 03C65 ; 05C99

... Lire [+]

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

- xviii; 511 p.
ISBN 978-1-4704-3182-2

Mathematical surveys and monographs , 0220

Localisation : Collection 1er étage

théorie de l'information # complexité de Kolmogorov # complexité de calcul # calcul algorithmique

68Q30 ; 03D32 ; 60A99 ; 03-02 ; 03D15

... Lire [+]

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

- 200 p.
ISBN 978-3-540-56899-5

Mathématiques & applications , 0012

Localisation : Collection 1er étage

décidabilité # fonction récursive # algorithme # théorie de la complexité # logique de premier ordre # calcul booléen # arithmétique # machine de Turing

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35 ; 68Q05 ; 68Q10 ; 68Q15

... Lire [+]

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

- xiii; 465 p.
ISBN 978-0-521-51769-0

Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

... Lire [+]

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

- vii; 203 p.
ISBN 978-0-8218-7392-2

Student mathematical library , 0062

Localisation : Collection 1er étage

théorie de la recursivité # machine de Turing # complexité des calculs # logique de la programmation

03Dxx ; 68Qxx ; 03-01 ; 03D10 ; 03D15 ; 03D60 ; 03D80 ; 03B70 ; 68Q05

... Lire [+]

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

- viii; 233 p.
ISBN 978-0-471-90322-2

Wiley-Teubner series in computer science

Localisation : Ouvrage RdC (KEMP)

algorithmique # algorithme # informatique # analyse d'algorithme # permutation # marche aléatoire # structure de données # asymptote # complexité # language de Dyck

68Q25 ; 05-04 ; 03D15 ; 05A15 ; 03-04 ; 60G50

... Lire [+]

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

- xx; 236 p.

Localisation : Ouvrage RdC (VANE)

classe de complexité # classe d'honnêteté # mesure de Blum # théorème d'intervalle #algorithme de Meyer-McCreight # théorie de la complexité

03D15 ; 68Q15 ; 03D55 ; 68M15 ; 68Wxx

... Lire [+]

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

- xiii; 151 p.
ISBN 978-3-540-68546-3

Algorithms and computation in mathematics , 0023

Localisation : Ouvrage RdC (BRAV)

logique # calcul complexe # théorie de la récursion # ensemble de Julia # modèles de calcul

03D15 ; 03D80 ; 37F10 ; 37F50 ; 65Y20 ; 68Q05 ; 68Q17 ; 03-99

... Lire [+]

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

- 165 p.
ISBN 978-0-8218-3679-8

Localisation : Ouvrage RdC (Mill)

mathématiques générales # courbes elliptiques # théorie de Hodge # équations stokes # équations de Navier-Stokes # sphère d'homotopie # conjecture de Poincaré # hypothèses de Riemann # théorie de Yang-Mills

01Axx ; 11G05 ; 14C30 ; 35Q30 ; 57R60 ; 03D15 ; 11M26 ; 81T13

... Lire [+]

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

- 256 p.
ISBN 978-2-84245-082-3

Localisation : Ouvrage RdC (DELA)

complexité # logique symbolique # logique mathématique # complexité de calcul # intelligence artificielle

03D15 ; 68T01

... Lire [+]

Z