IRMA - Documents

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

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

... Lire [+]

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

récursion

... Lire [+]

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

récursion

... Lire [+]

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

récursion ; logique mathématique ; théorie des ensembles ; modèle non standard

... Lire [+]

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

récursion

... Lire [+]

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

récursion

... Lire [+]

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

récursion

... Lire [+]

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

théorie des modèles ; théorie des ensembles ; récursion

... Lire [+]

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

logique mathématique ; récursion ; théorie des modèles ; théorie des ensembles

... Lire [+]

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

calculabilité ; récursion ; fonction calculable

... Lire [+]

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

distribution de Poisson ; processus de comptage ; récursion ; actuariat ; mathématiques financières

... Lire [+]

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

courbe elliptique ; intégrale elliptique ; multiplication complexe ; récursion ; exercice

... Lire [+]

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

théorème de finitude ; récursion ; théorie des ensembles ; récursivité

... Lire [+]

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

théorie des nombres ; induction ; récursion ; équation diophantienne ; fonction zêta ; fonction L ; forme modulaire ; théorème de Fermat ; géométrie d'Arakelov ; géométrie non commutative ; programme de Langlands

... Lire [+]

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

morphisme ; logique ; complexité ; implicitisation ; langage formel ; symétrie ; théorie de la preuve ; récursion ; graphe

... Lire [+]

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

algorithmique ; programmation ; langage caml ; récursion ; itération ; logique ; liste

... Lire [+]

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

récursion

... Lire [+]

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

dimension de Hausdorff ; récursion ; fonction génératrice

... Lire [+]

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

théorie des ensembles ; récursion ; logique

... Lire [+]

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

récursion ; logique mathématique

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

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

Documents récursion | enregistrements trouvés : 21

Computability, enumerability, unsolvability : directions in recursion theory Ed. Cooper, S. B. ; Ed. Slaman, T.A. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1996 . - vii, 347 p. ; 23 cm
Nouveau

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393
https://doi.org/10.1007/BFb0086109
Nouveau

Mathematical logic and applications Ed. Shinoda, J. ; Ed. Slaman, T.A. ; Ed. Tugue, T.. -Berlin : Springer , 1989 . - 222
https://doi.org/10.1007/BFb0083663
Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418
https://doi.org/10.1007/BFb0076211
Nouveau

Recursion theory and computational complexity Ed. Lolli, G.. -Napoli : Editore Liguori , 1981 . - 236
Nouveau

Recursion theory : its generalisations and applications Ed. Drake, F.R. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1980 . - 319
Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612
Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331
Nouveau

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

Recursions for convolutions and compound distributions with insurance applications Sundt, Bjorn ; Vernic, Raluca. -Berlin : Springer , 2010 . - xv, 345 p. ; 24 cm
ISBN 9783540928997
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1869-6929
Nouveau

One semester of elliptic curves Ekedahl, Torsten. -Zürich : European mathematical Society , 2006 . - viii, 130 p. ; 24 cm
ISBN 9783037190159
https://ems.press/books/elm
Nouveau

The Role of true finiteness in the admissible recursively enumerable degrees Greenberg, Noam. -Providence RI : American mathematical Society , 2006 . - vi, 99 p. ; 26 cm
ISBN 9780821838853
Nouveau

Introduction to modern number theory : fundamental problems, ideas and theories Manin, Yuri I. ; Panchishkin, Alexey A.. -Berlin : Springer , 2005 . - xv, 514 p. ; 24 cm
ISBN 9783540203643
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=0938-0396
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Cours complet pour la SUP MPSI option informatique Monasse, Denis. -Paris : Vuibert , 1996 . - 200 p. ; 24 cm
Nouveau

Recursion theory Shoenfield, Joseph R.. -Berlin, Heidelberg, New York NY : Springer , 1993 . - 84 p. ; 24 cm
https://projecteuclid.org/ebooks/lecture-notes-in-logic/volumes
Nouveau

Exact Hausdorff dimension in random recursive constructions Graf, S. ; Mauldin, R.D. ; Williams, A.S.. -Providence RI : American mathematical Society , 1988 . - ix, 121 p.
Nouveau

Recursive aspects of descriptive set theory Mansfield, Richard ; Weitkamp, Galen. -Oxford : Oxford university Press , 1985 . - vi, 144
Nouveau

Initial segments of degrees below O' Epstein, Richard L.. -Providence RI : American mathematical Society , 1981 . - vi, 102 p.
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

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

Documents récursion | enregistrements trouvés : 21

Computability, enumerability, unsolvability : directions in recursion theory Ed. Cooper, S. B. ; Ed. Slaman, T.A. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1996 . - vii, 347 p. ; 23 cm Nouveau

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393 https://doi.org/10.1007/BFb0086109 Nouveau

Mathematical logic and applications Ed. Shinoda, J. ; Ed. Slaman, T.A. ; Ed. Tugue, T.. -Berlin : Springer , 1989 . - 222 https://doi.org/10.1007/BFb0083663 Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418 https://doi.org/10.1007/BFb0076211 Nouveau

Recursion theory and computational complexity Ed. Lolli, G.. -Napoli : Editore Liguori , 1981 . - 236 Nouveau

Recursion theory : its generalisations and applications Ed. Drake, F.R. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1980 . - 319 Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612 Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331 Nouveau

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

Recursions for convolutions and compound distributions with insurance applications Sundt, Bjorn ; Vernic, Raluca. -Berlin : Springer , 2010 . - xv, 345 p. ; 24 cm ISBN 9783540928997 https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1869-6929 Nouveau

One semester of elliptic curves Ekedahl, Torsten. -Zürich : European mathematical Society , 2006 . - viii, 130 p. ; 24 cm ISBN 9783037190159 https://ems.press/books/elm Nouveau

The Role of true finiteness in the admissible recursively enumerable degrees Greenberg, Noam. -Providence RI : American mathematical Society , 2006 . - vi, 99 p. ; 26 cm ISBN 9780821838853 Nouveau

Introduction to modern number theory : fundamental problems, ideas and theories Manin, Yuri I. ; Panchishkin, Alexey A.. -Berlin : Springer , 2005 . - xv, 514 p. ; 24 cm ISBN 9783540203643 https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=0938-0396 Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm ISBN 9780198507291 Nouveau

Cours complet pour la SUP MPSI option informatique Monasse, Denis. -Paris : Vuibert , 1996 . - 200 p. ; 24 cm Nouveau

Recursion theory Shoenfield, Joseph R.. -Berlin, Heidelberg, New York NY : Springer , 1993 . - 84 p. ; 24 cm https://projecteuclid.org/ebooks/lecture-notes-in-logic/volumes Nouveau

Exact Hausdorff dimension in random recursive constructions Graf, S. ; Mauldin, R.D. ; Williams, A.S.. -Providence RI : American mathematical Society , 1988 . - ix, 121 p. Nouveau

Recursive aspects of descriptive set theory Mansfield, Richard ; Weitkamp, Galen. -Oxford : Oxford university Press , 1985 . - vi, 144 Nouveau

Initial segments of degrees below O' Epstein, Richard L.. -Providence RI : American mathematical Society , 1981 . - vi, 102 p. Nouveau

Computability, enumerability, unsolvability : directions in recursion theory Ed. Cooper, S. B. ; Ed. Slaman, T.A. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1996 . - vii, 347 p. ; 23 cm
Nouveau

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393
https://doi.org/10.1007/BFb0086109
Nouveau

Mathematical logic and applications Ed. Shinoda, J. ; Ed. Slaman, T.A. ; Ed. Tugue, T.. -Berlin : Springer , 1989 . - 222
https://doi.org/10.1007/BFb0083663
Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418
https://doi.org/10.1007/BFb0076211
Nouveau

Recursion theory and computational complexity Ed. Lolli, G.. -Napoli : Editore Liguori , 1981 . - 236
Nouveau

Recursion theory : its generalisations and applications Ed. Drake, F.R. ; Ed. Wainer, S.S.. -Cambridge : Cambridge university Press , 1980 . - 319
Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612
Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331
Nouveau

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

Recursions for convolutions and compound distributions with insurance applications Sundt, Bjorn ; Vernic, Raluca. -Berlin : Springer , 2010 . - xv, 345 p. ; 24 cm
ISBN 9783540928997
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1869-6929
Nouveau

One semester of elliptic curves Ekedahl, Torsten. -Zürich : European mathematical Society , 2006 . - viii, 130 p. ; 24 cm
ISBN 9783037190159
https://ems.press/books/elm
Nouveau

The Role of true finiteness in the admissible recursively enumerable degrees Greenberg, Noam. -Providence RI : American mathematical Society , 2006 . - vi, 99 p. ; 26 cm
ISBN 9780821838853
Nouveau

Introduction to modern number theory : fundamental problems, ideas and theories Manin, Yuri I. ; Panchishkin, Alexey A.. -Berlin : Springer , 2005 . - xv, 514 p. ; 24 cm
ISBN 9783540203643
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=0938-0396
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Cours complet pour la SUP MPSI option informatique Monasse, Denis. -Paris : Vuibert , 1996 . - 200 p. ; 24 cm
Nouveau

Recursion theory Shoenfield, Joseph R.. -Berlin, Heidelberg, New York NY : Springer , 1993 . - 84 p. ; 24 cm
https://projecteuclid.org/ebooks/lecture-notes-in-logic/volumes
Nouveau

Exact Hausdorff dimension in random recursive constructions Graf, S. ; Mauldin, R.D. ; Williams, A.S.. -Providence RI : American mathematical Society , 1988 . - ix, 121 p.
Nouveau

Recursive aspects of descriptive set theory Mansfield, Richard ; Weitkamp, Galen. -Oxford : Oxford university Press , 1985 . - vi, 144
Nouveau

Initial segments of degrees below O' Epstein, Richard L.. -Providence RI : American mathematical Society , 1981 . - vi, 102 p.
Nouveau