File:Lambda_calculus-Church_numerals.png
维基百科,自由的 encyclopedia
Lambda_calculus-Church_numerals.png (459 × 196像素,文件大小:15 KB,MIME类型:image/png)
摘要
描述Lambda calculus-Church numerals.png |
English: Church encoding of the natural numbers in lambda calculus |
日期 | |
来源 | https://en.wikipedia.org/wiki/Lambda_calculus |
作者 | Isaac David |
许可协议
Public domainPublic domainfalsefalse |
![]() |
说明
添加一行文字以描述该文件所表现的内容
此文件中描述的项目
描绘内容
15 7 2020
image/png
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2020年7月16日 (四) 04:26 | ![]() | 459 × 196(15 KB) | Isacdaavid | Uploaded a work by Isaac David from https://en.wikipedia.org/wiki/Lambda_calculus with UploadWizard |
文件用途
以下页面使用本文件:
全域文件用途
以下其他wiki使用此文件:
- af.wikipedia.org上的用途
- bcl.wikipedia.org上的用途
- bn.wikipedia.org上的用途
- en.wikipedia.org上的用途
- fa.wikipedia.org上的用途
- ml.wikipedia.org上的用途
- mni.wikipedia.org上的用途
- nl.wikipedia.org上的用途
- pl.wikipedia.org上的用途
- te.wikipedia.org上的用途
- th.wikipedia.org上的用途
- tr.wikipedia.org上的用途
- uk.wikipedia.org上的用途
- zu.wikipedia.org上的用途
元数据
此文件中包含有扩展的信息。这些信息可能是由数码相机或扫描仪在创建或数字化过程中所添加。
如果此文件的源文件已经被修改,一些信息在修改后的文件中将不能完全反映出来。
使用软件 | |
---|---|
数字化日期时间 |
|