Значок книги

Computability and unsolvability

Показать другие версии (1)

Сохранить в:

Библиографические подробности
Главный автор:	Davis, Martin (Автор)
Формат:	‌
Язык:	английский
Опубликовано:	Nueva York McGraw-Hill 1958
Предметы:	INSOLUBILIDAD LOGICA MATEMATICA FUNCIONES RECURSIVAS FUNCIONES COMPUTABLES
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Computability and unsolvability
по: Davis, Martin
Опубликовано: (1982)

Computations in higher types
по: Moldestad, Johan
Опубликовано: (1977)

Degrees of unsolvability: structure and theory
по: Epstein, Richard L
Опубликовано: (1979)

Mathematical Logic
по: Monk, James Donald
Опубликовано: (1976)

Theory of computation
по: Brainerd, Walter S, и др.
Опубликовано: (1974)

Enumerability, decidability, computability: an introduction to the theory of recursive functions
по: Hermes, Hans
Опубликовано: (1969)

Solved problems: Gamma and Beta functions, legendre polynomials, Bessel functions
по: Farrell, Orin J, и др.
Опубликовано: (1963)

Graphs and digraphs
по: Chartrand, Gary, и др.
Опубликовано: (2011)

Análisis matemático en el campo de funciones racionales
по: Shilov, G. E
Опубликовано: (1984)

Theory and application of Mathieu functions
по: McLachlan, Norman William
Опубликовано: (1964)

Los principios de la matemática
по: Russell, Bertrand
Опубликовано: (1948)

Introduction to the arithmetic theory of automorphic functions
по: Shimura, Goro
Опубликовано: (1971)

Green's functions with applications
по: Duffy, Dean G
Опубликовано: (2001)

System BIOS for IBM PC-XT-AT: computers and compatibles
Опубликовано: (1989)

Elements of the theory of functions and functional analysis
по: Kolmogórov, Andréi Nikolaevich, и др.
Опубликовано: (1957)

Algebra y trigonometría con geometría analítica
по: Goodman, Arthur, и др.
Опубликовано: (1996)

Theory construction: from verbal to mathematical formulations
по: Blalock, Hubert M
Опубликовано: (1969)

La noción de función: análisis epistemológico y didáctico
по: Ruiz Higueras, Luisa
Опубликовано: (1998)

Special functions and their applications
по: Lebedev, N. N
Опубликовано: (1972)

Sur l'enseignement de l'analyse
по: Barra, Raymond, и др.
Опубликовано: (1976)

Precalculus: enhanced with graphing utilities
по: Sullivan, Michael
Опубликовано: (2003)

Circular and hyperbolic functions, exponential and sine and cosine integrals, factorial function, allied functions, hermitian probability functions
Опубликовано: (1951)

Análisis funcional: teoría y aplicaciones
по: Brezis, Haim
Опубликовано: (1984)

Algebra superior moderna
по: Vance, Elbridge Putnam
Опубликовано: (1962)

Estructuras matemáticas finitas
по: Kemeny, John G, и др.
Опубликовано: (1970)

The Lanczos and conjugate gradient algorithms: from theory to finite precision computations
по: Meurant, Gérard
Опубликовано: (2006)

Applied boolean algebra: an elementary introduction
по: Hohn, Franz E
Опубликовано: (1966)

Cálculo integral: metodología y problemas
по: Coquillat, Fernando
Опубликовано: (1999)

Introduction to Arakelov theory
по: Lang, Serge
Опубликовано: (1988)

Cálculo diferencial
по: Fuenlabrada de la Vega Trucíos, Samuel
Опубликовано: (2001)

Finite mathematical structures
по: Kemeny, John G, и др.
Опубликовано: (1959)

Variable compleja y aplicaciones
по: Churchill, Ruel Vance, и др.
Опубликовано: (1992)

Análise real
по: Lima, Elon Lages
Опубликовано: (2013)

Análise real
по: Lima, Elon Lages
Опубликовано: (2013)

Fuchsian groups
по: Katok, Svetlana
Опубликовано: (1992)

Calculus with applications and computing
по: Lax, Peter D, и др.
Опубликовано: (1976)

Multivariable calculus
по: McCallum, William G., и др.
Опубликовано: (1997)

Multivariable calculus
по: Stewart, James
Опубликовано: (2012)

Proceedings of the Summer School in Logic Leeds, 1967
Опубликовано: (1968)

Cálculo diferencial de varias variables
по: Fernández Pérez, Carlos, и др.
Опубликовано: (2002)