跳转到内容

讨论:Λ演算

页面内容不支持其他语言。
维基百科,自由的百科全书
基础条目 Λ演算属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。
          本条目页属于下列维基专题范畴:
数学专题 (获评未评级中重要度
本条目页属于数学专题范畴,该专题旨在改善中文维基百科数学类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 未评级未评  根据专题质量评级标准,本条目页尚未接受评级。
   根据专题重要度评级标准,本条目已评为中重要度
电脑和信息技术专题 (获评高重要度
本条目页属于电脑和信息技术专题范畴,该专题旨在改善中文维基百科信息技术相关条目类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 未评级未评  根据专题质量评级标准,本条目页尚未接受评级。
   根据专题重要度评级标准,本条目已评为高重要度

Formal和Informal的译文

条目Formal和Informal翻译应为正式和非正式,或正规和非正规 empt (留言) 2010年11月2日 (二) 23:40 (UTC)[回复]

我觉得比起这个来说,那些其他的高等数学条目更需要解释,这个还算能看懂……Soy taoist留言2013年11月18日 (一) 02:04 (UTC)[回复]

此条目formal和Informal小节标题的中文不适合以“正”翻译,有正即有反,请举出反式的 LAMBDA CALCULUS。Sklinbarniwarp留言2017年12月5日 (二) 21:48 (UTC)[回复]

外部链接已修改

各位维基人:

我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:

有关机器人修正错误的详情请参阅FAQ。

祝编安。—InternetArchiveBot (报告软件缺陷) 2017年9月6日 (三) 18:47 (UTC)[回复]

外部链接已修改

各位维基人:

我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:

有关机器人修正错误的详情请参阅FAQ。

祝编安。—InternetArchiveBot (报告软件缺陷) 2018年6月28日 (四) 17:47 (UTC)[回复]

外部链接已修改

各位维基人:

我刚刚修改了Λ演算中的1个外部链接,请大家仔细检查我的编辑。如果您有疑问,或者需要让机器人忽略某个链接甚至整个页面,请访问这个简单的FAQ获取更多信息。我进行了以下修改:

有关机器人修正错误的详情请参阅FAQ。

祝编安。—InternetArchiveBot (报告软件缺陷) 2018年8月27日 (一) 21:42 (UTC)[回复]