Leçons sur les fonctions calculables :: SCD d'Orléans

Leçons sur les fonctions calculables

Leçons sur les fonctions calculables

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Uspenskij, Vladimir Andreevič, 1930-2018
Diğer Yazarlar:	Chauvin, André, 1914-2002 (Çevirmen)
Materyal Türü:	Livre papier
Dil:	Français
Baskı/Yayın Bilgisi:	Paris : Hermann DL 1966.
Seri Bilgileri:	Actualités scientifiques et industrielles 1317
Konular:	Fonctions calculables Fonctions récursives
Not:	Traduit du russe, de l'édition de Moscou, cop. 1960
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Computability
Yazar:: Tourlakis, George J., 1946-
Baskı/Yayın Bilgisi: (1984)

Computability
Yazar:: Weihrauch, Klaus, 1943-
Baskı/Yayın Bilgisi: (1987)

Subrecursion : functions and hierarchies
Yazar:: Rose, Harvey Ernest, 1936-
Baskı/Yayın Bilgisi: (1984)

Theory of recursive functions and effective computability
Yazar:: Rogers, Hartley, 1926-2015
Baskı/Yayın Bilgisi: (1967)

Fonctions récursives
Yazar:: Grzegorczyk, Andrzej, 1922-...., philosophe
Baskı/Yayın Bilgisi: (1961)

Computability and unsolvability
Yazar:: Davis, Martin, 1928-2023
Baskı/Yayın Bilgisi: (1958)

Computability and logic
Yazar:: Boolos, George, 1940-1996, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

La machine de Turing
Yazar:: Turing, Alan Mathison, 1912-1954, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Calculabilité effective et algorithmique théorique
Yazar:: Vollat, Patrick
Baskı/Yayın Bilgisi: (1989)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Yazar:: Davis, Martin, 1928-2023, ve diğerleri
Baskı/Yayın Bilgisi: (1965)

Introduction à la calculabilité
Yazar:: Wolper, Pierre, 1955-
Baskı/Yayın Bilgisi: (1991)

Computations in higher types
Yazar:: Moldestad, Johan, 1946-
Baskı/Yayın Bilgisi: (1977)

Computations in higher types
Yazar:: Moldestad, Johan, 1946-

Récursivité
Yazar:: Azra, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (1973)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Yazar:: Goodstein, Reuben Louis, 1912-1985
Baskı/Yayın Bilgisi: (1964)

Calcul différentiel et intégral. Fonctions réelles de plusieurs variables réelles
Yazar:: Douchet, Jacques, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Leçons sur l'intégration et la recherche des fonctions primitives
Yazar:: Lebesgue, Henri, 1875-1941
Baskı/Yayın Bilgisi: (1989)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
Yazar:: Hermes, Hans, 1912-2003
Baskı/Yayın Bilgisi: (1965)

Recursive function theory and logic
Yazar:: Yasuhara, Ann Harris, 1932-2014
Baskı/Yayın Bilgisi: (1971)

Complexité et décidabilité
Yazar:: Dehornoy, Patrick, 1952-2019, mathématicien
Baskı/Yayın Bilgisi: (1993)

Calcul différentiel et intégral. Fonctions réelles de plusieurs variables réelles : [exercices résolus]
Yazar:: Douchet, Jacques, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Fibonacci and related number theoretic tables
Baskı/Yayın Bilgisi: (1972)

Complex analytic geometry
Yazar:: Fischer, Gerd, 1939-
Baskı/Yayın Bilgisi: (1976)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Baskı/Yayın Bilgisi: (1965)

Techniques of Admissible Recursion Theory
Yazar:: Chong, Chi-Tat, 1949-...., mathématicien

Calcul différentiel et intégral
Yazar:: Douchet, Jacques, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Complex analytic geometry
Yazar:: Fischer, Gerd, 1939-

Fonctions d'une variable complexe, calcul opérationnel, théorie de la stabilité
Yazar:: Krasnov, Mihail Leont½evič, 1925-2002, mathématicien, ve diğerleri
Baskı/Yayın Bilgisi: (1985)

Calcul infinitésimal
Yazar:: Dieudonné, Jean, 1906-1992, mathématicien
Baskı/Yayın Bilgisi: (1980)

Calcul infinitésimal
Yazar:: Dieudonné, Jean, 1906-1992, mathématicien
Baskı/Yayın Bilgisi: (1980)

Degrees of unsolvability
Yazar:: Sacks, Gerald, 1933-2019
Baskı/Yayın Bilgisi: (1966)

Approximate calculation of integrals
Yazar:: Krylov, Vladimir Ivanovič, 1902-
Baskı/Yayın Bilgisi: (1962)

Degrees of unsolvability
Yazar:: Shoenfield, Joseph Robert, 1927-2000
Baskı/Yayın Bilgisi: (1971)

Fonctions d'une variable complexe
Yazar:: Garnir, Henri Georges, 1921-1985, ve diğerleri
Baskı/Yayın Bilgisi: (1965)

Limites, fonctions continues, fonctions dérivables : L1, L2, L3 Classes préparatoires
Yazar:: Colin, Jean-Jacques, 1942-, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Étude globale des fonctions : fonctions continues, dérivables, fonctions usuelles, convexité
Yazar:: Alibert, Daniel, 19..-...., professeur de mathématiques
Baskı/Yayın Bilgisi: (2000)

Analyse mathématique. Calcul différentiel et intégral, séries de Fourier, fonctions holomorphes
Yazar:: Godement, Roger, 1921-2016
Baskı/Yayın Bilgisi: (2003)

Random iterative models
Yazar:: Duflo, Marie, 1940-2019, mathématicienne
Baskı/Yayın Bilgisi: (1997)

Calcul différentiel et intégral
Yazar:: Douchet, Jacques, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Calcul des limites : formes indéterminées, développements limités, fonctions négligeables, fonctions équivalentes
Yazar:: Pichon, Jacques, 19..-...., mathématicien
Baskı/Yayın Bilgisi: (1986)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales