经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
惡童當街(02) 书籍
经典好书《惡童當街(02)》读书内容简介: 世紀末的日本,在一個奇妙的城市中,有兩個被稱為「貓」的少年:小黑與小白。他們為求生存偷搶拐騙無所不來,無法無天的行徑令大人們頭痛不已……。有一天,和小黑結怨的大尾流氓[老鼠]回來了,為了保護自己的城市,惡童們不惜以暴力為手段,展開一場「貓抓老鼠」的遊戲……。作者简介详情
萌后駕到1·當米蟲 书籍
经典好书《萌后駕到1·當米蟲》读书内容简介:/p>老公不愛她,婆婆超難搞,還有一堆小妾來湊熱鬧!?哈哈,別擔心,別氣餒──來自21世紀的「萌后」,即將大顯身手,保管──老公對她愛不釋手,婆婆對她五體投地,小妾對她俯首稱臣……孝莊太后...详情
當生命陷落時 书籍
经典好书《當生命陷落時》读书内容简介:丘卓自從一九七四年持戒以來,就常常在歐洲、澳洲、北美主持工作坊、講座、冥思避靜;佩瑪.丘卓目前是甘波修道院院長,也是創巴仁波切傳襲下來的住持。除了本書外,佩瑪.丘卓並曾和普力茲獎作家愛麗絲.華克就冥想經驗出版一個對談實況錄音。
</p...详情
经典好书《控制力:麻省理工学院的经典理论》读书内容简介:数学家诺伯特•维纳的代表作。在《控制力:麻省理工学院的经典理论》中,作者为研究社会提供了一个新方法和一个新观点,还为我们描述出一个未来社会的新景样,并警示在社会中将会出现的问题及其解决方法。维纳在书为读者阐述了两个观点,一是在目前的社会中人们只能通过...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《整理的艺术4:升职从整理开始》读书内容简介:了!修炼外语技能│应对资格考试│规划职业生涯为职场人量身打造风靡日本的超高效职场学习法,“穷忙族”“月光族”“草莓族”翻身必备本书将帮你打造完美的——〖学习工具〗手机、耳机、MP3、录音笔,不起...详情
经典好书《产品经理进化论:AI+时代产品经理的思维方法》读书内容简介:法》以人工智能时代产品经理的思维与方法为主线,讲述了产品经理在人工智能浪潮中,从一般的互联网产品的产品经理升级到 AI+产品的产品经理应该思考的问题,应该具有的产品感知,以及在产品中嵌入 AI 时应该如何解决问题。第一部分主要讲述人工智能时代产品经理...详情
當代中國農村歷滄桑 书籍
经典好书《當代中國農村歷滄桑》读书内容简介: 陈佩华 (Anita Chan),澳洲国立大学高级研究员赵文词 (Richard Madsen),美国加州大学圣地亚哥分校社会学教授安戈 (Jonathan Unger),澳洲国立大学当代中国研究中心主任、教授作者简介详情