m

Bibliothèques de mathématique et de l'IREM

Documents  calculabilité | enregistrements trouvés : 15

O
K L Q M | g | F x r
     

-A +A

P Q

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

Algorithmics : the spirit of computing Harel, David ; Collab. Feldman, Yishai. -Harlow : Addison-Wesley , 2004 . - XVIII-514 p. ; 23,5 cm
ISBN 9780321117847


IremOuvrage

algorithme ; robustesse ; algorithme stochastique ; calculabilité ; indécidabilité ; efficacité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Surveys in combinatorics, 2001 Ed. Hirschfeld, J. W. P.. -Cambridge : Cambridge university Press , 2001 . - x, 301 p. ; 23 cm


MathCongrès

problème des quatre couleurs ; graphe planaire ; configuration combinatoire ; théorie des graphes ; calculabilité ; graphe aléatoire ; matroïde ; géométrie combinatoire ; coloriage de graphes

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Computability theory and its applications, current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and its applications, June 13-17, 1999, University of Colorado, Boulder Ed. Cholak, Peter ; Ed. Lempp, Steffen ; Ed. Lerman, Manuel ; Ed. Shore, Richard A. ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics. -Providence RI : American mathematical Society , 2000 . - xvi, 320 p. ; 26 cm


MathCongrès

calculabilité ; théorie des ensembles ; récursion ; récursivité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Models and computability : invited papers from logic colloquium'97 - european meeting of the association for symbolic logic, Leeds, July 1997 Ed. Cooper, S. Barry ; Ed. Truss, John K.. -Cambridge : Cambridge university Press , 1999 . - ix, 419 p. ; 23 cm


MathCongrès

modèle ; calculabilité ; déterminisme ; décision ; récursivité ; groupe simple

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Computability theory Weber, Rebecca. -Providence RI : American mathematical Society , 2012 . - vii, 203 p. ; 22 cm
ISBN 9780821873922


MathOuvrage

calculabilité ; récursion ; fonction calculable

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Algorithmic randomness and complexity Downey, Rodney G. ; Hirschfeldt, Denis R.. -New York NY : Springer , 2010 . - xxviii, 855 p. ; 24 cm
ISBN 9780387955674
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=2190-619x/


MathOuvrage

algorithme ; complexité ; calculabilité ; complexité de Kolmogorov ; Turing ; aléatoire ; réel effectif ; aléatoire algorithmique ; réductibilité de Turing ; dimension algorithmique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Handbook of computational group theory Holt, Derek F. ; Eick, Bettina ; O'Brien, Eamonn A.. -Boca Raton FL : Chapman and Hall ; CRC press , 2005 . - xvi, 514 p. ; 24 cm
ISBN 9781584883722


MathOuvrage

théorie des groupes ; calculabilité ; algorithme de théorie des groupes

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Calculabilité, complexité et approximation Rey, Jean-François. -Paris : Vuibert , 2004 . - xviii, 368 p. ; 24 cm
ISBN 9782711748082


MathOuvrage

calculabilité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Eléments de mathématiques discrètes Frécon, Louis. -Lausanne : Presses polytechniques et universitaires romandes , 2002 . - xiv, 378 p. ; 24 cm
ISBN 9782880744793


MathOuvrage

mathématiques discrètes ; algèbre de Boole ; graphe ; calculabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Complexity and approximation : combinatorial optimization problems and their approximability properties Ausiello, Giorgio ; Crescenzi, P. ; Gambosi, G. ; Kann, V. ; et al.. -Berlin, Heidelberg, New York NY : Springer , 1999 . - xix, 524 p. ; 25 cm


MathOuvrage

optimisation combinatoire ; complexité algorithmique ; calculabilité ; problème NP ; analyse des algorithmes ; solution approchée à un problème d'optimisation combinatoire ; preuve probabilistement vérifiable

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Elements of the theory of computation Lewis, Harry R. ; Papadimitriou, Christos H.. -London, Sydney, Toronto : Prentice Hall , 1998 . - 361 p. ; 24 cm


MathOuvrage

complexité ; automate ; langage ; grammaire ; calculabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Computational complexity Papadimitriou, Christos H.. -Menlo Park CA, New York NY, Reading MA : Addison-Wesley , 1994 . - xv, 523 p. ; 24 cm


MathOuvrage

algorithme génétique ; machine de Turing ; logique ; décidabilité ; calculabilité ; complétude de Kolmogorov ; p=np

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Calculabilité et décidabilité : une introduction Autebert, Jean-Michel. -Barcelone, Bonn, Milan, Paris : Masson , 1992 . - 118 p. ; 24 cm
ISBN 9782225826320


MathOuvrage

calculabilité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Introduction à la calculabilité Wolper, Pierre. -Paris : InterEditions , 1991 . - 268 p. ; 23 cm
ISBN 9782729603724


MathOuvrage

calculabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Formal number theory and computability : a workbook Fisher, Alec. -Oxford : Clarendon Press , 1982 . - xiii, 190


MathOuvrage

axiomatique des entiers ; calculabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z