討論:Λ演算
 |
Λ演算屬於維基百科數學主題的基礎條目第五級。請勇於更新頁面以及改進條目。 本條目屬於下列維基專題範疇： |
||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||
 | 本條目有內容譯自英語維基百科頁面「lambda calculus」（原作者列於其歷史記錄頁）。 |
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獲取更多信息。我進行了以下修改：
- 向 http://course.cug.edu.cn/cugFirst/discrete_mathe/resource/resource1-1-2.htm 中加入存檔連結 https://web.archive.org/web/20110502154748/http://course.cug.edu.cn/cugFirst/discrete_mathe/resource/resource1-1-2.htm
有關機械人修正錯誤的詳情請參閱FAQ。
祝編安。—InternetArchiveBot (報告軟件缺陷) 2017年9月6日 (三) 18:47 (UTC)
外部連結已修改
[編輯]各位維基人：
我剛剛修改了Λ演算中的1個外部連結，請大家仔細檢查我的編輯。如果您有疑問，或者需要讓機械人忽略某個連結甚至整個頁面，請訪問這個簡單的FAQ獲取更多信息。我進行了以下修改：
- 向 http://shellfly.org/blog/2015/01/07/yi-the-y-combinator-slight-return/ 中加入存檔連結 https://web.archive.org/web/20170814120649/http://shellfly.org/blog/2015/01/07/yi-the-y-combinator-slight-return/
有關機械人修正錯誤的詳情請參閱FAQ。
祝編安。—InternetArchiveBot (報告軟件缺陷) 2018年6月28日 (四) 17:47 (UTC)
外部連結已修改
[編輯]各位維基人：
我剛剛修改了Λ演算中的1個外部連結，請大家仔細檢查我的編輯。如果您有疑問，或者需要讓機械人忽略某個連結甚至整個頁面，請訪問這個簡單的FAQ獲取更多信息。我進行了以下修改：
- 向 http://uq.net.au/~zzdkeena/Lambda/index.htm 中加入存檔連結 https://web.archive.org/web/20050305151235/http://uq.net.au/~zzdkeena/Lambda/index.htm
有關機械人修正錯誤的詳情請參閱FAQ。