经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
放學後的幽靈 书籍
经典好书《放學後的幽靈》读书内容简介:前往理科室拍照片,但理科室竟然出現一名自稱幽靈的男學生相良,他很中意進士,於是威脅進士若不再來見他,就會詛咒進士。進士出於無奈只好答應,結果他與相良之間的相處竟越來越自然?某天,相良表示自己即將消失,還吻了進士。本以為緣分到此為止,結果卻出現意外的發...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
給青年科學家的信 书籍
经典好书《給青年科學家的信》读书内容简介:p>美國當代重要生物學家,《社會生物學:新綜合理論》作者愛德華•奧斯本•威爾森2013年最新暢銷書將六十年學思歷程化為二十篇給所有年輕人的書信讓讀者全面而深入地了解科學之路的挑戰與樂趣。無論是有...详情
給青年數學家的信 书籍
经典好书《給青年數學家的信》读书内容简介:學研究者、《美國科學》(Scientific American)前專欄作家、沃維克 (Warwick)大學的數學中心主任,還寫了五十多本書,內容從尖端數學到猜謎遊戲到科幻小說不等。本書告訴讀者,作者希望自己在學生時代就能領悟哪些道理。書...详情
经典好书《津巴多普通心理学(原书第7版DSM-5升级版美国名校学生喜爱的心理学教材)》读书内容简介:G. Zimbardo)斯坦福大学教授,他在那里教授了50年心理学入门课程,过去35年里一直在编写该课程的基础教材、教师指南和学生练习手册。他多年以来一直致力于将心理学知识传播给大众,其重要贡献包括制作并主持广为传播的纪录片《探索心理学...详情
東亞儒學史的新視野 书籍
经典好书《東亞儒學史的新視野》读书内容简介:篇論文集結而成。內容上大致可歸屬兩大範疇:一是關於東亞儒學經典詮釋傳統的探討,二是關於中國思維方式,尤其是對「身體」思維的研究。形式結構上則分為三部份,第一部份由四篇論文組成〈儒學史的新視野〉單元,第二部份〈日本儒學與經典詮釋〉由五篇論文組成,主要分...详情
歷史學家的經綫 书籍
经典好书《歷史學家的經綫》读书内容简介:长大,在台湾受大学教育,获台湾大学历史学硕士学位。后赴美国深造,于明尼苏达大学专攻俄国史,获硕士学位,转赴斯坦福大学专攻东亚史(期间并在上海复旦大学进修一年),获博士学位。曾在美国、加拿大等多所大学任教。重要著作有《中国文化的深层结构》和The Ch...详情
量子论的物理原理 书籍
经典好书《量子论的物理原理》读书内容简介:子论的一本经典著作,书中阐述了量子论的物理意义,特别着重于粒子图像和波动图像的等价性,讨论了测不准原理对统一这两种图像的意义和必要性,有不少内容是海森伯独到的见解,特别是对哥本哈根学派的观点和思想作了完整论述,是这一学派的一本代表作,它对我们了解量子...详情
经典好书《師父-那些我在課堂外學會的本事》读书内容简介:正元智大學講座教授/許士軍肯夢AVEDA負責人/朱平BabyHome創辦人/江立群FashionGuide執行長/張倫維104人力銀行董事長/楊基寬師父,就在我們身邊...详情