首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--集合论论文

NB和PC的比较研究

中文摘要第1-5页
英文摘要第5-8页
第一章 引言第8-14页
   ·可计算性理论及其构造方法的发展第8-10页
   ·问题的提出及本文的工作第10-14页
第二章 PC与NB关系研究第14-31页
   ·需求第15页
   ·策略第15-21页
     ·条件(1)的满足第15-16页
     ·P-,Q-策略第16页
     ·M-策略第16-18页
     ·R-策略第18-19页
     ·满足(R_e-,S_(e,i)-)策略第19-21页
   ·优先树第21-24页
   ·构造第24-31页
     ·参数第24页
     ·使用函数规则第24-25页
     ·初始化第25页
     ·延伸步定义第25-26页
     ·自动动作第26页
     ·构造第26-31页
第三章 构造正确性验第31-42页
第四章 结论第42-43页
参考文献第43-45页
发表文章目录第45-46页
致谢第46页

论文共46页,点击 下载论文
上一篇:两株溶磷菌在两种土壤中的溶磷作用
下一篇:移植与差异:有限责任公司制度研究