可计算_图书大全
可计算性和计算复杂性
ISBN：9787118043297本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系：介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、...
可计算性与数理逻辑
ISBN：9787505388284本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专...
可计算非线性动态投入产出模型
ISBN：9787302041085本书介绍了需求与供给平衡的线性与非线性可计算一般(CGE)均衡理论、可计算非线性动态投入产出模型。本书还利用实际数据构造了中国单部门及六部门可计算非线性动态投入产出模型，力图从数量上描述出中国经济最...
可计算性理论
ISBN：9787030000613本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形...
基于可计算一般均衡模型的决策支持系统
ISBN：9787542624666随着计算机技术的飞速发展，复杂大系统的建模与仿真技术瓶颈也获得突破。在各国经济决策研究需求的牵引和适用方程求解技术的推动下，自20 世纪70年代开始，可计算一般均衡模型(CGE模型)就成为应用政策分...
可计算性与计算复杂性导引
ISBN：9787301032299本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机...
可计算性理论
ISBN：9787030063786本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果．主要内容包括：可计算性理论基础知识，可计算枚举集，有穷和无穷延伸方法，有穷损害优先方法，无穷损害优先方法，计算复杂性理论，及时单纯...
可计算性
ISBN：9787506233095Preface My inte ...
可计算的一般均衡模型
ISBN：9787111242802《可计算的一般均衡模型:建模与仿真》在介绍CGE模型的基本理论和组成的基础上，首先详细地介绍了利用通用数学建模系统(GAMS)进行仿真所需要的基本知识，并利用实例帮助读者学习和掌握用GAMS软件建立...
可计算性与计算复杂性导引
ISBN：9787301074633本书是学习理论计算机科学基础的教材和参考书，内容包括三部分： 可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动...
可计算性、计算复杂性与算法设计思路
ISBN：9787563629107《可计算性、计算复杂性与算法设计思路》是根据作者为计算机软件与理论专业博士生讲授的一门课程的讲稿整理而写成的。全书共九章，包括引论、递归函数和λ-演算、图灵机、可计算性理论、计算复杂性概论、近似算法...
可计算一般均衡模型的基本原理与编程
ISBN：9787543217553作为可计算一般均衡（CGE）模型的入门教材，《可计算一般均衡模型的基本原理与编程》深入浅出地介绍CGE模型的基本原理并训练学生动手编程，适合大学本科和研究生相关课程的教学或者学生自学。学习《可计算一...
可计算性与数理逻辑
ISBN：9787121007798本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题...
