Thinking about Gödel and Turing : essays on complexity 1970-2007 /

Mã QR

Thinking about Gödel and Turing : essays on complexity 1970-2007 /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Chaitin, Gregory J.
Định dạng:	Sách giấy
Được phát hành:	Hackensack, N.J. : World Scientific, c2007.
Những chủ đề:	Computational complexity. Gödel's theorem. Incompleteness theorems. Logic, Symbolic and mathematical. Metamathematics.
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ự

Algorithmic information theory
Bỡi: Gregory J. Chaitin
Được phát hành: (1987)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Bỡi: van Atten, Mark
Được phát hành: (2015)

An introduction to Gödel's Theorems
Bỡi: Smith, Peter
Được phát hành: (2013)

Godel,escher,bach :
Bỡi: Hofstadter, Douglas R.
Được phát hành: (1980)

A Problem Course in Mathematical Logic
Bỡi: Bilaniuk, Stefan
Được phát hành: (2010)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành: (2001)

Định lý Godel Nền tảng của khoa học nhận thức hiện đại
Bỡi: Phạm, Việt Hưng
Được phát hành: (2019)

Markov or non-Markov property of cM-X processes /
Bỡi: Matsumoto, Hiroyuki.

On the robust stability of characteristic polynomials with multilinear coefficients /
Bỡi: Pujara, L. R.

Mathematical Statistics and Limit Theorems
Bỡi: Hallin, M, et al.
Được phát hành: (2015)

The fifth postulate
Bỡi: Jason Socrates Bardi
Được phát hành: (2009)

Limit theorems of probability theory : sequences of independent random variables.
Bỡi: Petrov, V. V.
Được phát hành: (1995)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Bỡi: Banerjee, Mohua, et al.
Được phát hành: (2015)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Elements of the theory of computation /
Bỡi: Lewis, Harry R.
Được phát hành: (1998)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1997)

Các bài toán về suy luận logic
Bỡi: Trần, Diên Hiển
Được phát hành: (2000)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng Huy Ruận

An introduction to symbolic logic
Bỡi: Langer, Susanne Katherina
Được phát hành: (1953)

Cơ sở toán trong lập trình
Bỡi: Đỗ Đức Giáo
Được phát hành: (1998)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1999)

Một số vấn đề về thuật toán
Bỡi: Nguyễn, Hữu Điển
Được phát hành: (2006)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Logic
Được phát hành: (1980)

Weighted deformation theorem for normal currents /
Bỡi: Takamura, Hiroyuki.

On Massera's theorem for anti-periodic solution /
Bỡi: Chen, Y. Q.

A general bound for the limiting distribution of Breitung's statistic : Notes and problems /
Bỡi: Davidson, James.

A free boundary problem for the hydration of tricalcium silicate /
Bỡi: Poggiolini, Laura.

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Bỡi: Koslow, Arnold, et al.
Được phát hành: (2015)

Applications of Polyas theorem to distribution problems and partitions of integers /
Bỡi: Longani, V.

Toán rời rạc ứng dụng trong tin học =
Bỡi: Rosen, Kenneth H.
Được phát hành: (2002)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

On holomorphic mappings of complex manifolds with ball model /
Bỡi: Shiga, Hiroshige.

Transition to higher mathematics :
Bỡi: Dumas , Bob A.
Được phát hành: (2007)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Polynomials and vanishing cycles /
Bỡi: Tibăr, Mihai-Marius, 1960-
Được phát hành: (2007)