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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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-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.
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.
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.
- 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.
- 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-3-540-05566-2
Lecture notes in mathematics , 0218
Localisation : Collection 1er étage
Martin-Löf # Von Mises et Ville # complexité algorithmique # complexité de programme de Kolmogorov # concept de collectif # ensemble nul constructif # espace de probabilité # fonction récursive # hasard et probabilité # historique # loi de hasard d'ordre exponentiel # loi de hasard statistique # propriété d'invariance # représentation de loi forte des grands nombres par martingal # suite contingente # suite hypercontingente # suite optimale pour les banques # suite pseudo-contingente # système de jeu verrouillé # théorie des probabilités et mesure
Martin-Löf # Von Mises et Ville # complexité algorithmique # complexité de programme de Kolmogorov # concept de collectif # ensemble nul constructif # espace de probabilité # fonction récursive # hasard et probabilité # historique # loi de hasard d'ordre exponentiel # loi de hasard statistique # propriété d'invariance # représentation de loi forte des grands nombres par martingal # suite contingente # suite hypercontingente # suite optimale pour ...
68Wxx ; 03D20 ; 60A05 ; 03D15
... 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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 482 p.
ISBN 978-3-540-57073-8
Perspectives in mathematical logic
Localisation : Ouvrage RdC (BORG)
classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre
classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # ...
03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 267 p.
ISBN 978-0-8218-4108-2
Advances in Soviet Mathematics , 0009
Localisation : Collection 1er étage
jauge quantique # métrique # représentation de groupe ou d'algèbre # substitution # système dynamique # système dynamique et approximation # théorie des représentations # théorie spectrale # transformation
03D15 ; 05A99 ; 20C30 ; 20C32 ; 28D05
... 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.
- 322 p.
ISBN 978-2-86601-496-4
Collection informatique
Localisation : Ouvrage RdC (LASS)
approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt
03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
ISBN 978-2-908016-58-1
Nul al-Mantiq wal-Ma'rifah , 0003
Localisation : Ouvrage RdC (POIZ)
algorithme # calcul en temps polynomial # circuit arithmétique # circuit boléen # classe de complexité exponentielle # complexité d'algorithme # fonction boléenne # hiérarchie polynomiale # liens entre classes uniformes ou non uniformes # problème boléen # relation # structure fonctionnelle # temps séquentiel et temps parallèle # écriture linéaire des termes # élimination des quanteurs
03C10 ; 03D15 ; 68Q15 ; 94C10
... Lire [+]