经典好书《形式语言与自动机导论》读书内容简介: 本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现，这样学生就能够通过对比式的研究加强理解。作者简介详情

电视剧【电动方程式第一季】剧情介绍: 详情

经典好书《形式语言与自动机导论》读书内容简介:形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义...详情

影片剧情摘要:开序幕。红色跑车“闪电”麦坤和“冠军”、“路霸”是冠军最有力的竞争者。作为新人，麦坤具有极高的天赋，同时也是一个目空一切的家伙。经过紧张激烈的对抗，这三辆车同时冲过终点线。由于无法判定最终优胜者，组委会决定一个月后在加州洛杉矶召开一次只有这三辆车参加...详情

影片剧情摘要:逊OwenWilson配音）早已成为经验丰富的老将。对于现在的他来说，比赛更像与老友们的聚会，大家共同享受狂奔带来的乐趣。然而这和谐的一幕很快被残酷的现实打破，以风暴杰克逊（艾米·汉莫ArmieHammer配音）为代表的次世代高科技赛车相继步入赛场，...详情

影片剧情摘要:赛车大奖赛，各路好手纷纷云集，独独缺了活塞杯霸主闪电麦昆（黄磊配音）。原来他刚好回到温泉镇，与好哥们板牙（范伟配音）、女友莎莉享受快乐的假期。由于意大利方程式赛车法拉斯·高的挑衅，当然也有吃醋的原因，麦昆最终同意参加世界杯，并带着板牙等好友一同周游世...详情

影片剧情摘要: 睡梦中，小男孩和宝贝狗驾着火车急速前进，沿途遭到人类猎杀或破坏环境而濒临灭绝的各种动物，如大象、海狗、鹤、老虎、北极熊，都想要搭上这列火车。他们并一路玩起放风筝、丢雪球…… 详情

影片剧情摘要: 在一个风景如画的踏板小镇斯波克斯维尔（Spokesville），人们生活总是那么完美，空气清新，环境优雅。这里的人们外出从不锁门，因为这儿的居民全部是拟人化的踏板单车。 详情

影片剧情摘要: “如果有被车压的狗，一定要去救；如果有逃走的女人，找到天涯海角也一定要找到；如果有想要的书，就算袭击书店也要得到。” 详情

影片剧情摘要: 随着机器人技术的飞速发展，通用人型作业机器人`LABOR`得到推广，无论在军事还是民生等各个领域均有着广泛应用。特别是在东京湾周边，为了国家项目`巴比伦计划`的建设，日本国内半数以上的LABOR都集中在这里作业。 详情