本课程为上海交通大学Jhon Hopcroft教授主讲的面向计算机科学的数学基础(1)精品课程教学视频，全套课程共27学时，由外唐网整理免费共享。

      《面向计算机科学的数学基础》共分形式语言与自动机理论，可计算理论，逻辑学，程序设计理论等四个部分。内容包括：语言与正规语言；有限自动机；短语结构语言与上下文有关语言；可计算理论；模糊逻辑等。《面向计算机科学的数学基础》内容丰富，讲解通俗易懂，具有很强的可读性。

      形式语言与自动机理论、可计算理论、逻辑学和程序设计理论，都是研究计算模型的。它们之间也是相互关联的，共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶，特别是20世纪30年代的数学家Church（邱奇）、GMel（哥德尔）、Kleene（克林）、Post（波斯特）以及Turing（图灵）等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理论的研究相比则要迟一些，是20世纪后半叶现代电子数字计算机以及程序设计语言和软件诞生之后的事情了。它是专门研究程序设计语言和程序设计方法的数学理论。这些工作对于计算机科学的实践和理论的发展有着深远的影响。比如，图灵机模型就被证明是现代电子数字计算机的理论模型。这些先驱者的工作在今天看来似乎是很平常的，它们的思想渊源甚至并不为今天众多的计算机的使用者所知道。但是这些先驱者的工作确实是应该被那些从事计算机科学技术的工作者们所熟悉、所掌握的。因为这些思想和方法将对他们的工作产生很重要的启示和指导作用。正是因为这一点，形式语言与自动机理论、可计算理论、逻辑学和程序设计理论一直以来都是国内外计算机科学技术专业硕士研究生的课程，而且还是作为重要的课程来开设的。