上个月乱七八糟的事情比较多，没有心情上来更新，先说说上个月都作了些什么吧。
五月第一周放假，充分的休息了一周，第二周就看了一周的软件设计师的考试，第三周填了个IBM的实习计划，没有报太大的希望，结果让我去笔试了 大老远跑到哈尔滨 考了一下，考试基本上是那种能力测试，内容很简单，只要能看懂E文就行了，过了不到一周又让我去面试，面就面吧，这时候都是第四周了，又跑了一趟哈尔滨，这个是我生平第一次面试啊，紧张倒是不紧张，可是本人不擅长表达自己，好几个问题回头想想可以展开谈谈的，可能表现太差了，估计也不会给我二面机会了，让我触动最大的可能就是那个英文交流了，口语好事多么重要啊 唉，从今天开始强化英语听说能力。
总的来说这次ibm的事给我的收获也算不小，希望下半年找工作自己能够好运气。
许多数学工具都是以集合为基础的，而lambda 演算与众不同，它是以函数演算为基础的．它允许任意高阶的
函数运算，也就是说，一个函数的输人和输出都可以是函数．这个特点使它特别适于用作语义描述的表示方
法，尤其是在指称语义描述中更需要用到它．
Lambda演算是一个形式系统，它被设计出来用来研究函数定义，函数应用和递归。它是在二十世纪三十年代由Alonzo Church 和 Stephen Cole Kleene发明的。Church在1936年使用lambda演算来证明了判定问题是没有答案的。Lambda演算可以用来清晰的定义什么是一个可计算的函数。两个lambda演算表达式是否相等的问题不能够被一个通用的算法解决，这是第一个问题，它甚至排在停机问题之前。为了证明停机问题是没有答案的，不可判定性能够被证明。Lambda演算对于函数式编程语言（例如lisp）有重大的影响。
λ-演算可以说是最简单、最小的一个形式系统。它是在二十世纪三十年代由Alonzo Church 和 Stephen Cole Kleene发明的。至今，在欧洲得到了广泛的发展。可以说，欧洲的计算机科学是从λ-演算开始的，而现在仍然是欧洲计算机科学的基础，首先它是函数式程序理论的基础，而后，在λ-演算的基础上，发展起来的π-演算、χ-演算，成为近年来的并发程序的理论工具之一，许多经典的并发程序模型就是以π-演算为框架的。
Get free blog up and running in minutes with Blogsome | Theme designs available here