经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《石器时代经济学》读书内容简介:。他在本书中指出：资本主义的金钱理性，与斐济人、特罗布里恩德岛民的物质实践是殊途同归，只是更大文化价值体系的结果。特罗布里恩德岛民将一半收成送给了姐妹的丈夫，被我们认为是浪费时间和精力；但当我们逛商店时，选择鱼还是买回肉，其实也是一种无意识的习惯。所...详情

经典好书《計數器少年》读书内容简介:大家都只能待在自己所屬的地方，沒有辦法成為他人。只能在被賦予的範圍裡，盡全力去保護某事某物。太陽60通內戰告一段落，池袋街頭終於逐漸恢復原貌，阿誠除了回到家中西一番街水果店的規律生活，還多了一個時尚雜誌專欄作家的身分，然而...详情

电视剧【大侠】剧情介绍:武术宗师霍元甲面对内忧外患的国家危难，以中华武术精神抵御外国势力，捍卫民族尊严的传奇故事。 　　戊戌变法失败后，“六君子”以身殉国。深受谭嗣同爱国热忱感染的霍元甲，欲投身历史洪流之中有所作为，却屡屡碰壁，竟只能眼睁睁看着英雄殉国。随...详情

经典好书《机器猫哆啦A梦1》读书内容简介:两位漫画家。藤子·F. 不二雄是藤本弘的笔名，他生于1933年12月1日，1996年9月23日逝世。日本富山县高冈市人。藤子不二雄A是安孙子素雄的笔名，他是富山县冰见市人，1934年3月10日生。1944年，...详情

电视剧【韩剧机智牢房生活】剧情介绍:球选手金济赫一夜之间锒铛入狱后，在监狱里发生的故事。 　　金济赫是一位众所瞩目、即将进入美国大联盟的明星棒球选手，每个球团皆视他为全国最棒的棒球选手，愿意为他投入大笔资金，一夕之间却因为重伤强奸犯而进了监狱成了阶下囚，在最恶劣的监狱...详情

经典好书《超长篇机器猫哆啦A梦13》读书内容简介: 这是一本适宜于对幼儿进行启蒙教育的彩色绘画本教材，全书以生动有趣的形象，简明扼要的文字，向孩子们介绍了关于的知识。作者简介详情

经典好书《知日·机甲》读书内容简介:70年出生，原为系统工程师，现为小说作家。代表作《简单易懂的现代魔法》《埼玉电锯少女》《All You Need Is Kill》。《All You Need Is Kill》被提名日本SF大奖“星云奖”入围作品，该作于2009年在美国出版，后被改编...详情

经典好书《計數器少年》读书内容简介:作家真島誠，和他的好友和範、收音機、G少年的安藤崇一起合作勘破了四個事件。石田在本書中呈現出網路世代們的生活，和他們奇特的價值觀。〈妖精之庭〉一章描述「妖精之庭」網站的網路寫真女郎Asumi遭網友克里邦侵擾事件。真島誠和好友們，以及愛慕Asumi的變...详情

经典好书《游戏机制》读书内容简介:设计顾问，现定居于英国。除顾问工作外，他还开办游戏设计研讨班，并在各种会议和大学中发表演讲，广受欢迎。Adams先生从1989年起就在互动娱乐行业中工作，并在1994年成立了国际游戏开发者协会（International Game Developer...详情