导引
集合论导引(第二卷)集论模型
《集合论导引(第二卷)集论模型》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636225。本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从
近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究
《近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究》,作者:黄文奇,许如初著 出版社:科学出版社 ISBN:7030126173。本书为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效求解途径,并在透彻讲解图灵机的基础上阐明为何有计算机不可解、难解的问题,且为NP问题指明了得出高性能求解算法的现实途径等。
集合论导引(第一卷)基本理论
《集合论导引(第一卷)基本理论》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636218。本卷是这本《集合论导引》的开卷,分为三章,是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法,并给出典型的可数集合的例子,包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门
