Documents

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

London Mathematical Society lecture note series

Cote : DRAKE r
ISBN/ISSN : 0-521-23543-X

fonction récursive ; récurrence

... Lire [+]

Sélection

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

Studies in logic and the foundations of mathematics

Cote : BARWISE k
ISBN/ISSN : 0-444-85345-6

analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(537)
ISBN/ISSN : 3-540-07856-8

ensemble ; fonction récursive ; modèle

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(70)

algèbre de Lukasiewicz ; fonction récursive ; logique ; preuve

... Lire [+]

Sélection

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

Proceedings of symposia in pure mathematics

Cote : M/A5(5)

fonction récursive

... Lire [+]

Sélection

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

V

Mathématiques & applications

Cote : M/A25(12)
ISBN/ISSN : 2-287-00416-5

calcul booléen ; complexité ; décidabilité ; fonction récursive ; machine de Turing ; machine universelle ; simulation d'algorithme

... Lire [+]

Sélection

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

V

Lecture notes in mathematics

Cote : M/A1(574)
ISBN/ISSN : 3-540-08132-1

fonction récursive

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(162)
ISBN/ISSN : 0-8218-1862-7

fonction récursive ; logique ; mathématique constructive

... Lire [+]

Sélection

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

V

Computer science and applied mathematics

Cote : YASUHARA r
ISBN/ISSN : 0-12-768950-8

fonction récursive ; logique

... Lire [+]

Sélection

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

V

Cote : MALCEV a
ISBN/ISSN : 9-00-157070-4

algorithme ; fonction récursive ; machine de Turing

... Lire [+]

Sélection

Documents fonction récursive 11 résultats

Recursion theory : its generalisartions and applications Drake, Frank Robert ; Wainer, S. S. | Cambridge university press 1980 Nouveau

The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth | North-Holland 1980 Nouveau

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski Marek, W. ; Srebrny, Marian ; Zarach, A. ; Mostowski, Andrej | Springer 1976 Nouveau

Proceedings of the summer school in logic Leeds 1967 Löb, M. H. | Springer 1968 Nouveau

Recursive function theory Dekker, J. C. E. | AMS 1962 Nouveau

Complexité et décidabilité Dehornoy, P. | Springer 1993 Nouveau

Computations in higher types Moldestad, Johan | Springer 1977 Nouveau

Minimal degrees of unsolvability and the full approximation construction Epstein, Richard L. | AMS 1975 Nouveau

Recursive function theory and logic Yasuhara, Ann | Academic Press 1971 Nouveau

Algorithms and recursive functions Mal'cev, A. I. ; Boron, Leo F. ; Sanchis, Luis E. ; Stillwell, John ; Iseki, Kiyoski | Wolters-Noordhoff 1970 Nouveau