討論:Λ演算
Λ演算屬於維基百科數學主題的基礎條目第五級。請勇於更新頁面以及改進條目。 本條目頁屬於下列維基專題範疇: |
|||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
本條目有內容譯自英語維基百科頁面「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。