Cargando…

Computability theory: an introduction

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Jones, Neil D.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, Academic Press, 1973.
Colección:	ACM monograph series.
Temas:	Recursive functions. Turing machines. Computable functions. Fonctions r�ecursives. Machines de Turing. Fonctions calculables. Computable functions Recursive functions Turing machines Berechenbarkeit Computer Theorie Turing, Machines de. Mathematics > Recursive functions > Computability theory
Acceso en línea:	Texto completo

Ejemplares similares

Recursive functionals /
por: Sanchis, Luis E.
Publicado: (1992)

Degrees of unsolvability /
por: Shoenfield, Joseph Robert
Publicado: (1971)

Recursive analysis /
Publicado: (1961)

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

Formal systems and recursive functions /
Publicado: (1965)

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Publicado: (1974)

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Publicado: (1971)

Computability and logic.
por: Boolos, George
Publicado: (2007)

Stochastic processes : estimation, optimization, & analysis /
Publicado: (2004)

Minimal weak truth table degrees and computably enumerable Turing degrees /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

Computability and logic.
por: Boolos, George
Publicado: (2002)

Handbook of computability theory /
Publicado: (1999)

Computational complexity : a conceptual perspective /
por: Goldreich, Oded
Publicado: (2008)

Formalized recursive functionals and formalized realizability /
por: Kleene, Stephen Cole, 1909-1994
Publicado: (1969)

Aritmetica pitagorica y el triangulo de pascal : una iniciacion al pensamiento recursivo.
Publicado: (2018)

Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000)

Recursive algorithms /
por: Lorentz, Richard
Publicado: (1994)

Hierarchies of predicates of finite types /
por: Clarke, D. A. (Douglas Albert)
Publicado: (1964)

The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941)

Recursive identification and parameter estimation /
por: Chen, Hanfu, et al.
Publicado: (2014)

Turing y el ordenador en 90 minutos /
por: Strathern, Paul, 1940-
Publicado: (2014)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
por: Lombardi, Henri
Publicado: (1920)

Degrees of unsolvability /
por: Gerald E. Sacks
Publicado: (1066)

Theory of formal systems /
por: Smullyan, Raymond M. (Raymond Merrill)
Publicado: (1961)

Analytic properties of automorphic L-functions /
por: Gelbart, Stephen S., 1946-
Publicado: (1988)

Minimal degrees of unsolvability and the full approximation construction /
por: Epstein, Richard L., 1947-
Publicado: (1975)

Computability theory : an introduction to recursion theory /
por: Enderton, Herbert B.
Publicado: (2011)

Recursive methods in economic dynamics /
por: Stokey, Nancy L., et al.
Publicado: (1989)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

La catedral de Turing : los orígenes del universo digital /
por: Dyson, George, 1953-
Publicado: (2015)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

Recursive identification and parameter estimation /
por: Chen, Hanfu, et al.
Publicado: (2014)

The selected works of A.M. Turing : his work and impact /
por: Cooper, S. B. (S. Barry)
Publicado: (2012)

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Publicado: (1978)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin, 1928-2023
Publicado: (1983)

Theory of approximation of functions of a real variable /
por: Timan, A. F. (Aleksandr Filippovich)
Publicado: (1963)

Solutions manual for Recursive methods in economic dynamics /
por: Irigoyen, Claudio
Publicado: (2002)

Introduction to abstract mathematics
por: Bick, T. A. (Theodore A.), 1930-
Publicado: (1971)

Generatingfunctionology /
por: Wilf, Herbert S., 1931-2012
Publicado: (1994)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Publicado: (1977)

Cannot write session to /tmp/vufind_sessions/sess_g56n3pt1bmnpslvt9tf0csu5vn