Algorithmic information theory

Mã QR

Algorithmic information theory

The inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using an information theoretic approach based on the size of computer programs." This slim but highly original (and frequently lively) monograph brings to...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Chaitin, Gregory J.
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cambridge, UK Cambridge University Press 2004
Những chủ đề:	Machine theory,Computational complexity,LISP ( computer program language )
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ữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

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

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Lập trình thiết kế với AutoLISP và Visual LISP; T1
Bỡi: Nguyễn Hữu Lộc
Được phát hành: (2003)

Lập trình thiết kế với AutoLISP và Visual LISP
Bỡi: Nguyễn Hữu Lộc
Được phát hành: (2003)

Structure and interpretation of computer programs
Bỡi: Abelson, Harold
Được phát hành: (1985)

CLISP /
Bỡi: Haible, Bruno.
Được phát hành: (1994)

RLISP 88 :
Bỡi: Marti, Jed
Được phát hành: (1993)

RLISP '88 : an evolutionary approach to program design and reuse /
Bỡi: Marti, Jed.
Được phát hành: (1993)

The autocadet's guide to Visual LISP :
Bỡi: Kramer, Bill
Được phát hành: (2002)

The autocadet's guide to Visual LISP :
Bỡi: Kramer, Bill
Được phát hành: (2002)

Phần mềm bản vẽ 3D thiết kế kiến trúc cầu công tác của công trình Cống trong Autocad :
Bỡi: Cù, Ngọc Thắng
Được phát hành: (2009)

Ứng dụng autolisp lập trình phần mềm bản vẽ 3D thiết kế kiến trúc công trình cầu giao thông trên nền autocad :
Bỡi: Nguyễn, Văn Sơn
Được phát hành: (2013)

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

Artificial intelligence :
Bỡi: Luger, George F.
Được phát hành: (2001)

The elements of artificial intelligence using common LISP /
Bỡi: Tanimoto, S.
Được phát hành: (1990)

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

Cơ sở lý thuyết tính toán =
Bỡi: Hopcroft, J.
Được phát hành: (2003)

Information theory inference and learning algorithms
Bỡi: Mackay, David J. C.
Được phát hành: (2003)

Lập trình thiết kế với AutoLISP và Visual LISP
Bỡi: Nguyễn Hữu Lộc
Được phát hành: (2003)

Chương trình AutoLISP tạo họ đường cong Epitrochoid và Hypotrochoid tích hợp vào Autocad
Bỡi: Nguyễn Độ
Được phát hành: (2015)

Chương trình AutoLISP tạo họ đường cong Epitrochoid và Hypotrochoid tích hợp vào Autocad
Bỡi: Nguyễn Độ
Được phát hành: (2018)

Chương trình AutoLISP tạo họ đường cong Epitrochoid và Hypotrochoid tích hợp vào Autocad
Bỡi: Nguyễn Độ
Được phát hành: (2018)

Introducing the theory of computation
Bỡi: Goddard, Wayne
Được phát hành: (2008)

Hướng dẫn sử dụng Visual Lisp 2007 - Autolisp 2007 : Dành cho người mới bắt đầu /
Bỡi: Lữ Đức Hào, KS.
Được phát hành: (2006)

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)

Data structures and algorithms in Java
Bỡi: Goodrich, Michael T.

Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness.
Bỡi: Shparlinski, Igor E.
Được phát hành: (2003)

Algorithms in Java
Bỡi: Robert Sedgewick
Được phát hành: (2004)

Algorithms in Java
Bỡi: Robert Sedgewick
Được phát hành: (2003)

Discrete structures and automata theory
Bỡi: Dube, Rakesh
Được phát hành: (2006)

Algorithms in C /
Bỡi: Sedgewick, Robert, 1946-
Được phát hành: (1990)

Algorithms in C /
Bỡi: Sedgewick, Robert, 1946-
Được phát hành: (1998)

Practical algorithms for programmers /
Bỡi: Binstock, Andrew.
Được phát hành: (1995)

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
Bỡi: Chaitin, Gregory J.
Được phát hành: (2007)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Data structures, algorithms, and applications in C++
Bỡi: Sartaj Sahni
Được phát hành: (1998)