Algorithmic information theory

QR kȏd

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...

Spremljeno u:

Bibliografski detalji
Glavni autor:	Chaitin, Gregory J.
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Cambridge, UK Cambridge University Press 2004
Teme:	Machine theory,Computational complexity,LISP ( computer program language )
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Similar Items

Information, randomness & incompleteness : papers on algorithmic information theory /
od: Chaitin, Gregory J.
Izdano: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
od: Chaitin, Gregory J.
Izdano: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
od: Chaitin, Gregory J.
Izdano: (1987)

Visual LISP : a guide to artful programming /
od: Kreiker, Phil.
Izdano: (2000)

Lập trình thiết kế với AutoLISP và Visual LISP; T1
od: Nguyễn Hữu Lộc
Izdano: (2003)

Lập trình thiết kế với AutoLISP và Visual LISP
od: Nguyễn Hữu Lộc
Izdano: (2003)

Algorithmic information theory
od: Gregory J. Chaitin
Izdano: (1987)

Structure and interpretation of computer programs
od: Abelson, Harold
Izdano: (1985)

CLISP /
od: Haible, Bruno.
Izdano: (1994)

Structure and interpretation of computer programs /
od: Abelson, Harold.
Izdano: (1996)

RLISP 88 :
od: Marti, Jed
Izdano: (1993)

RLISP '88 : an evolutionary approach to program design and reuse /
od: Marti, Jed.
Izdano: (1993)

The autocadet's guide to Visual LISP :
od: Kramer, Bill
Izdano: (2002)

The autocadet's guide to Visual LISP :
od: Kramer, Bill
Izdano: (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 :
od: Cù, Ngọc Thắng
Izdano: (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 :
od: Nguyễn, Văn Sơn
Izdano: (2013)

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1998)

Artificial intelligence :
od: Luger, George F.
Izdano: (2001)

Information theory inference and learning algorithms
od: Mackay, David J. C.
Izdano: (2003)

Cơ sở lý thuyết tính toán =
od: Hopcroft, J.
Izdano: (2003)

The elements of artificial intelligence using common LISP /
od: Tanimoto, S.
Izdano: (1990)

Algorithms and Computation
od: Tokuyama, Takeshi
Izdano: (2020)

Algorithms and Computation
Izdano: (2020)

Algorithms and Models for the Web-Graph
od: Bonato, Anthony, i dr.
Izdano: (2020)

Multiobjective Evolutionary Algorithms and Applications
od: Tan, Kay Chen, i dr.
Izdano: (2020)

Introducing the theory of computation
od: Goddard, Wayne
Izdano: (2008)

Computer and Machine Vision: Theory, Algorithms, Practicalities (Fourth Edition)
od: Davies, E.R.
Izdano: (2013)

Algorithmic Learning Theory
od: Jain, Sanjay, i dr.
Izdano: (2020)

Ngôn ngữ lập trình AutoLISP căn bản và ứng dụng /
od: Nguyễn Quang Huy.
Izdano: (1999)

Algorithms and Computation
od: Deng, Xiaotie, i dr.
Izdano: (2020)

Introduction to languages and the theory of computation
od: John Martin
Izdano: (2003)

Introduction to languages and the theory of computation
od: Martin, John C.

Introduction to languages and the theory of computation
od: Martin, John C.

Introduction to languages and the theory of computation /
od: Martin, John C.
Izdano: (2011)

Information, randomness & incompleteness : papers on algorithmic information theory /
od: Chaitin, Gregory J
Izdano: (1987)

Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness.
od: Shparlinski, Igor E.
Izdano: (2003)

Introducing Algorithms in C
od: Manelli, Luciano
Izdano: (2020)

Spatially Structured Evolutionary Algorithms
od: Tomassini, Marco
Izdano: (2020)

Logic, Language, Information and Computation
Izdano: (2020)

Logic, Language, Information and Computation
od: Leivant, Daniel, i dr.
Izdano: (2020)