- 博客(34)
- 收藏
- 关注
RSS订阅原创 拓扑空间简介
这是对梁灿彬的《微分几何与广义相对论》一书的阅读记录，对微分几何这种比较复杂的数学理论没经过在学校大量练习，还不做一些笔记，是难以熟悉掌握的。这里会结合我自身的知识储备，记录下微分几何的知识递进脉络。只需要了解过高中和大学掌握的朴素集合论，就可以进入微分几何的学习，这里不做阐述。映射也是高中就涉及到的知识，但它的具体定义在高数题目中其实很少用到，感觉不太熟悉这一方面，这里列出书上给出的严格定义。定义：设XXX，YYY是非空集合，一个从XXX到YYY的映射（map），记作f:X→Yf: X\rightarro
2024-02-24 16:02:24
655
原创 《哥德尔证明》阅读笔记——哥德尔证明过程
进行排序，按句子中所含的字母数量来排序，最少的放最前面，字母越多的放后面，字母数目一样的就按字母在a-z中的顺序排列。排序后，我们可以给每个句子一个编号，从前到后。
2024-01-13 15:37:24
962
原创 《哥德尔证明》阅读笔记——初等命题逻辑的一致性证明过程
前两节主要阐述了公理系统的发展历史，一致性问题的提出，以及希尔伯特的洞见，本节将给出哥德尔证明所需的最后一次具体背景阐述，包含两个问题：一是罗素所著的《数学原理》是为何而写？二是从数学原理中截取一段，示范对初等命题逻辑系统给出希尔伯特所设想的那种一致性的绝对证明。
2023-12-19 22:31:00
962
原创 《哥德尔证明》阅读笔记——一致性问题的绝对证明
追问一个公理系统的一致性，我们知道一个模型法，即从现实经验中找到一个模型，能将所有公理映射成此模型的真陈述，但很多系统模型是无穷的，比如想检验“空间中两点能确定一条直线”这个欧氏几何公理在空间模型中的陈述，需要检验所有无穷多的点，这显然不可能做到，这是模型法的固有缺陷。数学家也在尝试建立公理一致性的其他方法。
2023-12-16 19:40:30
864
原创 《哥德尔证明》阅读笔记——一致性问题
从第一次了解到哥德尔不确定性原理时，我就被此定理的内涵和意义所吸引，也对这个定理的证明过程充满兴趣，最近闲暇时，买了这本《哥德尔证明》的书，希望理解这个意义重大的数学定理的核心，在此做一个阅读笔记。
2023-12-15 21:19:48
913
原创 近世代数——Part2 群：循环群
最近入职了，更新速度要慢很多了，尽量在每天下班看一些抽时间学，这章是循环群，虽然是群的一个很小的类别，但其实是很重要的内容。
2022-07-23 22:22:25
2452
原创 近世代数——Part2 群：基础与子群 课后习题
这是对Joseph-Gallian的《Contemporary Abstract Algebra》的第三章——有限群和子群的练习题解答。碍于我的水平，部分写的不严谨，部分题空着没写出来，以下内容仅供参考。
2022-07-10 23:24:35
2220
原创 近世代数——Part1 整数和等价关系
想系统地学习一下近世代数，参考书是Joseph-Gallian的《Contemporary Abstract Algebra》，希望花半年时间读完，在博客里做笔记督促自己。
2022-06-23 13:19:00
1065
原创 关于DFT
DFT的笔记连续函数傅立叶变换和傅立叶级数傅立叶级数在满足一定条件的情况下，周期为TTT的函数可以表示为三角函数张成的空间里的向量，表示为f(t)=∑n=−∞∞cnei2πnTtf(t)=\sum_{n=-\infin}^{\infin}c_ne^{i\frac{2\pi n}{T}t}f(t)=n=−∞∑∞cneiT2πnt其中，基函数是正交的，那么，系数可以用f(t)f(t)f(t)与e−i2πnTte^{-i\frac{2\pi n}{T}t}e−iT2πnt的内积得到，内积是定义在
2022-03-20 16:40:30
419
原创 数值分析——分段低次插值
分段低次插值分段低次插值为什么需要分段低次插值分段线性插值分段三次Hermite插值三次样条插值第一类边界条件第二类边界条件第三类边界条件推导样条插值的方法第一类边界条件解法第二类边界条件解法第三类边界条件解法三次样条插值示例分段低次插值为什么需要分段低次插值之前拉格朗日插值时，可以发现，当插值节点很多时，会发生龙格现象，即在数据点的两端边缘出，多项式值与被插值的原函数差值很大。解决这种现象可以通过所谓的分段低次插值来逼近原函数，所谓分段低次插值，就是分段低次多项式，对每两个数据点之间的小区间进行低
2020-12-23 10:53:50
5069
原创 数值分析——Hermite插值
埃尔米特（Hermite）插值为什么需要Hermite插值在部分插值应用中，不仅要求数据点函数值相等，还要求若干阶导数相同，满足函数值和若干导数值都相等的插值法成为Hermite插值。课件里只考虑了一阶导数相等情况。从差商看牛顿插值与泰勒插值与Hermite插值回忆一下差商定义：f[x0,x1]=f(x1)−f(x0)x1−x0f[x_0,x_1]=\dfrac{f(x_1)-f(x_0)}{x_1-x_0}f[x0,x1]=x1−x0f(x1)−f(x0)如果一阶重节点差商定义为：
2020-12-19 20:34:42
8192
1
原创 数值分析——牛顿插值
牛顿插值为什么要有牛顿插值拉格朗日插值简单方便，可以一下计算出基函数，但有其本身的缺陷，回忆下拉格朗日插值基函数的形式：lk(x)=(x−x0)(x−x1)...(x−xk−1)(x−xk+1)...(x−xn)(xk−x0)(xk−x1)...(xk−xk−1)(xk−xk+1)...(xk−xn)l_k(x)=\dfrac{(x-x_0)(x-x_1)...(x-x_{k-1})(x-x_{k+1})...(x-x_n)}{(x_k-x_0)(x_k-x_1)...(x_k-x_{k-1})(x_k
2020-12-15 15:29:54
2854
原创 数值分析——拉格朗日插值
拉格朗日插值拉格朗日插值基函数拉格朗日插值基函数li(x)l_i(x)li(x)，要求满足li(xj)=δijl_i(x_j)=\delta_{ij}li(xj)=δij。那么插值多项式就为p(x)=∑i=0nyili(x)p(x)=\sum_{i=0}^ny_il_i(x)p(x)=i=0∑nyili(x)基函数具体形式可以是：lk(x)=(x−x0)(x−x1)...(x−xk−1)(x−xk+1)...(x−xn)(xk−x0)(xk−x1)...(xk−xk−1)(xk−xk
2020-12-13 21:48:44
2470
1
原创 数值分析——多项式插值
多项式插值这段时间关注了一个数值分析的课程，是华东师范大学潘建瑜老师的课，看了一遍课件，将内容梳理一下，做个笔记。什么是插值已知一个函数f(x)f(x)f(x)在[a,b][a,b][a,b]上有定义，且已知此区间有限个数据点：y0=f(x0),y1=f(x1),...y_0=f(x_0), y_1=f(x_1),...y0=f(x0),y1=f(x1),...找到一个函数p(x)p(x)p(x)，使得p(x)p(x)p(x)也经过所有数据点，则p(x)p(x)p(x)为f(x)f(x)f(
2020-12-13 19:58:25
4267
2
原创 C++实现的一个加密文件的程序
近来写了一个有关加密文本的加密程序，基本原理是将文件中所有字节和指定的密码逐字节进行异或，一般文件内容远远长于密码，那么可以扩展密码为：123456123456…这种循环的形式，直到和原文件相同的长度。这样所有文件的内容对被密码加密了，而且由于异或的特性，只需要再执行一下加密的过程，原文件内容就可以被恢复。下面写一下实现的具体功能，主要函数和效果：程序可以将程序文件所在文件夹以及子文件夹下，所...
2020-02-18 15:53:15
4907
5
原创 考研数学——求极限方法总结
常用求极限方法说明等价无穷小用法要点使用条件以及原理例子洛必达法则用法要点合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入说明...
2020-02-11 10:34:41
7379
1
原创 EGE图形库绘制的扫雷
匆匆完成，有不完善的地方，大体上功能倒是实现了扫雷的功能。 先给出一张完成的图：1.运行需要链接ege的库，还要包含ege的头文件graphics.h. 2.主函数中的四个getimage加载的是本地图片，这些图片文件应该与可执行文件在一个文件夹下。其中： 09.jpg是一张900x562的背景图片，就是上图中的妹子。 flag.png是一张30x30的图片，上面绘着小旗，就
2017-01-28 19:40:59
6827
15
原创 C递归解简单汉诺塔
递归的思想在解小规模问题时可以写出优雅易懂的解法。 怎么进行递归的设计，以前看到过一本书上讲，递归的精粹是相信它能做到你让他做的事。#include<stdio.h>int move(int n, char left, char mid, char right);int main(){ int n; scanf("%d", &n); move(n, 'a', 'b',
2017-01-23 11:02:30
285
原创 队列的简易链实现
简单实现一个链队列，只有创建队列，进队列，出队列，判断队列空功能。#include<stdlib.h>#include<stdio.h>#define ElemType inttypedef struct Node{ ElemType data; struct Node *next;}QNode;//This is node of queuetypedef struct P
2016-04-27 22:29:02
339
原创 栈的应用实践——括号匹配的检验
目的：检验一个字符串中的大括号，中括号，小括号是否匹配。 方法：数据结构c语言版提出的期待的急迫程度描述这个问题，具体的思路为： 处于栈顶的括号总是最急迫的期待着和下一个读入的括号进行匹配 如果下一个括号可以匹配，那么栈顶括号出栈，之后新的栈顶处于最急迫的地位，或者空栈继续读入； 如果下一个括号不可以匹配栈顶，则这个括号进栈并成为新的栈顶，成为最急迫的元素，原先的急迫度则降了
2016-04-24 10:51:57
1922
原创 C实现一个简单链栈
链栈是用类似于链表的形式实现的栈。 作为一个记录吧，写的不好之处还望指出。#include<stdio.h>#include<stdlib.h>#define ElemType inttypedef struct Ls{ ElemType data; struct Ls *next;}Node;Node *creatstack(); //cr
2016-04-18 21:36:47
426
原创 无聊做的一个小恶意程序（仅linux上）
无聊做了一个孤儿进程，会不断在本目录创建文件，父进程很快结束。 解决，找到进程，kill它就好了。进程名字是编译后的可执行文件名。#include<stdio.h>#include<unistd.h>int main(){ FILE *fp; int pid; int i=1; char s[100]; pid=fork(); if(pid==
2016-04-17 16:40:26
508
原创 通过移位把十进制转换成二进制的一个尝试
目的：将一个十进制数x转化成二进制数并打印出来。 主要思路：在我的机器上，一个short变量占据两个字节，连续的十六位，先定义一个short型变量i，然后将其分为两个八位的部分（s，(s+1)），用指针操作这两部分，给高地址的八位赋值为0，低地址的八位赋值为x，这样，要转换的数就以二进制形式储存在s所指向的八位里面。然后将i左移一位，那么x的二进制中的最高位将进入s+1的二进制最低位，此时，获取s
2016-04-17 16:13:02
2444
原创 一个简单C顺序栈的实现
仅用于记录，加深理解的练习。 水平有限，不规范之处还请包涵指正。 只实现了初始化栈，进栈，出栈，打印数据功能。#include<stdio.h>#include<stdlib.h>#define ADDSIZE 10#define STARTSIZE 10typedef int ElemType;typedef struct{ ElemType *top; ElemTyp
2016-04-12 23:16:05
851
5
原创 一个简单的C单链表实现和错误总结
仅实现初始化与插入结点功能 仅作为笔记，记录实现过程中的错误 仅供参考#include#includetypedef struct List{ int n; struct List *next;} slist; //define the structure of No
2016-04-12 18:40:28
456
原创 C—整数与浮点数笔记
整数与浮点数是c语言数据类型中两大系列，其中包含了多种数据类型。整型与浮点型拥有不同的储存方式，浮点型与整型不同，它是以小数位和幂指数形式储存的。整型：包括int/short/unsigned/long/long long/仅能保证short不比int长，long不比int短，long long不必long短，int所占据空间由操作系统决定，通过使用sizeof测试一台54位lin
2016-03-13 21:46:11
453
原创 python序列通用操作符
切片操作符:sequence[start:stop:step]取出包含start，不包含stop的，以step为步长的切片。start和stop空着意为‘从头’和‘取到结束’。值得注意的是:1.即使start和stop取得不是序列所拥有的索引，依旧可以使用，例如：list=[1,2,3]we can get : list[-99:99] --> [1,2,3]2.ste
2016-01-24 13:30:48
750
原创 高阶函数简单总结记录
python里的高阶函数：map,reduce,filter,sorted简单的说，这四个函数都有一个特点，就是接收一个函数，一个序列作为参数，将一个函数作用于整个序列，再返回一个作用后的序列。简单总结一下他们的用法：1.map map(f,sequence)，即接收一个函数f和一个序列，这个函数f有一个参数，依次取出序列中每一个元素传入f，把返回值组成一个列表来返回。2
2016-01-09 21:56:20
388
原创 windows下python多版本共存的解决记录
python现在大量使用的版本有2.x，3.x，2.x的教程多，一般学习用的；而有一些教程却使用3.x，这就需要在一台计算机上同时安装两个解释器。1.首先到官网下载这两个版本的安装文件，可以创建两个目录去分别安装在这两个目录下。2.这时，可以在安装目录下看到python.exe，pythonw.exe。因为一般还是2.x更经常使用，我是这样做的：把2.x的安装目录保持不变，进入3.
2015-12-31 12:50:31
772
原创 windows下gvim初步安装配置
windows下进行gvim简单配置笔记。首先去官网下载gvim7.4，然后正常安装就行了。gvim会在安装目录生成_vimrc，这个是启动时加载的配置文件，想要保存的配置需要保存到这个文件里，相当于Linux下的.vimrc，剩下的主要是安装文件的目录和插件目录。初步配置主要是汉语支持，字体，颜色，补全。1.似乎一开始输入汉语没有问题，但如果尝试打开一个带汉语的文件，文件
2015-12-30 20:03:07
675
原创 对独立变量的X+Y形式分布的小小探索
今天听概率论的一个问题:求一个两点分布X和一个a,b(a=0,b=1)上的均匀分布Y的和Z的分布情况,求解过程有点麻烦,感觉画下图可能做的更简单点.于是就异想天开的乱画。 画着画着,我突然想,这个两点分布可不可以看成两个高度为各自概率,位置为X的两个单位冲激呢?即 1/2§(x)+1/2§(x-1) 均匀分布则可以看成阶跃函数: 1/(a+b) [u(y
2015-11-17 19:14:32
1288
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人