本课程主要内容
- 自动机理论(5 weeks)
- 计算理论 (3 weeks)
- 复杂理论(8 weeks)
先修内容: 离散数学,算法基础
【以下内容均为简要介绍,具体内容在以后章节中介绍】
简单来说,复杂性理论是把问题分解成容易计算和难以计算的;而在可计算性理论当中,是把问题分成可解的和不可解的。
自动机理论阐述的是计算的数学模型的定义和性质。自动机模型又分为有穷自动机模型和上下文无关文法模型。
What I can learn: 模型检测,计算理论数学基础,密码学应用
axiomatic system 公理化系统,公理化方法和因果化方法是西方世界最重要的两种方法
valid 有效的,永真的:即在所有赋值条件下都可以使得
数学概念和公式
集合,是一组对象也是一个整体,不考虑元素的排列顺序。
序列:按某些元素或成员按某种顺序排成的一个列表。
笛卡尔积
完备:从若干的有效的公理化逻辑公式,都可以证明其他公式,则称系统完备
wiki: 演绎系统的弱可靠性定理声称,在这个演绎系统中任何可证明的句子,在所有释义或这个理论所基于的语言的语义理论的模型上为真。
wiki: 演绎系统的强可靠性定理声称,演绎系统所基于的语言的任何句子P,可以从这个语言的一个句子集合Γ推导出来,则它也是这个集合Γ的语义推论,在使Γ的所有成员为真的任何模型也使P为真的意义上。
可靠:从其他公式得出若干公理化逻辑公式,则称系统可靠。
哥德尔相关理论
原始递归函数
原始递归函数wiki
在可计算性理论中,原始递归函数(英语:primitive recursive functions)对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义,并且是递归函数的严格的子集,它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。
通常在数论中研究的很多函数,近似于实数值函数,比如加法、除法、阶乘、指数,找到第 n 个素数等等是原始递归的(Brainerd and Landweber, 1974)。实际上,很难设计不是原始递归的函数,尽管某些函数是已知的(比如阿克曼函数)。所以,通过研究它们,我们能发现有广泛影响的结论的那些性质。
原始递归函数可以用总是停机的图灵机计算,而递归函数需要图灵完全系统。
原始递归函数的集合在计算复杂性理论中叫做PR。
图灵相关理论
图灵机wiki
图灵机(英语:Turing machine),又称确定型图灵机,是英国数学家艾倫·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
通用图灵机
对于任意一个图灵机,因为它的描述是有限的,因此我们总可以用某种方式将其编码为字符串。我们用M表示图灵机M的编码。
我们可以构造出一个特殊的图灵机,它接受任意一个图灵机M的编码 ,然后模拟 M的运作,这样的图灵机称为通用图灵机(Universal Turing Machine)。现代电子计算机的计算模型其实就是这样一种通用图灵机,它能接受一段描述其他图灵机的程序,并运行程序实现该程序所描述的算法。
邱齐-图灵命题wiki
邱奇-图灵论题(英语:Church–Turing thesis,又称邱奇-图灵猜想,邱奇论题,邱奇猜想,图灵论题)是一个关于可计算性理论的假设。该假设论述了关于函数特性的,可有效计算的函数值(用更现代的表述来说–在算法上可计算的)。简单来说,邱奇-图灵论题认为“任何在算法上可计算的问题同样可由图灵机计算”。
邱齐-图灵命题 是根据经验验证。