经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
科学革命的结构 书籍
经典好书《科学革命的结构》读书内容简介:1922—1996), 美国物理学家、科学哲学家、科学史家,被誉为“二战后最具影响力的一位以英文写作的哲学家”(理查德·罗蒂语)。库恩于1949年获物理学博士,后执教于加州大学、麻省理工学院等,任麻省理工学院语言学哲学劳伦斯·洛克菲勒名...详情
所以我才討厭理科男 书籍
经典好书《所以我才討厭理科男》读书内容简介:就被人稱魔鬼老師的數學科老師中津訓斥。中津是個只講道理且毫不留情的人。篠田對於中津的想法和言語而覺得反感,兩人始終水火不容。但是,在篠田被學生逼到窮途末路之時,是中津老師出面解救了他。篠田因此將中津當作崇拜的對象。不知不覺中,篠田對中津的情感出現了變...详情
经典好书《20世紀少年―本格科学冒険漫画 (10) (ビッグコミックス)》读书内容简介: 作者简介详情
经典好书《20世紀少年―本格科学冒険漫画 (5) (ビッグコミックス)》读书内容简介: 作者简介详情
彩色袖珍动漫百科 书籍
经典好书《彩色袖珍动漫百科》读书内容简介:选这300部经典作品进行评述,附有作品档案和丰富的背景资料;动画角色:200余个著名动画角色的全面剖析,带你领略动画世界的万种风情;动画制作人员&机构:100余条动画制作人员和机构的详实资料,展现业界整体风貌;动画声优:100余位实力声优个人资料全放...详情
江户川乱步文学奖精选4种 书籍
经典好书《江户川乱步文学奖精选4种》读书内容简介: 《别告诉左手》、《天使的伤痕》、《莫札特不唱摇篮曲》、《阿基米德借刀杀人》四种作品共用一个ISBN。作者简介详情
偽科學鑑證1 书籍
经典好书《偽科學鑑證1》读书内容简介:地插圖、動畫、漫畫及編劇等工作。為港人熟悉的作品包括李碧華多本小說的封面設計及內頁插圖、陳奕迅大碟《打得火熱》封面及內頁插圖等,現於《東touch》雜誌連載漫畫。本書是他第一本個人漫畫集。“(小克)綜合了過去漫畫寫作人某種常見的抒情方式...详情
经典好书《社会科学のリサーチ・デザイン―定性的研究における科学的推論》读书内容简介:」を引き出すか。「社会科学者のように考える」うえで必要な問いの立て方や議論の進め方を教える、実践的方法論。作者简介キング,ゲアリーウィスコンシン大学Ph.D.現在、ハーヴァード大学教授。計量政治学、政治学方法...详情
唐代科举与文学 书籍
经典好书《唐代科举与文学》读书内容简介:研究的课题,是想尝试运用一种方法。这种言法,就是试图通过史学与文学的相互渗透或沟通,掇拾古人在历史记载、文学描写中的有关社会史料,做综合的考察,来研究唐代士子的生活道路、思维方式和心理状态,并努力重视当时部分的时代风貌和社会习俗,以作为文化整体研究的...详情