smilejiasmile的博客

计算数学与数学理论专栏 (简介)本专栏主要涉及到两大部分：离散数学（计算机数学）和 现代数学理论（分析/几何/代数/拓扑）文章目录计算数学与数学理论专栏 (简介)一、离散（discrete）与计算数学二、现代数学理论2.0 概述与杂论2.1 分析2.2 代数2.3 几何2.4 拓扑一、离散（discrete）与计算数学计算（离散）数学主要涉及到如下内容：数理逻辑 (形式系统与推理演绎)与逻辑学，思维符号化公理化集合论 （数学大厦的理论基础）与集合代数（关系与函数）离散结构（图论、树）抽象

Lambda演算的类型我们已经掌握了直觉逻辑（Intuitionistic Logic，IL），我们再回到lambda演算：我们已经得到了我们需要定义模型的逻辑工具。 当然，在没有更简单的事情了，对吧？到目前为止我们讨论的都是简单的无类型lambda演算。一如丘奇首次提出LC的第一个版本。但它存在一些问题，为了解决这些问题，人们引入了「类型」（type）的概念，于是出现了简单类型lambda演算，之后出现了各种变种 —— SystemT，SystemF，Lambda立方（和时间立方没啥关系:-)）

为什么是Y？在前面的几个帖子里，我已经建立了如何把lambda演算变成一个有用的系统的点点滴滴。 我们已经有了数字，布尔值和选择运算符。我们唯一欠缺的是重复。这个有点棘手。lambda演算使用递归实现循环（递归的解释可以看这里）。 但是，由于在lambda演算里函数没有名字，我们得采取一些非常手段。这就是所谓的Y组合子，又名lambda不动点运算符。让我们先来看看lambda演算之外的一个简单的递归函数。阶乘函数，这是标准的例子：factorial(n) = 1 if n = 0 fac

原文来自Good Math/Bad Math的系列连载，全文分7章，本篇是第1章。中文博客负暄琐话对这个系列的前6章做过翻译，强迫症表示忍受不了「下面没有了」，于是自己动手做了全套。这里只对原文做了翻译，而“负暄琐话”的版本则加上了很多掌故，使得阅读起来更有趣味性。Good Math, Bad Math Lambda演算系列之七 （在这个帖子的原始版本里，我试图用一个JavaScript工具来生成MathML。但不太顺利：有几个浏览器没法正确的渲染，在RSS feed里也显示的不好。所以我.

【逻辑与计算理论】λ演算与组合子逻辑概念简介一、λ演算基本概念入门1.通过我们前面的讨论可知：有两种函数，一种是一阶谓词逻辑中存在着的特殊函数——真值函数；另一类则是我们所熟悉的数学函数。通过学习λ演算，我们会学习另一类函数：高阶函数。让我们从一阶逻辑起步。例如有这样一个句子：(p → ~q) ∧ r如果这时我们用P代表这个句子，就有了下列等式：P = (p → ~q) ∧ r，它可看做是没有自变量的函数。因此，用P本身就可以代表一个无法影响句子内部的真值函数；一旦建立了这样的函数.

【逻辑与计算理论】λ 演算、组合子逻辑的历史背景函数——是横跨数学、逻辑和计算的最基础概念，也是从逻辑走向计算的基本工具。想象一下，如果一个逻辑系统不再以命题、谓词、量词、变量为基本单位而把函数作为唯一的原生元素会是什么样 ？ 其结果就是组合子逻辑和λ演算。组合子逻辑和 λ 演算属于数理逻辑中的形式系统，本质上是以函数为基本元素的高阶逻辑。在这个意义上，如果要想真正搞懂它们的基本思想，就必须从一阶逻辑开始，而要真正透彻理解如何从一阶逻辑走到组合子逻辑、λ演算，就需要了解这两门学科产生的背景和动.

【逻辑学与计算理论】从逻辑到计算的转变之路总所周知，λ-演算与组合子演算构成的邱奇计算理论与图灵的图灵机模型共同构成了计算机计算理论的支柱。在前面的文章中我们已经讨论过了自动机与图灵机相关理论，在这里我们将进入 λ-演算与组合子 计算理论的相关介绍。对于 λ-演算 你可以把它看成是高阶函数的一个形式系统。于是我们就有必要重新理解或定义一下什么是函数的概念了。PS: 在我们后面的讨论中经常会出现一些LIsp 和 Haskell 的一些表达式代码，以供更贴近计算层面进行讨论问题。若对于这类函数式语言不熟悉

转自：By刘未鹏 C++的罗浮宫(http://blog.csdn.net/pongba，http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/)我看到了它，却不敢相信它。 ——康托尔计算机是数学家一次失败思考的产物。 ——无名氏哥德尔的不完备性定理震撼了...

图灵机杂思转自 By刘未鹏 C++的罗浮宫(http://blog.csdn.net/pongba)C++ Template是图灵完备的（turing-complete，或者更确切的说，是图灵等价（turing-equivalent）），关于这一点是没什么悬念的，只是前几天有位朋友问到为什么说C++ Template是图灵完备的，为了找出当初的连接，于是又去搜了一下wikipedia和standford encyclopaedia，谁之这一搜之下又带出了一大堆内容，于是又花了好几个时辰将图...

【形式语言与自动机】图灵机一、图灵机在经过有限状态机的介绍之后，再来看一种功能更强大的机器。图灵机基本结构 〉 一条分格的无限长的纸带，每格可容纳一个字符〉 一个读写头，可以在纸带上移动（可以双向移动，之前的有限状态机只能单向移动），读出当前格子的字符，重写格子上的内容，改变自己的内部状态。所以它可以做三件事情，自身的状态，可双向移动、可读可写。〉 一系列关于读写头动作的规则（或...

【形式语言与自动机】有限状态机一、有限状态机其需求来自于对语言字符串识别的需要，给定字符串判定它是否属于语法G产生的 L(G), 判断是否属于这个集合。句子识别〉 给定一个字符串，判定是否属于给定语法G 的语言L(G)〉 一般来说，这是个难解的问题，并不是有一个确定的过程，实际上它涉及到上节讲的语法分析有关，给出句子的构造过程，与形式系统中公式的证明类似。对于判定某个句子是否属于某个指定的语言。给出一个构造过程，涉及到识别与判定过程。〉 但是对于三型文法，即正则语法和正则语言来说，.

【形式语言与自动机】初探——基础核心概念一、语言及研究方向自然语言〉 以呼吸器官发声为基础来传递信息的符号系统，人类最重要的交际工具和存在方式之一〉 大脑思维的符号化〉 自然语言：自然地随文化演化的语言，比如：汉语、英语、法语、俄语……〉 全世界5000多种，使用者在5000万以上的有13种。联合国官方语言5种（汉、英、俄、法、西班牙）人工语言〉 为特定的目的与用途，人为创造的语言。主要分如下两种：〉 国际辅助语言：世界语（Esperanto）〉 数学语言、计算机语言：数学.

一、离散数学的主要内容与历史背景首先让我们来聊聊什么是离散数学 ？从内容上来看，离散数学没有一个确定的中心话题，内容很杂，粗略统计其涉及到主要概念如：集合、函数、关系、命题逻辑、谓词逻辑，到算法、计数、数据结构、递归、图论、概率、数论、形式语言与自动机，布尔代数、向量与矩阵，线性规划、抽象代数，编码理论、信息论，博弈论、运筹学、理论计算机科学等，真是那句俗话，XXX 是个筐，什么都可以往里装。但它们都有一个共同的结构，即离散结构。离散数学并没有开辟数学的新领域，而只是在现有的数学上将是离散结构组成的数学

伽罗瓦理论一、正规扩域在研究域 F 的代数扩张 E 时，首要的前提是扩域 E 是存在的，其次还要让所有扩域在同一个空间，即它们之间是可运算的。满足这样条件的空间便是 F 的代数闭包，使用集合论的语言，代数闭包可以描述成所有多项式的分裂域之并。这个定义合法性其实还是需要推敲的，你可以结合代数扩域的性质自行讨论，这里就先假定它的存在性。其次，不同的闭包之间并不一定是互通的，下面的讨论将回避这种“平行世界”的讨论，将范围限制在某个选定的代数闭包ΩΩΩ中。即使只在某个闭包中，满足特定条件的扩域总也有多种选择的

因子分解与域的扩展一、因子分解我们知道，整数环中的每一个合数都可以唯一地分解成素数的乘积； 域 F 上每个次数大于零的可约多项式，都可以唯一地分解成不可约多项式的乘积。这是整数环和多项式环中元素的最基本最重要的性质之一。下面我们将把整数环和多项式环的一些性质推广到更一般通用的环上去。1.1 唯一分解环环的直和分解将大环分解为小环，使得结构更加简单。从整数的算术基本定理得到启发，我们还可以从乘法分解的角度来研究环。要使这个定向研究得到有用的结论，还需对环作一些限制。既然我们关注是因子，乘法顺序就显得多

环论与域论群是有一个代数运算的代数系统，但我们在数学中，如高等代数中讨论的很多对象比如：数、多项式、函数以及矩阵和线性变换等，都是有两个代数运算的代数系统，两个代数运算的代数系统不仅有非常重要的现实意义，而且相比于一个代数运算的系统会有一些有趣的性质。而在具有两个代数运算的系统中环和域便是很好的代表。一、环1.1 环和子环具有两个运算的系统比较多，性质也各有不同，我们必须先从中抽取出“最小”的系统才能有通用性。各种数系、多项式、矩阵的加法和乘法是最具代表性的双运算系统，以它们为参考可以得到比较有用的

【抽象代数】类方程和有限群随着前面我们对于群的结构的探索，在对群进行公理化描述之后，我们又探讨了群的结构，(正规) 子群，商群还有直积的概念。如果我们要在进一步，就需要专注于群最为本质的特点，即对称与变换，这是群的精髓所在，下面就让我们开始从类方程与群对于集合的作用开始吧。1. 类方程1.1 群的作用设 X 是任意一个非空集合，我们已经知道，集合 X 的全体到自身的一一对应组成一个群 S(X), 称其为对称群或变换群，从历史的角度看，人们最早研究的都是某一集合上的变换群。直到现在，各种类型的变换群的

【抽象代数】代数系统、群与商群一、代数系统1.1 运算律我们已经知道函数的概念，它表示集合间的一种映射关系。当像和原像是同一集合时，便是抽象代数中常讨论的函数了。一元函数 f: A↦A 也被称为集合 A 上的变换，其中双射的变换也称为置换。一般如下式的多元函数，也被称为集合A上的 n 元运算。集合 S 以及其上的一些运算 f1,f2,⋯,fmf_1,f_2,⋯,f_mf1​,f2​,⋯,fm​ 组成的系统叫代数系统（algebraic system），在不混淆的情况下也可用 S 表示这个代数系统。代数

【开篇】抽象代数的历史背景与内容总览一、抽象代数的发展历史在大多数人的印象中，数学就是用来计算的，因为大部分的数学应用都是为了得到某个值。但如果深入到数学对象这个角度，计算有时并不是主角。最简单的例子就是大家熟悉的平面几何，它很多时候只是在研究点线之间的**“关系”。代数学刚开始被用作计算对象的符号表示**，但随着其使用范围的扩大，人们发现它还可以表示各种各样的**“关系”。在集合论中，我们已经看到过“关系”的精确定义，在这一系列我们将开始对它的深入讨论。“关系”存在于非常多的应用模型中，它们之间在本质

引言抽象代数课如果只是死记硬背一些自己根本不懂的定义，没有例子，没有计算，不会解决任何问题，这样的抽象代数只 能给零分。 抽象代数能不能有既体现数学本质、又引人入胜的例子？本文介绍的就是这样的例子。I李尚志（北京航空航天大学数学与系统科学学院）某校有一个被保送读研的学生参加我们的面试。我问她哪门课程学得最好。答曰“抽象代数”。不等我问 问题，她就开始自问自答，开始背诵群的定义。我马上制止她，说不要你背定义，只要你举例。让她举一 个非交换群。举不出来。举一个有限域，举不出来。我说：这两个例子举不.

【初等数论】指数、原根与不定方程1、指数现在我们就开始为剩余系建立“坐标”，完全剩余系是连续的，剩余类本身就是很好的坐标，所以这里我们只需讨论既约剩余系。前面已经知道(a,m)=1(a,m)=1(a,m)=1时，总存 d 在使得 ad≡1(modm)a^d\equiv 1\pmod{m}ad≡1(modm)，满足条件的最小的d0=δm(a)d_0=\delta_m(a)d0​=δm​(a)称为a对模m的阶或指数，也可简记为δ(a)\delta(a)δ(a)，我们可以看出来当模 m 确定时，d0d_0d0

同余方程、二次剩余、二次互反律1、同余方程剩余类可以看做是一个新的数系，它对加减乘运算是封闭的，所以同余方程对多项式是有意义的。这里我们就来讨论下一元多项式方程（1）的解，当然它的解是一个剩余类集合，最多有 m 个解。f(x)=∑k=0nakxk=anxn+⋯+a1x+a0≡0(modm)(1)f(x)=\sum_{k=0}^{n}{a_kx^k}=a^nx^n+\cdots+a_1x+a_0\equiv 0\pmod{m}\tag{1}f(x)=k=0∑n​ak​xk=anxn+⋯+a1​x+a0​

整除、公约数、同余与剩余系从本文开始，我们将正式开始介绍有关初等数论的相关知识与概念，我们争取用通俗的语言去把握和描述理论的精髓所在。而不拘泥于具体概念的束缚，以窥探初等数论巧妙的一些思想方法。从这里开始你的行囊里不需要太多的东西，只要会整数的加减乘除即可。东西多了不仅帮不了你，反而会成为前进的负担。你需要首先抛开一切固有思维，清空大脑，带着孩童般的好奇心重新认识这个世界。由于数论经常出现于奥数和智力题中，它往往被当成一种锻炼思维的智力游戏，但随着研究的深入，我们需要建立一套理论才能看清本质。我们可以从最

【开篇】初等数论及其核心内容一、初等数论的发展历史简介数学是一门很关注数与形的学科，它们是最基础、最久远的数学概念。克罗内克说过：“上帝创造了自然数，其它都是人的作品”，所以我们选择从数开始说起。数论（Number Theory）专门研究自然数（或整数），这个看似无意义的智力游戏，其实不光是数学家们的思维乐园，它更是孕育新思想、新方法的肥沃土壤。即使我们已经有了耀眼的成就，却好像还不曾见过她的真面目，在其简单的外表下，总有不为人知的深邃。高斯曾经说过：“数学是科学的皇后，而数论则是数学的皇后”.

实数系统的构造与发展历程一、第一次数学危机与毕达哥拉斯学派1、2、3、……，自然数就好像是大自然的母语，它独立于人的思维而存在，甚至很多动物都会简单的计数。考古学有足够的证据表明，远远早于人类文明之前，人们就开始有意识地计数了。到了古希腊时期，以各种政治宗教团体为代表，人们对知识的认知达到了空前的程度，其中影响最大的当属“毕达哥拉斯学派”。毕达哥拉斯曾求学于古希腊圣贤，并游历周边世界，回国后创办了学派。与此同时该学派还信奉 “万物皆数” 的信条，这里的数就是指自然数和表现为自然数之比的有理数。古

离散结构：图论进阶一、匹配1.0 引论设 G=(V, E) 是简单图， ME。 如果 M 中任何两条边都不邻接， 则称 M 为 G 中的一个匹配（matching）或边独立集设顶点 v V， 若存在 e M， 使得 v 是 e 的一个端点， 则称 v 是 M-饱和的（matched or saturated） ， 否则称 v 是 M-非饱和的（unmatched）。例子如下所示：{v2, v4, v5, v6}是M-饱和顶点 {v1, v3}是M-非饱和顶点 ...

图论问题建模讨论汇总一、骑士巡游 Knight's Tour在8x8的国际象棋盘上某一位置上放置一个棋子马（亦称骑士） ， 然后采用国际象棋中“马走日字”的规则前进， 要求经过棋盘上每个小格子一次且仅一次。其中骑士一步可以移动的位置，走日字如下图所示： 实际上根据是否要求棋子马最终回到出发点又可以把骑士巡游问题分为骑士巡游道路问题和骑士巡游回路问题 ...

文章目录关于数据结构中树结构的相关分享一、传统的数据结构中的树结构1.1 二叉查找树1.2 平衡二叉树1.3 平衡二叉树之红黑树1.4 B 树1.5 B+树1.6 B* 树二、字典树 ( Trie树 )三、决策树(利用信息论的熵依靠决策树做决策选择)四、梅克尔帕特里夏树( Merkle Patricia Tree, MPT)关于数据结构中树结构的相关分享本文参考： 树结构参考文献一、传统...

离散结构：图论与树一、图论的定义图论的创立〉 柯尼斯堡七桥问题的解决是图论创立的标志〉 1736年欧拉在发表的论文中证明七桥无法仅走一遍能遍历七座桥，并提出和解决了“一笔画”问题。〉 欧拉将现实问题抽象为平面上的点和线的组合，并通过讨论点的奇偶性来判定能否遍历〉 于是欧拉便创建了两个新的学科：图论和拓扑学 图(Graph)的定义〉 由结点和联结结点的边所构成的离散结构〉 记做G = <V, E>〉 结点 verte...

离散数学之集合论 【下】一、等价关系与划分等价关系(equivalent relation)定义〉 等价关系R定义为：〉 A上的自反、对称、传递的二元关系〉 xRx；xRy→yRx；xRy∧yRz→xRz〉 例子：〉 三角形的相似、全等关系；〉 学生的舍友关系；〉 人的亲戚关系（朋友关系？同学关系？）〉 整数集上的“模k相等”关系：〉 等价类（equivalent class）〉 设R为A上的等价关系，〉 对于每个a∈A，a的等价类记做(简记[a])，定义为：={x|x∈.

离散数学之集合论【中】一、有序组有序组〉 元素的无序性是集合的特征之一，那么元素的有序组合又该如何从集合定义？〉 二元有序组，或者二元组(2-tuple)，或者序偶(ordered pairs)〉 设 a,b 为任意对象，称集合族 {{a},{a,b}} 为二元有序组，简记为 <a,b>〉 称a为<a,b>的第一分量，b为第二分量“有序”的含义 ？〉 定理：对于任意序偶 <a,b>, <c,d>，<a,b>=<c,d.

离散数学之集合论【上】一、集合基本概念集合(set)：做为整体识别的、确定的、互相区别的一些对象的总体。〉 整体识别：不再分割〉 确定：属于或者不属于整体〉 互相区别：各异的对象〉 集合的例子北京大学的全体学生：组成对象是学生全体自然数0，1，2，……：组成对象的是各个自然数。 方程x2+x+1=0的根：如果讨论复数，则组成对象是两个复数如果讨论实数，则是一个没有任何组成对象的集合 成员：〉 组成集合的对象称为成员(member)或者元素(element)元素可以是任何具体或.

公理化集合论初探一、集合论的背景〉 集合论是以集合概念为基础，研究集合的一般性质的数学分支学科。“集合”是比“数”更简单的概念。集合论试图从研究集合出发，定义“数”和数的“运算”，进而发展到整个数学，是研究数学基础的学科〉 集合是简单而又基本的不作定义的初始概念。一般来说，集合是一些确定的、相异的事物的总体〉 按照集合中事物数目是否有限，可以分为有限集合和无限集合无限集合是集合论研究的主要对象，也是集合论建立的关键和难点〉 集合论的全部历史都是围绕无限概念展开的。人们把康托尔（G.

谓词逻辑及形式系统 【下】一、谓词逻辑的逻辑等价与逻辑蕴含一个谓词公式想变为命题，具有确定真值。必须满足以下几个条件① 给定个体域（确定模型）② 公式中的所有谓词都有 明确意义（确定解释函数）③ 公式中的所有自由变元取定个体（确定变元的真值）和命题逻辑一样，谓词逻辑也有矛盾式，意思是：句子φ，对于φ所属语言对应的所有模型M（这里的M应当是一个集合）它的语义解释函数是： ...

谓词逻辑及形式系统 （语义）【中】一、概述一、什么是语义简单地说，所谓语义，不管是自然语言的语义还是形式语言的语义，基本上就是两个系统之间的映射关系。自然语言的语义，是语言符号和我们大脑中概念之间对应；而形式语言的语义，则是符号系统和某个学科的知识体系之间建立的对应关系，现在研究最多的是符号系统与数学结构之间的映射关系，以及符号系统与哲学体系之间的对应关系。如果要用一个统一的概念表达符号系统所对应的其它学科知识体系，那么这个概念就是【模型】。有了模型的概念，对什么是语义的定义就可以简明扼要.

谓词逻辑及形式系统一、简介【谓词逻辑】是所有逻辑学的中心内容，包括亚里士多德的三段论（虽然那时谓词逻辑还没有产生）、弗雷格的谓词逻辑、以及后来的数理逻辑三大流派都是围绕【谓词逻辑】展开的。在所有现存的逻辑系统中，只有【谓词逻辑】毫无争议地占据逻辑学的中心位置，而任何其它逻辑系统都是【谓词逻辑】的扩展、延伸、改造。所以它在逻辑学中是相当重要的。研究【谓词逻辑】，其基本方法和命题逻辑一样，词汇、句法和语义。所用的数学工具，最显著的就是加入了集合论。在某种程度上集合论就是谓词逻辑的灵魂。和集合论.

命题逻辑及形式系统一、数理逻辑简介逻辑学是一门研究推理的科学、同时也是研究语义关系的科学。最早由古希腊学者亚里士多德创立。其中最具有代表性的就是亚里士多德的三段论学说。只要符合三段论的推理就是正确的。一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。例：① 凡是人都会死（大前提）② 苏格拉底是人（小前提）③ 所以：苏格拉底会死（结论）在这一阶段，逻辑学还是以自然语言来表述，但其中最大的问题就是自然语言的模糊性损害其准确和权威。直到逻辑学开始使用用数学的方法研究关于推理、证明等问

【 数理逻辑 二 】逻辑概述、现代逻辑学发展历程和形式系统与形式语言一、逻辑概述逻辑必知三件事：论证（argument） 有效论证（valid argument） 论证模式（argument schema）什么是逻辑 ？Logic，as the science of reansoning，即逻辑，作为“推理（reasoning）”的学问。那什么是推理 ？这里为了避免成为概念的堆叠与迭代定义。我们先来搞清楚推理有什么用途？【推理】的一个重要应用是在“辩论学（argumentat...

【数理逻辑开篇】朴实的逻辑学与数学危机一、数理逻辑的来源逻辑学可以看成是哲学的一部分，当然自然科学等都可以看成是从哲学中衍生出来的。而理科生们需要学习的数理逻辑。又是逻辑学在数学上的应用。而最早的逻辑是和语言密不可分的，逻辑和语言的‘接口’（interface）就是依靠语义（meaning）联系起来的。西方的哲学研究，历来是把逻辑和语言作为一个整体，这个传统始自于亚里士多德时代。19世纪和20世纪之交，分别出现了数理逻辑和结构主义语言学，自此逻辑和语言的研究开始分家，走上了各自的发展道路。所以.

作者：Xtaobingmo链接：https://www.zhihu.com/question/337651635/answer/987965987来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。我从抽象形式的角度来说一说。这里的抽象不是说概念的抽象，比如开区间闭区间推广成开集闭集，而是说玩法上的抽象。举一个例子：网络上有个视频——实变函数四川大学...