本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。JohnE.Hopcroft,在斯坦福大学获得博士学位,现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得
《从一元一次方程到伽罗瓦理论》共二十八章,是讲解解多项式方程及数域上的伽罗瓦理论的一本入门读物。《从一元一次方程到伽罗瓦理论》按历史发展从解一元一次方程讲起,详述了一元二次方程、一元三次方程,以及一元四次方程的各种解案,从而自然地引出了群、域,以及域的扩张等概念。由此,《从一元一次方程到伽罗瓦理论》在讨论了集合论后,用近代方法详细阐明了对称群、可迁群、可解群、有限扩域、代数扩域、正规扩域以及伽罗瓦
《20世纪数学的五大指导理论》向读者展示了20世纪数学家的艺术的五个最精致的成就:极小极大定理(对策论)、布劳威尔不动点定理(拓扑学)、莫尔斯定理(奇点理论)、停机定理(计算的理论)、单纯形法(最优化理论)。
历史就是阐释,新的观点来自新的视角与方法...................※编辑推荐※☆少数探讨电影史研究方法的学术著作本书甫出,便受到欧美电影学术界的广泛重视和热烈欢迎,它恰好符合当代西方理论潮流的发展方向。☆案例丰富有趣本书介绍了许多有趣的案例,如:美国首次保存影片的努力是为了电影艺术吗?鲍特是叙事性剪辑风格的“祖父”吗?爱迪生在电影技术发明中
《20世纪中国电影理论文选》是中国第一部系统性的电影理论文选,始于中国电影理论发轫的二十年代初,止于2000年。书中按历史顺序分为三部分:1920-1949;1950-1976;1977-2000。