| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
可计算性理论, 莫绍揆, 王元元著 |
|
|
ISBN:
|
7-03-000061-7 价格： ￥3.05 |
|
语种:
|
chi |
|
题名:
|
可计算性理论 / 莫绍揆, 王元元著 , |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1987.12 |
|
载体形态:
|
335页 20厘米 |
|
摘要:
|
包括数理逻辑的递归论和形式语言论两部分。研究初等函数、原始递归函数、递归函数及各类算子、Turing机与Turing可计算性概念, 各种形式语言及相应的语言识别器。 |
|
主题:
|
可计算性 理论 |
|
中图分类:
|
O24 版次： 3 |
|
主要著者:
|
莫绍揆 著 |
|
主要著者:
|
王元元 著 |
|
索书号
|
O24/12 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01168nam0 2200265 45 001| |0192004532 010| |□a7-03-000061-7□d￥3.05 100| |□a19940603d1987 gkmy0chiy0121 ea 101|0 |□achi 105| |□ay z 000yy 106| |□ar 200|10|□a可计算性理论□f莫绍揆, 王元元著 210| |□a北京□c科学出版社□d1987.12 215| |□a335页□d20厘米 225|2 |□a计算机科学丛书 330| |□a包括数理逻辑的递归论和形式语言论两部分。研究初等函数、原- | |始递归函数、递归函数及各类算子、Turing机与Turing- | |可计算性概念, 各种形式语言及相应的语言识别器。 410| 0|□120010□a计算机科学丛书 606| 0|□a可计算性□x理论 690| |□aO24□v3 701| 0|□a莫绍揆□4著 701| 0|□a王元元□4著 801| 0|□aCN 905| |□aMT□fO24/12□s2□kw□b0017679□t1- | |527466□kj□b0011939□t1527465 908| |□a0017679□b144756□cMT□d0□e2□fO- | |24/12□gMT□hyt□i□j3.05□k□l1□m□- | |n0□o平装□p1527466□q1990-01-01□r3- | |.05□t□u□v999_CN01□w1990-01-01□y订购□zyt 908| |□aM0017679□b1900057508□cMT□d□e- | |2□fO24/12□gMT□hyt□i□j3.05□k□l- | |1□m□n□o平装□p□q1990-01-01□r□t□u□- | |v999_CN01□w1990-01-01□y□zyt