首页> 中文期刊> 《电脑知识与技术》 >基于模型论的复杂性问题分析方法研究

基于模型论的复杂性问题分析方法研究

         

摘要

近年来,模型论的许多思想和方法逐渐渗透、融合到其他的学科,特别是在理论计算机科学中,有着重要的理论及应用价值。该文利用有限模型论的相关理论,对计算复杂性问题、计算复杂性和逻辑学在有限结构上的关系作了分析和研究,主要讨论了对不同复杂类的捕获问题。根据研究的结果,对一些常见复杂性问题的进行了捕获和分析。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号