文件名称：山东大学计算机理论导引 课件
文件大小：1.03MB
文件格式：RAR
更新时间：2014-01-10 12:34:50
山东大学计算机理论导引 课件
山东大学计算机理论导引 课件 系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
【文件预览】：
计算理论导引本科课件
----Lectur11 Decidability.ppt(135KB)
----Lecture12Revise Halting Problem.ppt(195KB)
----Lecture3 NFA vs.DFA properties of RL.ppt(238KB)
----Lectur11Revise Decidability.ppt(131KB)
----Lecture10 NTM, Enumerator,and Algorithms.ppt(217KB)
----Lecture8 NON-CFL.ppt(129KB)
----Lecture15 Time complexity, P, NP, NPC.ppt(211KB)
----Lecture12 Halting Problem.ppt(192KB)
----Lecture7 Pushdown Automaton.ppt(263KB)
----Lecture10Revise NTM, Enumerator,and Algorithms.ppt(214KB)
----Lecture16 NPC problems.ppt(178KB)
----Lecture6 Context Free Languages.ppt(269KB)
----Lecture14 PCP and Map Reducibility.ppt(333KB)
----Lecture14 Map Reducibility, Time Complexity.ppt(227KB)
----Lecture4 Regular Expressions.ppt(185KB)
----Lecture1 Overview and concepts.ppt(136KB)
----Lecture13Revise Map Reducibility P,NP,NPC.ppt(135KB)
----Lecture13 Reducibility-a method for proving undecidability.ppt(148KB)
----Lecture2 Regular Languages.ppt(165KB)
----Thumbs.db(8KB)
----Lecture9 Turing Machine.ppt(245KB)
----Lecture5 Non-regular Languages.ppt(255KB)