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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Chaitin, Gregory J.
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	Hackensack, N.J. : World Scientific, c2007.
Konular:	Computational complexity. Gödel's theorem. Incompleteness theorems. Logic, Symbolic and mathematical. Metamathematics.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Algorithmic information theory
Yazar:: Gregory J. Chaitin
Baskı/Yayın Bilgisi: (1987)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Yazar:: van Atten, Mark
Baskı/Yayın Bilgisi: (2015)

An introduction to Gödel's Theorems
Yazar:: Smith, Peter
Baskı/Yayın Bilgisi: (2013)

Godel,escher,bach :
Yazar:: Hofstadter, Douglas R.
Baskı/Yayın Bilgisi: (1980)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Baskı/Yayın Bilgisi: (2001)

A Problem Course in Mathematical Logic
Yazar:: Bilaniuk, Stefan
Baskı/Yayın Bilgisi: (2010)

Định lý Godel Nền tảng của khoa học nhận thức hiện đại
Yazar:: Phạm, Việt Hưng
Baskı/Yayın Bilgisi: (2019)

Markov or non-Markov property of cM-X processes /
Yazar:: Matsumoto, Hiroyuki.

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

Mathematical Statistics and Limit Theorems
Yazar:: Hallin, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
Yazar:: Solow, Daniel.
Baskı/Yayın Bilgisi: (1990)

The fifth postulate
Yazar:: Jason Socrates Bardi
Baskı/Yayın Bilgisi: (2009)

Limit theorems of probability theory : sequences of independent random variables.
Yazar:: Petrov, V. V.
Baskı/Yayın Bilgisi: (1995)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar:: Banerjee, Mohua, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1998)

Convergence of formal morphisms of completions of complex spaces /
Yazar:: Izumi, Shuzo.

Logic toán
Yazar:: S L Edenmar
Baskı/Yayın Bilgisi: (1981)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1997)

Các bài toán về suy luận logic
Yazar:: Trần, Diên Hiển
Baskı/Yayın Bilgisi: (2000)

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

An introduction to symbolic logic
Yazar:: Langer, Susanne Katherina
Baskı/Yayın Bilgisi: (1953)

Cơ sở toán trong lập trình
Yazar:: Đỗ Đức Giáo
Baskı/Yayın Bilgisi: (1998)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1999)

Một số vấn đề về thuật toán
Yazar:: Nguyễn, Hữu Điển
Baskı/Yayın Bilgisi: (2006)

Bảy phương pháp giải các bài toán logic
Yazar:: Đặng, Huy Ruận
Baskı/Yayın Bilgisi: (2002)

Logic
Baskı/Yayın Bilgisi: (1980)

Weighted deformation theorem for normal currents /
Yazar:: Takamura, Hiroyuki.

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

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

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

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Yazar:: Koslow, Arnold, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

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

Toán rời rạc ứng dụng trong tin học =
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2002)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

On holomorphic mappings of complex manifolds with ball model /
Yazar:: Shiga, Hiroshige.

Polynomials and vanishing cycles /
Yazar:: Tibăr, Mihai-Marius, 1960-
Baskı/Yayın Bilgisi: (2007)

Polynomials and vanishing cycles /
Yazar:: Tibăr, Mihai-Marius, 1960-
Baskı/Yayın Bilgisi: (2007)