经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《现代平面设计巨匠田中一光的设计世界》读书内容简介:家朱锷主编，北京中国青年出版社付梓印行，这对尚属年轻的中国平面设计界来说，将起着极为有益的交流作用。田中一光先生是日本著名的。卓有成就的平面设计专家，对战后日本平面设计的发展有很 大的贡献，在世界平面设计界中具有相当的地位。大型个人专集在中国出版这还...详情

经典好书《超越平凡的平面设计：怎样做好版式(第1卷)》读书内容简介:John McWade，用深含设计原理的经典图片，将晦涩的专业术语变为通俗易懂的文字。隐藏在细腻精准的页面背后是低调的华丽，你会惊叹于如此平凡的案例中，竟包含着如此不凡的设计准则。本书包含了平面设计基础领域的主题，从通用而个性的新闻简报...详情

经典好书《世界平面设计史（第二版）》读书内容简介:界平面设计史》的结构和内容进行了优化和扩充，为读者完整呈现了世界平面设计的发展脉络与艺术面貌，从远古时期设计的起源一直到当下*的设计成果均有论述，是相关领域中完整、系统、权威的学术著作，适合普通高等院校设计专业师生、广大设计从业者以及设计爱好者阅读使...详情

经典好书《世界平面设计史》读书内容简介:化平面设计、现代艺术对平面设计发展的影响、国际主义平面设计风格的形成等内容。作者简介王受之，美国加利福尼亚州帕萨迪纳艺术中心设计学院教授，主要讲授设计史和设计理论。出版过许多具有影响力的关于设计理论的重要著作，如《现代建筑...详情

影片剧情摘要: TOKYOMX重播的TV动画《命运石之门》（2015年）12月3日凌晨播出的第23话中改变情节，进入β世界线，凶真最终没能救活红莉栖，剧情进入了《命运石之门0》篇章。片尾彩蛋有《0》的主要角色、使用红莉栖头像的人工智能“阿玛迪斯”登场。 详情

经典好书《新生代平面设计-欧洲设计现在时》读书内容简介:专家委员会(吕迪·鲍尔、玛丽-安娜·库夫勒、热纳维耶芙·戈克勒、艾蒂安·埃尔韦、米歇尔·梅登博格)评选出的25位当代欧洲设计师的作品。其类型涵盖了平面设计、字体设计、插图、视觉识别和物品、家具设计等。本书以“创造过程：从构思到完成”为主线将其全面呈现...详情

经典好书《博凯伶平面设计师之设计历程》读书内容简介:不乏富有创造力的设计师，博凯伶就是一例。他的作品非常优秀：直接、毫不含糊的感性颜色，充满魅力与诱惑，但又从不愚弄观众。聪明之处在于它所强调的是一种高贵的自律，人们必须仔细地加以观赏。他的海报洋溢着一种吸引人们去分析的美丽。寥寥数种颜色，细腻的动感就从...详情

经典好书《你有你的计划，世界另有计划》读书内容简介:思维，通过八个不同的主题，告诉你一个看似反常、实则靠谱的真实世界，教你制定一个立足于真实世界的计划，更好地掌控自己的人生。【编辑推荐】* 内容经过30万+用户的检验《精英日课》专栏已连续开设三季，订阅人数累计...详情

经典好书《你有你的计划，世界另有计划》读书内容简介:思维，通过八个不同的主题，告诉你一个看似反常、实则靠谱的真实世界，教你制定一个立足于真实世界的计划，更好地掌控自己的人生。【编辑推荐】* 内容经过30万+用户的检验《精英日课》专栏已连续开设三季，订阅人数累计...详情