m

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

Documents  récursivité | enregistrements trouvés : 20

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.

Fondements des mathématiques 1 Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan , 2001 . - 607 p. ; 24 cm
ISBN 9782747515184


IremOuvrage

fondement des mathématiques ; logique ; philosophie ; récursivité ; arithmétique ; axiomatique ; théorie des nombres ; raisonnement ; prédicat

... 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.

Logo 4 : récursivité, présentation et analyse de situations Dupuis, Claire ; Egret, Marie-Agnès ; Guin, Dominique. -Strasbourg : IREM de Strasbourg , 1990 . - 75 p. ; 30 cm
https://publimath.univ-irem.fr/numerisation/ST/IST90038/IST90038.pdf ;


IremOuvrage

langage Logo ; récursivité ; programmation ; expérimentation ; didactique des mathématiques ; informatique ; enseignement

... 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.

LOGO pour les petits et les grands -Grenoble : IREM de Grenoble , 1989 . - 144 p. 30 cm
https://publimath.univ-irem.fr/numerisation/GR/IGR89001/IGR89001.pdf


IremOuvrage

langage Logo ; activité ; parallélogramme ; récursivité

... 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.

Récursivité et LOGO : préexpérimentation Dupuis, Claire ; Egret, Marie-Agnès ; Guin, Dominique. -Strasbourg : IREM de Strasbourg , 1985 . - 47 p. ; 30 cm


IremOuvrage

récursivité ; langage Logo ; programmation

... 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.

Algorithmique approfondie et structures de données Kuntz, Gérard. -Strasbourg : IREM de Strasbourg , 1985 . - 132 p. ; 30 cm


IremOuvrage

algorithme génétique ; langage Basic ; pascal ; récursivité ; structure de donnée

... 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.

LOGO 1 : le langage Guin, Dominique. -Strasbourg : IREM de Strasbourg , 1984 . - 56 p. ; 30 cm
https://publimath.univ-irem.fr/numerisation/ST/IST84008/IST84008.pdf


IremOuvrage

langage Logo ; programme ; récursivité

... 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.

Vulgarisation mathématique - Vol. 2 Guinot, Marc. -Lyon : IREM de Lyon , 1987 . - 109 p.


IremOuvrage

vulgarisation ; logique ; paradoxe ; fonction ; récursivité

... 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.

Quelques Triangles analogues à celui de Pascal Biasi, Jean de. -Toulouse : IREM de Toulouse , 1980 . - 27 p. ; 30 cm


IremOuvrage

triangle ; pascal ; récursivité ; coefficient

... 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.

Groupe récursivité Didier, F. ; Roussel, Ph.. -Marseille : IREM de Marseille , 1976 . - 41 p. ; 21 cm


IremOuvrage

récursivité ; syntaxe ; langage ; programme ; algorithme génétique

... 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.

Récursivité Carmona, René ; Didier, F.. -Marseille : IREM de Marseille , 1975 . - 85 p. ; 21 cm


IremOuvrage

récursivité ; fonction ; programme ; langage ; notation

... 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.

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

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

Computation and proof theory. Part II : proceedings of the logic colloquium held in Aachen, July 18-23, 1983 Ed. Richter, Michael M. ; Ed. Börger, Egon ; Ed. Oberschelp, Walter ; Ed. Schinzel, Brigitta ; Ed. Thomas, W.. -Berlin : Springer , 1984 . - viii, 475
https://doi.org/10.1007/BFb0099476


MathCongrès

récursivité ; théorie de la preuve ; métathéorie ; logique

... 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.

Mathematical logic in computer science Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland , 1981 . - 758 p. ; 24 cm


MathCongrès

logique ; sémantique ; programmation ; algorithme génétique ; récursivité ; langage algébrique ; calcul parallèle

... 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.

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


MathOuvrage

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

... 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.

Higher recursion theory Sacks, Gerald E.. -Berlin, Heidelberg, New York NY : Springer , 1990 . - xv, 344 p. ; 24 cm
https://projecteuclid.org/ebooks/perspectives-in-logic/volumes


MathOuvrage

récursivité ; hyperarithmétique

... 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.

Classical recursion theory : the theory of functions and sets of natural numbers Odifreddi, Piergiorgio. -Amsterdam : North-Holland , 1989 . - xvii, 668


MathOuvrage

récursivité

... 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.

Techniques of admissible recursion theory Chong, C.T.. -Berlin : Springer , 1984 . - vii, 214
https://doi.org/10.1007/BFb0099164


MathOuvrage

récursivité ; logique

... 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.

Gödel's theorems : a workbook on formalization Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner , 1991 . - 292 p. ; 21 cm


MathOuvrage

intuitionnisme ; logique ; récursivité ; Gödel

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Techniques récursives pour l'identification des séries chronologiques El Wakeel, M.. -Orsay : Département de Mathématique ; Université Paris-Sud , 1980 . - 76


MathThèse

récursivité ; filtrage ; série temporelle

... 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