Cargando…

Introducción a la teoría de la computabilidad /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Gallardo López, Domingo
Otros Autores:	Arques Corrales, Pilar, Lesta Pelayo, Ignacio
Formato:	Electrónico eBook
Idioma:	Español
Publicado:	San Vicente del Raspeig : Publicaciones de la Universidad de Alicante, 2003.
Edición:	2. ed. rev y ampl.
Colección:	Textos docentes (Alicante, Spain).
Temas:	Computable functions. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

Introducción a la teoría de la computabilidad /
por: Gallardo López, Domingo
Publicado: (2003)

Theory of computation /
por: Tourlakis, George J.
Publicado: (2012)

Computability Theory and Its Applications : Current Trends and Open Problems.
por: Cholak, Peter A.
Publicado: (2000)

Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
Publicado: (2014)

Effective mathematics of the uncountable /
por: Greenberg, Noam, 1974-, et al.
Publicado: (2013)

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

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

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)

Handbook of computability theory /
Publicado: (1999)

Logic and Computation
Publicado: (1990)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

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

Computability in analysis and physics /
por: Pour-El, Marian B. (Marian Boykan), 1928-, et al.
Publicado: (2016)

Computability in context : computation and logic in the real world /
Publicado: (2011)

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

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

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

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

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

Computation and automata /
por: Salomaa, Arto
Publicado: (1985)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling /
por: Goldman, Ron, 1947-
Publicado: (2003)

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

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science.
por: Loveland, Donald W.
Publicado: (2014)

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)

Recursive analysis /
Publicado: (1961)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
por: Zalamea Traba, Fernando, 1959-
Publicado: (2010)

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús Antonio
Publicado: (2023)

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús, et al.
Publicado: (2023)

Introducción a la lógica Matemática
por: Tinoco del Valle, Jesús
Publicado: (2023)

Introducción a la filosofía matemática
por: Russell, Bertrand, 1872-1970
Publicado: (1988)

Formal systems and recursive functions /
Publicado: (1965)

Una introducción matemática a la lógica
por: Enderton, Herbert B.
Publicado: (1987)

Introducción a la lógica y a la metodología de las ciencias deductivas /
por: Tarski, Alfred
Publicado: (1951)

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

Computabilidad, complejidad computacional y verificación de programas /
por: Rosenfeld, Daniel Ricardo
Publicado: (2013)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
por: Campos, Alberto
Publicado: (2008)

Introducción a la teoría analítica de números /
por: Apostol, Tom M.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_g73k1ubqvn7u4ecjs7uks7r8ve