Information theory answers two fundamental questions in communication theory: What is the ultimate data compression (answer: the entropy H), and what is the ultimate transmission rate of communication (answer: the channel capacity C). For this reaso
David J. C. MacKay's book. The textbook used for the information theory course in Cambridge University. Also an excellent book for machine learning. The special feature of this book is it reveals the relationship between information theory and machi
Table of Contents Fundamental Definitions and Results 1 1 The Priority Method 9 2 Hilbert's Tenth Problem 15 3 The Equivalence Problem for LOOP(1)- and LOOP(2)-Programs 25 4 The Second LBA Problem 37 5 LOGSPACE, Random Walks on Graphs, and Universal
C----------------------------------------------------------------------- program runocc C----------------------------------------------------------------------- c C OCCAM 2.0: Steven Constable IGPP/SIO La Jolla CA 92093-0225 c Program Revision 2.01,
CONTENTS Contents v Preface to the Second Edition xv Preface to the First Edition xvii Acknowledgments for the Second Edition xxi Acknowledgments for the First Edition xxiii 1 Introduction and Preview 1.1 Preview of the Book 2 Entropy, Relative Entr
主要内容如题：多线程，并行和分布式所使用的程序设计 Product Descr iption Foundations of Multithreaded, Parallel, and Distributed Programming covers-and then applies-the core concepts and techniques needed for an introductory course in this topic. The book emphasizes the prac
In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or proce
