51
Dev开发社区
首页
文章
问答
工具
搜索
登录
注册
#演算
lambda演算感想之规则
在lambda演算中,丘奇创建了丘奇数,在理解丘奇数的过程中,逐渐颠覆了一些以前的认知,丘奇数用自己的方式重新定义了数字,即:0是 lambdasz.z 1是 lambdasz.sz 2是 lambdasz.s(sz)在理解丘奇数的过程中,我一直在纠结于为何丘奇就可以创...
代码星球
·
2020-08-08
lambda
演算
感想
规则
lambda演算感想从进制理解计算的本质
10+10=100;这个公式如何理解呢?从十进制角度看是:10+10=100;从二进制角度看是:10(1010)+10(1010)=100(1100100)最终无论是通过10进制还是2进制我们都可以得出一坨东西+另一坨东西=另一坨东西,这应该是数学的本质。首先将一坨东西用数字进行概念抽象化,然后发明了加减乘除,表述了这...
代码星球
·
2020-08-08
lambda
演算
想从
进制
理解
nyoj 214-单调递增子序列(二) (演算法,PS:普通的动态规划要超时)
内存限制:64MB时间限制:1000msSpecialJudge:Noaccepted:11submit:35给定一整型数列{a1,a2...,an}(0<n<=100000),找出单调递增最长子序列,并求出其长度。如:1910511213的最长单调递增子序列是19101113,长度为5。有多组测试数据(&...
代码星球
·
2020-05-28
nyoj
214-
单调
递增
序列
nyoj 17-单调递增最长子序列 && poj 2533(动态规划,演算法)
内存限制:64MB时间限制:3000msSpecialJudge:Noaccepted:21submit:49求一个字符串的最长递增子序列的长度如:dabdbf最长递增子序列就是abdf,长度为4第一行一个整数0<n<20,表示有n个字符串要处理随后的n行,每行有一个字符串,该字符串的长度不会超过10000...
代码星球
·
2020-05-28
nyoj
单调
递增
长子
序列
神奇的λ演算
函数是一个强大的概念,很多理论都是以这种形式构建起来的。比如定理可以定义成函数的形式,有输入,输出,以及一系列过程,过程中又是由多个子定理构成的,不断深入展开最后达到的是作为原子函数的公理。有些颇具魅力的函数,比如可以判断某程序是否死循环的程序,开发商要是发明出这种软件绝对可以发笔大财。可是事实上科学家逐渐发现有些问题...
代码星球
·
2020-04-15
神奇
演算
关于Java中的getBytes()的原理理解以及演算
调用strs.getBytes()的时候,涉及到英文字符串、中文字符串、二进制数、ascll编码、byte[]的那部分的转换原理、如何演算转换过程,感觉有难度。代码: byted[]="abcD热爱技术".getBytes(); 实属无奈,大家知道中文字符串如何转换成bytes数组吗?原...
代码星球
·
2020-04-07
关于
Java
中的
getBytes
原理
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他