最近在学习计算理论方面的内容，这一系列文章主要介绍λ演算，这需要一些基本的离散数学如集合的知识，写的过程难免有错误欢迎大家指出。 1. 什么是λ演算 (Lambda Calculus)？ λ演算是数学家邱奇（Alonzo Church）在20世纪30年代发表的一种计算模型，以变量绑定和替换的规则，每 ...
分类：
其他好文 时间：
2020-01-06 10:07:03
阅读次数：
116
如何才能评价一个软件工程师的专业技术呢，这需要从很多方面来看。 （1）具有扎实的计算机专业知识 这是软件工程理由能够从事软件一切工作最基本的前提，是软件工程最基本的素质，这要求软件工程师必须精通高等数学、离散数学、电子学、编程语言、数据结构等课程。 （2）良好的语言表达能力和沟通能力 这是软件工程师 ...
分类：
其他好文 时间：
2020-01-05 16:05:08
阅读次数：
97
1.Graph的定义 我们对图的定义是G=<V,E>。V是一群顶点的集合，E是一群边的集合，每条边连接V中的两个顶点，V不可以是空集，E可以是空集，V和E组成一个G，G就是一个图。1<1> directed graph和undirected graph有向图和无向图 如果E中没有有向边，我们说G是一 ...
分类：
其他好文 时间：
2020-01-04 18:49:46
阅读次数：
177
什么是Mhash扩展库：Mhash是基于离散数学原理的不可逆向的php加密方式扩展库，其在默认情况下不开启。mhash的可以用于创建校验数值，消息摘要，消息认证码，以及无需原文的关键信息保存（如密码）等。 1.Mhash扩展库安装 关于Mhash库的安装跟Mcrypt扩展库安装是类似的，在这里就不做 ...
分类：
Web程序 时间：
2019-12-27 18:11:52
阅读次数：
242
数学之高等数学、线性代数、统计与概率论 集合 逻辑 函数 导数 斜率 变化率 极限 积分 面积 dx △x 数列 离散数学 方程 函数 向量（平面与空间） 几何（平面与空间） 直角坐标系（平面与空间） 方程组 线性相关 线性无关 概率 频率 事件 ...
分类：
其他好文 时间：
2019-12-24 23:30:54
阅读次数：
90
运算的定义及性质 设S是一个非空集合，映射f：Sn->S称为S上的一个n元运算。假设“?”是定义在集合S上的一个二元运算。若： ?x,y∈S，x?y∈S，则称“?”在S上是封闭的。 ?x,y∈S，x?y=y?x，则称“?”在S上是可交换的。 ?x,y,z∈S，x?(y?z)=(x?y)?z，则称“? ...
分类：
其他好文 时间：
2019-12-22 12:38:29
阅读次数：
163
2019年总结及2020年规划 一．2019年总结 1.工作总结 1.细心，因为细心导致了很多错误，比如一次串口测试少测试一个文件导致测 试工作重做。 2.控制情绪。不论怎么样，脸上，声音、动作上不要表现出来浮躁、不满甚至生气。 3.不要任务领导看得到自己干了什么。要记录，日志要写明，干的事情要记录 ...
分类：
其他好文 时间：
2019-12-21 15:29:42
阅读次数：
133
首先构造trie图。 我们明确一点的是，给出trie图，那么所有点的转移方式都是唯一可以确定的。即使是没有这个字符，他也会指向根节点。 我们根据离散数学的知识可以知道。计算有向图的邻接矩阵，然后k次方，就能够计算出从某一个点到另一个点，有多少条长度为k的路径。 故，我们构造出来trie图，拿出该图的 ...
分类：
其他好文 时间：
2019-12-20 13:46:01
阅读次数：
107
一、简介 迪杰斯特拉(Dijkstra)算法和弗洛伊德(Flyod)算法均是用于求解有向图从一点到另外一个点最短路径。 二、Dijkstra 迪杰斯特拉算法也是图论中的明星算法，主要是其采用的动态规划思想，使其在数据结构、算法、离散数学乃至运筹学中都扮演重要的角色。 ...
分类：
编程语言 时间：
2019-12-05 01:19:39
阅读次数：
113
小球与盒子 在离散数学里面，组合数是一个重点。下面就对常见的几个小球盒子模型进行总结 参考了chengni的 "这篇文章" ，在此表示感谢。 注意 ： 以下未说明，均默认球数为n，盒子数为m。 $C_{n}^{m}=\binom{n}{m}$ ，两者是等价的。 从不同变为相同需要 乘以 阶乘而不是除 ...
分类：
其他好文 时间：
2019-11-11 21:30:12
阅读次数：
211
