经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
科学革命的结构 书籍
经典好书《科学革命的结构》读书内容简介:1922—1996), 美国物理学家、科学哲学家、科学史家,被誉为“二战后最具影响力的一位以英文写作的哲学家”(理查德·罗蒂语)。库恩于1949年获物理学博士,后执教于加州大学、麻省理工学院等,任麻省理工学院语言学哲学劳伦斯·洛克菲勒名...详情
经典好书《一生続けられない仕事(1) (バンブーコミックス 麗人セレクション)》读书内容简介:た先輩弁護士・三上陽彦に憧れて、彼の事務所に入所した。頻繁に事務所に出入りする三上の同期弁護士・片山柾にイジられながらも日々忙しく仕事に励んでいる。しかし、三上と片山の間にある友情以上の「何か」に気がついてからはなぜか冷静...详情
唐代科举与文学 书籍
经典好书《唐代科举与文学》读书内容简介:研究的课题,是想尝试运用一种方法。这种言法,就是试图通过史学与文学的相互渗透或沟通,掇拾古人在历史记载、文学描写中的有关社会史料,做综合的考察,来研究唐代士子的生活道路、思维方式和心理状态,并努力重视当时部分的时代风貌和社会习俗,以作为文化整体研究的...详情
唐代科举与文学 书籍
经典好书《唐代科举与文学》读书内容简介:代的文学结合在一起,作为研究的课题,是想尝试运用一种方法。这种方法,就是试图通过史学与文学的相互渗透或沟通,掇拾古人在历史记载、文学描写中的有关社会史料,做综合的考察,来研究唐代士子的生活道路、思维方式和心理状态,并努力重视当时部分的时代风貌和社会习...详情
经典好书《祈る人 1 (バンブー・コミックス)》读书内容简介: 作者简介详情
极简科学史 书籍
经典好书《极简科学史》读书内容简介:联网一代的“大家小书”掀起现象级极简阅读潮流的入门读物《极简人类史》《哈佛极简中国史》《极简科学史》《极简海洋文明史》《极简历史系列》(套装全4册)继《...详情
计算机科学概论 书籍
经典好书《计算机科学概论》读书内容简介:家编写,全面而细致地介绍了计算机科学的各个方面。书中,计算系统的每个分层都以剖析,从住处层开始,历经硬件层、程序设计层、操作系统层、应用程序层的通信层,最后讨论了计算的限制。此外,正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息,有...详情
经典好书《像计算机科学家一样思考Python (第2版)》读书内容简介:理解Python语言编程。贯穿全书的主体是如何思考、设计、开发的方法,而具体的编程语言,只是提供了一个具体场景方便介绍的媒介。全书共21章,详细介绍Python语言编程的方方面面。本书从基本的编程概念开始讲起,包括语言的语法和语义,而且...详情
科学家的辩白 书籍
经典好书《科学家的辩白》读书内容简介:代在《一个数学家的辩白》中,用最优雅的语言对数学的真谛进行了最完美的揭示;N.维纳在《数学与神童》中,以非专业的语言阐述了一位天才的智力发展过程和工作、生活方式;怀特海在《科学的起源》中阐述了现代科学的发展以及它对当代文明和生活的深刻影响。三位大师都...详情