#演算

lambda演算感想之规则

在lambda演算中,丘奇创建了丘奇数,在理解丘奇数的过程中,逐渐颠覆了一些以前的认知,丘奇数用自己的方式重新定义了数字,即:0是 lambdasz.z 1是 lambdasz.sz 2是 lambdasz.s(sz)在理解丘奇数的过程中,我一直在纠结于为何丘奇就可以创...
代码星球 ·2020-08-08

lambda演算感想从进制理解计算的本质

10+10=100;这个公式如何理解呢?从十进制角度看是:10+10=100;从二进制角度看是:10(1010)+10(1010)=100(1100100)最终无论是通过10进制还是2进制我们都可以得出一坨东西+另一坨东西=另一坨东西,这应该是数学的本质。首先将一坨东西用数字进行概念抽象化,然后发明了加减乘除,表述了这...

nyoj 214-单调递增子序列(二) (演算法,PS:普通的动态规划要超时)

内存限制:64MB时间限制:1000msSpecialJudge:Noaccepted:11submit:35给定一整型数列{a1,a2...,an}(0<n<=100000),找出单调递增最长子序列,并求出其长度。如:1910511213的最长单调递增子序列是19101113,长度为5。有多组测试数据(&...

nyoj 17-单调递增最长子序列 && poj 2533(动态规划,演算法)

内存限制:64MB时间限制:3000msSpecialJudge:Noaccepted:21submit:49求一个字符串的最长递增子序列的长度如:dabdbf最长递增子序列就是abdf,长度为4第一行一个整数0<n<20,表示有n个字符串要处理随后的n行,每行有一个字符串,该字符串的长度不会超过10000...

神奇的λ演算

函数是一个强大的概念,很多理论都是以这种形式构建起来的。比如定理可以定义成函数的形式,有输入,输出,以及一系列过程,过程中又是由多个子定理构成的,不断深入展开最后达到的是作为原子函数的公理。有些颇具魅力的函数,比如可以判断某程序是否死循环的程序,开发商要是发明出这种软件绝对可以发笔大财。可是事实上科学家逐渐发现有些问题...
代码星球 ·2020-04-15

关于Java中的getBytes()的原理理解以及演算

 调用strs.getBytes()的时候,涉及到英文字符串、中文字符串、二进制数、ascll编码、byte[]的那部分的转换原理、如何演算转换过程,感觉有难度。代码: byted[]="abcD热爱技术".getBytes(); 实属无奈,大家知道中文字符串如何转换成bytes数组吗?原...