Asimov's New Guide to Science 作者:Isaac Asimov 出版社: Penguin (1993年5月27日) 丛书名: Penguin Press Science 平装: 896页 语种: 英语 ISBN: 0140172130 条形码: 9780140172133 商品尺寸: 12.9 x 3.8 x 19.8 cm 商品重量: 540 g 本书是一部全面介绍人类以科学的方法为工具,努力探索宇宙奥秘的科普著作。其内容涵盖了物理科学、生物科学及各个分支的发展状况和所取得的成就,阐述了各门学科之间的相互渗透和交叉。 本书作者阿西莫夫早在本世纪50年代就以创作撰写科幻小说和科普读物而蜚声文坛。他那非凡的驾驭语言和概念能力,不断对虚构世界和真实世界的新探索,以及他所取得的成就和名望,为他的作品赢得了广大的读者。 内容简介 Asimov tells the stories behind the science: the men and women who made the important discoveries and how they did it. Ranging from Galile
Structural proof theory is a branch of logic that studies thegeneral structure and properties of logical and mathematicalproofs. This book is both a concise introduction to the centralresults and methods of structural proof theory, and a work ofresearch that will be of interest to specialists. The book isdesigned to be used by students of philosophy, mathematics andcomputer science. The book contains a wealth of results onproof-theoretical systems, including extensions of such systemsfrom logic to mathematics, and on the connection between the twomain forms of structural proof theory - natural deduction andsequent calculus. The authors emphasize the computational contentof logical results. A special feature of the volume is acomputerized system for developing proofs interactively,downloadable from the web and regularly updated.
Editor Max Brockman introduces the work of some of today’sbrightest and most innovative young scientists in this fascinatingand exciting collection of writings that describe the veryboundaries of our knowledge. Future Science features nineteen young scientists, most of whomare presenting their innovative work and ideas to a generalaudience for the first time. Featured in this collection areWilliam McEwan (son of the novelist), a virologist, discussing hisresearch into the biology of antiviral immunity; Naomi Eisenberger,a neuroscientist, wondering how social rejection affects usphysically; Jon Kleinberg, a computer scientist, showing whatmassive datasets can teach us about society and ourselves; andAnthony Aguirre, a physicist, who gives readers a tantalizingglimpse of infinity.
Rental housing subsidy programmes have been an important partof the American welfare system since the 1930s. The Benefits ofSubsidized Housing Programs: An Intertemporal Approach is anempirical study of the distributive effects of the entire system ofrental housing subsidies for lower-income households based on anational sample. Using the 1977 Annual Housing Survey, ProfessorHammond has evaluated the benefits of all federal, state and localgovernment rental housing subsidy programmes taken as a wholeacross the nation. Additionally, she has estimated the changes inconsumption patterns resulting from these programmes and therelationship between household benefit and household income;household size; age, education, sex, and race of the head of thehousehold; and the geographic location of the household.