Computability & unsolvability /

Mã QR

Computability & unsolvability /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Davis, Martin, 1928-
Định dạng:	Sách giấy
Được phát hành:	New York : Dover, 1982
Phiên bản:	Dover ed
Loạt:	McGraw-Hill series in information processing and computers
Những chủ đề:	Computable functions Recursive functions. Unsolvability (Mathematical logic)
Truy cập trực tuyến:	Table of contents Publisher description
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Robot dynamics algorithms
Bỡi: Featherstone, Roy
Được phát hành: (1987)

Set theory and the continuum hypothesis /
Bỡi: Cohen, Paul J., 1934-2007.
Được phát hành: (1966)

Introduction to languages and the theory of computation /
Bỡi: Martin, John C.
Được phát hành: (1997)

Beyond two : theory and applications of multiple-valued logic /
Được phát hành: (2003)

Gesammelte mathematische Werke und wissenschaftlicher Nachlass /
Bỡi: Riemann, Georg Friedrich Bernhard, 1826-1866. [from old catalog]
Được phát hành: (1953)

Introduction to languages and the theory of computation
Bỡi: John Martin
Được phát hành: (2003)

Introduction to languages and the theory of computation
Bỡi: Martin, John C.

Introduction to languages and the theory of computation
Bỡi: Martin, John C.

Introduction to languages and the theory of computation /
Bỡi: Martin, John C.
Được phát hành: (2011)

Green's functions and ordered exponentials
Bỡi: Fried, H. M.
Được phát hành: (2002)

An Introduction to Modern Analysis
Bỡi: Montesinos, Vicente, et al.
Được phát hành: (2015)

Tuyển tập toán cấp 3
Bỡi: Nguyễn Thế Hùng
Được phát hành: (1982)

Toán chuyên đề: Hàm đặc biệt, biến đổi Laplace, giải tích Fourrier, phương trình đạo hàm riêng
Bỡi: PHAN QUỐC KHÁNH
Được phát hành: (2000)

Giải tích hàm một biến
Bỡi: Nguyễn, Cam
Được phát hành: (2000)

Giải tích hàm một biến
Được phát hành: (2003)

A Course on Topological Vector Spaces
Bỡi: Voigt, Jürgen
Được phát hành: (2020)

Theory of Function Spaces IV
Bỡi: Triebel, Hans
Được phát hành: (2020)

Orthogonal Polynomials
Bỡi: Foupouagnigni, Mama, et al.
Được phát hành: (2020)

Introductory real analysis /
Bỡi: Kolmogorov, A. N. 1903-1987.
Được phát hành: (1975)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Được phát hành: (2001)

Theory of Semigroups and Applications. 1st ed. 2017
Bỡi: Sinha, Kalyan B., et al.
Được phát hành: (2020)

A unified approach to uniqueness, expansion, and approximation problems /
Bỡi: Chang, Chiu-Cheng.
Được phát hành: (1994)

Boundary behavior of holomorphic functions of several complex variables /
Bỡi: Stein, Elias M., 1931-
Được phát hành: (1972)

Computer-assisted investigations on functional equations and convexity
Bỡi: Tô, Lan Nhi
Được phát hành: (2025)

Phương trình hàm
Bỡi: Nguyễn Văn Mậu
Được phát hành: (1997)

Applied functional analysis : applications to mathematical physics.
Bỡi: Zeidler, Eberhard.
Được phát hành: (1995)

Finite dimensional convexity and optimization /
Bỡi: Florenzano, Monique.
Được phát hành: (2001)

Differential Equations. 2nd ed. 2017
Bỡi: Constanda, Christian
Được phát hành: (2020)

Elementary Analysis. 2nd ed.
Bỡi: Ross, Kenneth A.
Được phát hành: (2020)

Trigonometric Sums and Their Applications
Bỡi: Raigorodskii, Andrei, et al.
Được phát hành: (2020)

Quaternionic de Branges Spaces and Characteristic Operator Function
Bỡi: Alpay, Daniel, et al.
Được phát hành: (2020)

Functions modeling change :
Được phát hành: (2000)

Precalculus
Bỡi: Faires, J. Douglas
Được phát hành: (2007)

Precalculus
Bỡi: Moran, Judith
Được phát hành: (2003)

Essentials of precalculus
Bỡi: Aufmann, Richard N.
Được phát hành: (2006)

Precalculus concepts in context
Bỡi: Moran, Judith Flagg
Được phát hành: (2003)

Functions modeling change : a preparation for calculus /
Được phát hành: (2000)

Lý thuyết hàm số biến phức
Bỡi: Trần Anh Bảo
Được phát hành: (1978)

Nhập môn giải phức
Bỡi: Nguyễn Hữu Anh
Được phát hành: (1999)