产品的明细 ※现在,产品的信息通过翻译机械翻译,所以内容可以不正确。请贵客原谅。
数学
Michael Sipser教授的"Theory of Computation"课程是MIT数一数二的名门课,教室里充满了生机与笑容。这本书是以这本课程笔记为基础,整理而成的这一领域的标准教材。/在叙述定理之后,不马上进行证明,而是在给予证明的想法方面下功夫,提及证明失败的例子来加深理解等,随处都能感受到讲课的氛围,是一本考虑了教育的好教材。/第3版除了新增加了<决定性上下文无关语言>相关的章节(第2卷),追加了问题和解答的同时,关于几个话题,对第2版发行后的研究进展进行了说明。