经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
论特权 第三等级是什么? 书籍
经典好书《论特权 第三等级是什么?》读书内容简介:,是法国大革命时期著名法学家、政治思想家西耶斯的代表作。《论特权》集中揭露了特权阶级的垄断性和寄生性,以及特权的弊端给国家社会带来的危害。《第三等级是什么?》着重回答了三个问题;第三等级是什么?是一切,是整个国家;第三等级在政治秩序中的地位是什么?什...详情
甜与权力 书籍
经典好书《甜与权力》读书内容简介:类学经典作品,西敏司娓娓道来的是糖这件平常事物身后奇妙而非同寻常的历史。聚焦于工业化早期的英格兰以及美洲加勒比殖民地的甘蔗种植园,西敏司把糖的命运讲述得格外深刻而不乏趣味。书中我们看到了糖从一件奢侈品化身为工业化生产之商品的过程,在这个过程中它密切地...详情
暗算 书籍
经典好书《暗算》读书内容简介:电侦听与密码破译的作品,本书纵横三十年代,五十年代和六十年代,将间谍战,密码战,无线电战听熔为一炉,穿插亲情,爱情,革命事业情,超能力者,数学天才,革命志士轮番登场,绝地厮杀。 本书叙述了钱之江、安在天父子可歌可泣的一生。父亲钱之...详情
暗算 书籍
经典好书《暗算》读书内容简介:自己的二十五万元稿费捐献给中国作家协会,作为基金,设立一个长篇小说奖,奖励每年最优秀的长篇小说。是为茅盾文学奖的缘起。其后二十多年中,这一中国当代文学的最高奖项一直备受关注,影响甚巨。我社自一九九八年春出版“茅盾文学奖获奖书系”,先后收入在我社出版并...详情
传统中国地权结构及其演变 书籍
经典好书《传统中国地权结构及其演变》读书内容简介:交通大学历史系教授、系主任。研究领域为移民史与人口史、疾病史、社会经济史与中国当代史。著有《中国移民史》第五、六卷(1997),《中国人口史》第四、五卷(2000、2001),《鼠疫:战争与和平——1320—1960年中国的环境与社会变迁》(2006...详情
人权论要 书籍
经典好书《人权论要》读书内容简介:被尊称为当代中国“法治三老”之一。 郭道晖出身世代书香之家,1947年考入清华大学电机系,1948年加入中国共产党,从事地下革命活动。 曾任中共清华大学电机系党支部副书记、清华大学理工学院党支部委员和校党委委员、宣传部副部长。 1951年毕业后留校,...详情
权力的媒介 书籍
经典好书《权力的媒介》读书内容简介:开层层论述,深入考察了欧美新闻事业的演变发展以及新闻观点的产生变化,探讨了当今世界新闻传播领域的重大问题。作者简介(美)J.赫伯特.阿特休尔, 为美国印第安那大学新闻学院的阿特休尔教授,作者中学时即成为一名年轻的实习记者,...详情
這樣算是討厭嗎? (全) 书籍
经典好书《這樣算是討厭嗎? (全)》读书内容简介:系列」不良少年×副會長篇終於登場囉!高潔的學生會副會長‧幸村之前那段荒唐、不為人知的過去,只有被學生會視為眼中釘、從小和他一起長大的東雲知道。怕過往曝光的幸村是否會接受東雲那令人丟人現眼的約定呢……!?這集主要是東雲×幸村,不過,當然還...详情
這樣算是戀愛嗎? 书籍
经典好书《這樣算是戀愛嗎?》读书内容简介:係後,高潔的學生會副會長‧幸村每天都被東雲耍著玩。夜深人靜時東雲會鑽進他的床、在圖書室被索吻…… 因為厭惡無法冷靜的自己,而想採用冷處理的方式遠離東雲,怎知…… 這招反而出現了反效果……!!副會長終於被攻陷了……!? 超人...详情