集论

集论与逻辑 : 面向计算机科学.pdf

本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。

人力资源管理集论.pdf

  本书根据人力资源管理研究对象的不同,以相关企业为例,研究探讨了企业员工的招聘、培训、激励与使用,以及人力资源的开发与合理配置、企业文化建设、企业制度建设和团队管理等。全书分为七篇,第一篇,人力资源管理由九章构成,主要研究了企业人力资源的配置问题;第二篇,企业文化建设由四章构成

集合论导引(第二卷)集论模型.pdf

本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从