[Calculus]

lambda calculus语言解释器

看到王垠的这篇博文《怎样写一个解释器》，里面简单介绍了lambdacalculus语言及解释器，即简单又抓住了解释器的实质。;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;以下三个定义env0,ext-env,lookup是对环境（environment）的基本操作：;;空环境(definee
hjx5200·2014-05-04 00:22

lambda calculus语言解释器

  看到王垠的这篇博文《怎样写一个解释器》，里面简单介绍了lambdacalculus语言及解释器，即简单又抓住了解释器的实质。;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;以下三个定义env0,ext-env,lookup是对环境（environment）的基本操作： ;;空环境 (
hjx5200·2014-05-04 00:00

oreilly计算机电子书精品收藏2

A.Course.in.Advanced.Calculus,.Robert.S..Borden,.Dover,.1998.djvu:http://www.t00y.com/file/60215617A.Practical.Study.of.Argument
阅微草堂笔记·2014-03-23 21:00

Machine Learning Notes 1

contour轮廓hypothesis假设gradientdecent梯度下降derivation求导calculus微积分convexfunction凸函数dimensionofmatirx.矩阵的大小
EdwardLi·2014-03-19 22:00

poj 3134 Power Calculus(迭代加深dfs)

PowerCalculusTimeLimit: 5000MS MemoryLimit: 65536KTotalSubmissions: 1615 Accepted: 856DescriptionStartingwith x andrepeatedlymultiplyingby x,wecancompute x31 withthirtymultiplications:x2 = x × x, x3 =
y5885922·2014-01-09 23:00

POJ 3134Power Calculus(IDA*)

PowerCalculusTimeLimit: 5000MS MemoryLimit: 65536KTotalSubmissions: 1615 Accepted: 856DescriptionStartingwith x andrepeatedlymultiplyingby x,wecancompute x31 withthirtymultiplications:x2 = x × x, x3 =
opm777·2014-01-09 15:00

UVALive - 3621 Power Calculus

题意：给出x和正整数n，问最少需要几次乘除法可以得到x^n思路：迭代搜索+减枝#include #include #include #include usingnamespacestd; constintMAXN=1010; constintINF=10000007; intarr[MAXN],num; intdfs(intn,intstep){ if(num>step) return0; i
u011345136·2014-01-01 01:00

UVA 1374 - Power Calculus(迭代深搜)

Startingwith x andrepeatedlymultiplyingby x,wecancompute x31 withthirtymultiplications:x2 = x x x,     x3 = x2 x x,     x4 = x3 x x,     ... ,     x31 = x30 x x.Theoperationofsquaringcanappreciablysho
u011217342·2013-12-28 02:00

poj3134Power Calculus(IDA*)

题目请戳这里题目大意:现在只有一个x,求最少经过多少步,可以得到x^n,每一步可以对已存在的x^k做乘法或除法运算.题目分析:n范围不大,不超过1000.所以可以断定任何一组数据20步之内一定出解!但是此题数字的组合方案很多,所以整颗搜索树会很宽,再加上要判重,bfs的话空间消耗非常大.故采用dfs解决.又由于要求最优解,所以迭代加深.代码还是比较好写的,但是会发现写出来后样例都跑不出来.所以需要
ophunter·2013-12-21 14:00

poj 3134 Power Calculus （IDA*）

PowerCalculusTimeLimit: 5000MS MemoryLimit: 65536KTotalSubmissions: 1593 Accepted: 835DescriptionStartingwith x andrepeatedlymultiplyingby x,wecancompute x31 withthirtymultiplications:x2 = x × x, x3 =
u010228612·2013-12-18 14:00

Linux下的计算器(bc、expr、dc、echo、awk)知多少？

calculate来自calculus,原义是做算术运算的小石子，是calx(石灰石
BruceZhang·2013-11-15 21:10

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematic

AlgebraAppliedMathematicsCalculusandAnalysisDiscreteMathematicsFoundationsofMathematicsGeometryHistoryandTerminologyNumberTheoryProbabilityandStatisticsRecreationalMathematicsTopologyAlphabeticalIndex
linuxarmsummary·2013-08-08 16:00

POJ 3134 - Power Calculus 迭代加深搜索(DFSID)

   最开始想动态规划...想了好久想不通.然后试着写BFS..各种超时....参考大牛的提示..DFSID把它A掉了...效率很高啊...而且代码写起来思路也很清晰...  Program:#include #include #include #include #include #include #include #definelllonglong #defineoo10000007 using
kk303·2013-07-21 19:00

JavaScript学习（3）：函数式编程

函数编程语言最重要的基础是 λ 演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。
·2013-07-07 20:00

国外数学专业研究生必读书

第一学年 Introduction to Calculus and Analysis作者: Richard Courant, Fritz John 秋季学期 春季学期 几何与拓扑 I 几何与拓扑
windshg·2013-04-02 10:00

MATLAB 主要函数指令表（二十二）

22 符号工具包(Symbolic Math Toolbox)22.1 微积分(Calculus)diff 求导数limit 求极限int 计算积分jacobian Jacobian 矩阵symsum 
jianxia_wzx·2013-03-11 17:00

[置顶] 使用Lua Function表示Lambda calculus

http://blog.csdn.net/yuanlin2008/article/details/8627081很多程序语言所带给你的“完美”的感觉都来自于数学抽象之美。在Lua中，function被描述成“具有真正的词法范围的一类值”(first-classvalueswithproperlexicalscoping)。所谓的“一类值”，应该满足以下条件:可以被保存到变量和数据结构中可以被当作子
yuanlin2008·2013-03-05 16:00

Linux下的计算器(bc、expr、dc、echo、awk)知多少？

calculate来自calculus,原义是做算术运算的小石子，是calx(石灰
benkaoya·2013-01-12 11:00

Linux下的计算器(bc、expr、dc、echo、awk)知多少？

calculate来自calculus,原义是做算术运算的小石子，是calx(石灰
Linux_华子·2012-10-09 12:59

Haskell学习笔记 1

函数式编程是基于lamda演算（Lambda Calculus）的一种编程形式，最早由阿隆左.丘奇提出。基本学过计算机的人都知道，现在的计算机是基于图灵的图灵机而 设计的，用于解决逻辑推理和计算问题。
lc_wangchao·2012-07-04 16:00

【转】λ演算

zh.wikipedia.org/zh-cn/%CE%9B%E6%BC%94%E7%AE%97 ）   λ演算 维基百科，自由的百科全书 跳转到： 导航 , 搜索 λ演算 （lambda calculus
Joson_Coney·2012-04-12 14:00

Lambda Calculus（一）

Lambda演算是FP语言的核心，出于想深入的了解FP语言，于是开始啃《TheImplementationofFunctionalProgrammingLanguages》，希望可以坚持下去。Lambda演算在我理解，就是一系列的运算法则，就比如，在数学里面，向量的某些运算法则一样。LambdaExpression就举书上的例子：(+45)就是一个简单的Lambda表达式。Lambda表达式都是写
ESINNG·2012-04-01 18:00

linux命令行计算器--bc

calculate来自calculus,原义是做算术运算的小石
李长春·2012-02-02 16:00

lambda Calculus

发现了一个好的blog：Good Math/Bad Math，里面关于lambda calculus的讲解真是佩服，只要耐心足够，有一定的抽象能力，从头读到尾基本上就看理解lambda了，起码比维基百科上容易理解的多
bookjovi·2012-01-30 11:00

Linux下的计算器(bc、expr、dc、echo、awk)知多少？

calculate来自calculus,原义是做算术运算的小石子，是calx(石灰
wdliming·2011-12-26 11:00

Normal bundle　Tangent bundle Tangent space Affine space Vector field Vector calculus Dual bundle

Normalbundle 转自：http://en.wikipedia.org/wiki/Normal_bundleIndifferentialgeometry,afieldofmathematics,anormalbundleisaparticularkindofvectorbundle,complementarytothetangentbundle,andcomingfromanembeddi
jinzhilong580231·2011-10-25 10:00

离散外微积分（DiscreteExterior Calculus）基础

“若人们不相信数学简单，只因为他们未意识到生命之复杂。”——JohnvonNeumann  DEC主要讨论离散情况下的外积分，它在计算机领域有重要用途。我们知道，使用计算机来处理几何图形的时候是不可能完全光滑的（计算机是只有0和1组成的离散化世界），利用DEC的概念也给我们提供了一种刻画离散几何的更好的工具。比如在几何分析中常用的“有限元分析(FiniteElementMethod)”中使用基于D
wangxiaojun911·2011-10-08 02:00

lambda 演算 学习

lambda演算（lambdacalculus或者λ-calculus）先简单介绍一下历史。当年莱布尼茨leibniz有两个理想：（1）希
neuTblue·2011-10-07 15:00

haskell程序设计语言

polymorphically(多态） statically typed静态类型）, lazy（懒计算）, purely functional language（纯函数程序设计语言）.而函数程序设计语言都是以 lambda calculus
codePrac·2011-06-08 13:00

【转载】【latex】latex公式编辑概述

mod=space&uid=2043&do=blog&id=244080               http://hepg.sdu.edu.cn/Service/tips/latex/doc2/Calculus.html
lhyan792·2011-05-22 17:00

函数式编程

函数编程语言最重要的基础是 λ 演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。
bestchenwu·2011-04-11 13:00

Scala Standard library

inscala-library.jar):collectionCollectionclassesMutableandimmutablemaps,setsconcurrentConcurrencyIdiomsPi-calculus
·2010-07-17 22:00

Lambda Calculus

LambdaCalculuszero=\s.\z.zsucc=\a.\s.\z.as(sz)add=\a.\b.asuccbmul=\a.\b.a(addb)zeropow=\a.\b.a(mulb)(succzero)true=\a.\b.afalse=\a.\b.bif=\c.\t.\f.ctfnot=\a.afalsetrueand=\a.\b.abfalseor=\a.\b.atruebx
λ-calculus（惊愕到手了欧耶，GetBlogPostIds.aspx）·2009-12-25 00:00

Lambda 演算

Lambda表达式是“Lambda-Calculus”，即“Λ-演算”的关键概念。由Λ-演算发展出的理论，成为计算机科学与技术诞生和发展的基础。
hikaliv·2009-09-22 20:00

丘奇数（Church Numerals）和lambda calculus

丘奇数（ChurchNumerals）和lambdacalculus   以前为了开发KFP，特别学习了一下lambdacalculus（也就是我的博客的标题啦）。lanbdacalculus是一门神奇的语言，在计算机出现之前就已经被搞出来了。这门语言只有三种语法，然后可以用这个语法来构造整数（！！！）、布尔型和很多递归数据结构等。   首先介绍一下语法。   1、funcarg代表一个函数调用，
λ-calculus（惊愕到手了欧耶，GetBlogPostIds.aspx）·2009-05-11 20:00

基本议题：并行，并发，和分布

，并发，和分布链接：Basics:Parallel,Concurrent,andDistributed原文作者：MarkC.Chu-Carroll本文的诞生也不过得源于在我曾经开始谈论关于π演算(π-calculus
大城小魔·2008-11-13 23:00

Vczh Lazy Script 语法描述

VczhLazyScript语法描述    自从做好了VczhFreeScript之后，对于λ-calculus的热情还在，对于未实现lazyevaluation也耿耿于怀。
λ-calculus（惊愕到手了欧耶，GetBlogPostIds.aspx）·2008-04-21 12:00

转－康托尔、哥德尔、图灵——永恒的金色对角线（二）

了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才” ] 然而，漫长的 Y Combinator 征途仍然并非本文的最终目的，对于 Y combinator 的构造和解释，只是给不了解 lambda calculus
Kevin.Li·2008-02-18 17:00

Lamda演算简介

Wikipedia（维基百科全书）中关于lambda演算的解释如下： The lambda calculus is a formal system designed to investigate
zhangljerry·2007-06-14 18:00

Lambda Calculus

λ演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 Alonzo Church 和 Stephen Cole  Kleene 在 20 世纪三十 年代引入，Church 运用 lambda 演算在 1936 年给出 判定性问题 (Entscheidungsproblem) 的一个否定的答案。这种演算可以 用来清晰地定义什么是一个可计算函数。关于两个 lambda
SunMicro·2007-04-19 10:00

Finance books

and practice of mathematical finance Derivatives: Models on Models Brownian Motion and Stochastic Calculus
jellyfish·2007-04-10 23:00

Lambda Calculus

   LambdaCalculus在数学定义上面非常简单，并且和与图灵机等价，也就是说FP语言程序与普通的命令式语言如C可以写出同样能力的程序。lambda算子理论里所有东东都是函数.Lambda定义   一个Lambda定义就是一个：       lambda:    这个定义可以应用到参数上，进行求值。例(py):>>>(lambdax:x+x)(5)10Currying   在数学定义中la
Lu_ming·2006-12-03 12:00

Lambda Calculus

LambdaCalculus在数学定义上面非常简单，并且和与图灵机等价，也就是说FP语言程序与普通的命令式语言如C可以写出同样能力的程序。lambda算子理论里所有东东都是函数.Lambda定义一个Lambda定义就是一个：lambda:这个定义可以应用到参数上，进行求值。例(py):>>>(lambdax:x+x)(5)10Currying在数学定义中lambda只有一个参数，我们可以通过Cur
lu_ming·2006-12-03 12:00

Lambda Calculus （翻译）

原文出处：http://en.wikipedia.org/wiki/Lambda_calculusLambda演算FromWikipedia,thefreeencyclopedia.Thelambdacalculusisaformalsystemdesignedtoinvestigatefunctiondefinition,functionapplicationandrecursion.Itwas
dinosantiago·2004-07-02 10:00
上一页 1 2 3 4 5 6 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他