联系帮助
出版时间:
至
大约有6,000项符合查询结果项。(搜索耗时:0.0277秒)
为您推荐: 旅游翻译理论与实务 资本运营理论与实务 信用评级理论与实务 市场营销理论与实务 中国药事法理论与实务 rpa财务机器人理论与实务
本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分,详尽地研究了初等函数、原始递归函数、递归函数及给类算子,充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...
全部
经济(15)
1997年(1)
2000年(2)
2001年(3)
2004年(1)
2006年(1)
2007年(1)
2010年(2)
2013年(1)
2014年(2)
2015年(1)