Algorithmic information theory / Gregory J. Chaitin.
Series: Cambridge tracts in theoretical computer science ; 1Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987Description: x, 175 p. ; 25 cmISBN: 0521343062Subject(s): Computational complexity | LISP (Computer program language) | Machine theoryDDC classification: 005.1,CHA Online resources: Publisher description | Table of contents
Contents:
Introduction (Page-1), Formalisms For Computation (Page-6), The Arithmetization (Page-7), The Arithmetization Of Register Machines (Page-7), A Version Of Pure LISP (Page-51), The LISP Interpreter EVAL (Page-69), Conceptual Development (Page-91), Program Size (Page-106), Randomness (Page-127), Incompleteness (Page-144).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.1,CHA (Browse shelf) | Link to resource | Available | Almirah No.3, Shelf No.4 | MCS3377 |
Total holds: 0
Introduction (Page-1), Formalisms For Computation (Page-6), The Arithmetization (Page-7), The Arithmetization Of Register Machines (Page-7), A Version Of Pure LISP (Page-51), The LISP Interpreter EVAL (Page-69), Conceptual Development (Page-91), Program Size (Page-106), Randomness (Page-127), Incompleteness (Page-144).
Click on an image to view it in the image viewer
There are no comments on this title.