引言与数学础.ppt

复旦大学 教材及参考文献 John C. Martin, Introduction to Languages and the Theory of Computation, 2nd edition, WGB McGraw-Hill Introduction to Automata Theory, Languages, and Computation (2nd Edition) by John E. Hopcroft, et al An Introduction to Formal Languages and Machine Computation by Song Y. Yan (Hardcover - December 1996) 形式语言与自动机理论，蒋宗礼 2003-1-1 清华大学出版社 形式语言与自动机 王柏，2003-2-1，北京邮电大学出版社 教材及参考材料 计算理论基础（第2版）1999-9-1 清华大学出版社 计算理论导论 Michael Sipser，2002.8，机械工业出版社 计算理论导引 张立昂，2000.2，机械工业出版社 可计算性和计算复杂性，张立昂 考查方式 平时作业 期末笔试 提纲 前言 第一部分 数学记号和技术 第二部分 形式语言和自动机 第三部分 计算理论 总结 提纲（2） 第一部分 数学记号和技术 基本数学对象 数学归纳法和递归