Web
-
Amazon
We provide
Linux to the World
We support WINRAR
[
What is this
] - [
Download .exe file(s) for Windows
]
CLASSICISTRANIERI HOME PAGE
-
YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano:
Single Download
- Complete Download [
TAR
] [
WIM
] [
ZIP
] [
RAR
] - Alphabetical Download [
TAR
] [
WIM
] [
ZIP
] [
RAR
] -
Download Instructions
Make a donation:
IBAN: IT36M0708677020000000008016 - BIC/SWIFT: ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy
Cookie Policy
Terms and Conditions
Category:递归论 - Wikipedia
Category:递归论
维基百科,自由的百科全书
本范畴涉及
递归论
,也叫做
可计算性理论
,它是与
可计算函数
概念的推广有关的
数理逻辑
分支,并与图灵度这样的概念有关。
子类
该分类中有1个子类。
自
自动机
“递归论”分类中的条目
这个分类中有22个条目。
*
递归论
B
B,C,K,W系统
Beta范式
C
Church数
S
SKI组合子演算
Λ
Λ演算
不
不动点组合子
停
停机问题
原
原始递归函数
可
可判定性
可计算函数
图
图灵完全
图灵机
构
构造演算
简
简单类型 Lambda 演算
组
组合子逻辑
规
规范化性质
递
递归函数
递归可枚举集合
递归集合
邱
邱奇-图灵论题
高
高阶函数
页面分类
:
數理邏輯
|
计算机逻辑
Views
分类
讨论
当前修订版本
导航
首页
社区主页
新闻动态
特色内容
上传自由版权图像
帮助
帮助
互助客栈
询问处
繁简转换
所有页面
联系我们
捐助
搜索
其他语言
English
Esperanto
Our "Network":
Project Gutenberg
https://gutenberg.classicistranieri.com
Encyclopaedia Britannica 1911
https://encyclopaediabritannica.classicistranieri.com
Librivox Audiobooks
https://librivox.classicistranieri.com
Linux Distributions
https://old.classicistranieri.com
Magnatune (MP3 Music)
https://magnatune.classicistranieri.com
Static Wikipedia (June 2008)
https://wikipedia.classicistranieri.com
Static Wikipedia (March 2008)
https://wikipedia2007.classicistranieri.com/mar2008/
Static Wikipedia (2007)
https://wikipedia2007.classicistranieri.com
Static Wikipedia (2006)
https://wikipedia2006.classicistranieri.com
Liber Liber
https://liberliber.classicistranieri.com
ZIM Files for Kiwix
https://zim.classicistranieri.com
Other Websites:
Bach - Goldberg Variations
https://www.goldbergvariations.org
Lazarillo de Tormes
https://www.lazarillodetormes.org
Madame Bovary
https://www.madamebovary.org
Il Fu Mattia Pascal
https://www.mattiapascal.it
The Voice in the Desert
https://www.thevoiceinthedesert.org
Confessione d'un amore fascista
https://www.amorefascista.it
Malinverno
https://www.malinverno.org
Debito formativo
https://www.debitoformativo.it
Adina Spire
https://www.adinaspire.com