F Nous contacter

0

Documents  03D15 | enregistrements trouvés : 45

O

-A +A

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

P Q

V

- 392 p.

Monographie de l'enseignement mathématique , 0030

Localisation : 1er étage/Congrés/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 [+]

V

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

Proceedings of the steklov institute of mathematics , 0129

Localisation : Collection RdC

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

... Lire [+]

V

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

V

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

Lecture notes in mathematics , 1429

Localisation : Collection RdC

informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

... Lire [+]

V

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

London mathematical society lecture note series , 0169

Localisation : Collection RdC

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

03D15 ; 06E30 ; 68Q15 ; 94C10

... Lire [+]

V


ISBN 978-0-201-51015-7

Santa Fe institute studies in the sciences of complexity

Localisation : 1er étage/Congrès/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 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 [+]

V

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

London mathematical society lecture note series , 0222

Localisation : Collection RdC

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

V


ISBN 978-85-244-0094-0

Localisation : Congrès internationaux 1er étage

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

V


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

V

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

Contemporary mathematics , 0604

Localisation : Collection RdC

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

V

- 284 p.
ISBN 978-0-521-30245-6

Encyclopedia of mathematics and its applications , 0025

Localisation : Collection RdC

03D15 ; 68D15 ; 68F10

... Lire [+]

V

- 431 p.
ISBN 978-0-273-08755-7

Research notes in theoretical computer science

Localisation : Ouvrage RdC (Stud)

algorithme # algorithmique # complexité # informatique théorique # mathématique discrète

03D15 ; 68C25 ; 68Q15 ; 68Q30 ; 68Qxx

... Lire [+]

V

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

Wiley-teubner series in computer science

Localisation : disparu

algèbre de Boole # complexité # fonction booléenne # mathematiques de calculateur # simulateur # traitement de donnée électronique

03D15 ; 36E30 ; 68Q05 ; 68Q15 ; 94C10

... Lire [+]

V

- 245 p.
ISBN 978-0-471-86854-5

Localisation : Ouvrage RdC (MELZ)

complexité

03D15 ; 03F20 ; 68C25 ; 68T20

... Lire [+]

V

- 182 p.
ISBN 978-0-632-01307-4

Computer science texts

Localisation : Ouvrage RdC (RAYW)

calculabilité

03-01 ; 03D15 ; 68Qxx

... Lire [+]

V

- 592 p.
ISBN 978-0-444-87406-1

Studies in logic and the foundations of mathematics , 0128

Localisation : Ouvrage RdC (BORG)

classe de complexité # informatique

03D15 ; 68Q15

... Lire [+]

V

- 490 p.
ISBN 978-0-12-224460-5

A.p.i.c. studies in data proceeding , 0029

Localisation : Ouvrage RdC (DUNN)

application d' algèbre de Boole # classe de complexité

03D15 ; 03G05 ; 06Exx ; 68Q15

... Lire [+]

V

- 228 p.
ISBN 978-2-225-82672-6

Collection technique et scientifique des télécommunications

Localisation : Ouvrage RdC (BART)

analyse des algorithmes et problème de la complexité # complexité de calcul # cryptographie

03D15 ; 68Q25 ; 94A60

... Lire [+]

V

- 118 p.
ISBN 978-2-225-82632-0

Manuels Informatiques Masson

Localisation : disparu;Ouvrage RdC (AUTE)

calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church

03B25 ; 03D15 ; 68Q05 ; 68Q15

... Lire [+]

V


ISBN 978-2-287-00416-2

Mathématiques & applications , 0012

Localisation : disparu

algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35

... Lire [+]

Nuage de mots clefs ici

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z