当前位置:首页 > 名称

大约有8,000项符合查询结果项。(搜索耗时:0.0180秒)

为您推荐: 科学史与科学哲学导论 在逻辑与哲学之间 逻辑与哲学 逻辑学导论 新编归纳逻辑导论 归纳逻辑导论

  • 数理逻辑与集合论

    石纯一,王家廞编著2000 年出版224 页ISBN:7302040427

    《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与...

  • 最大似然估计法 逻辑与实践

    (美)斯科特.r.伊莱亚森著2017 年出版139 页ISBN:7543219999

    《最大似然估计法:逻辑与实践》是“格致方法·定量研究系列”丛书之一。本书是最大似然估计法的入门级读物。作者斯科特·伊莱亚森介绍了除正态分布之外的其他重要连续分布,并进一步讨论了不同的最大似然统计...

  • 实验化学导论 技术与方法

    陈昌国,曹渊主编2010 年出版246 页ISBN:9787562457268

    本书内容包括绪论、化学实验基础知识、化学实验基本操作技术和方法、物质的分离提纯技术和方法、化学定量分析技术和方法、热力学测量技术与方法、电磁光学测量技术与方法及、微机在化学实验中的应用等八章...

  • 数理逻辑引论与归结原理

    王国俊著2006 年出版258 页ISBN:7030165837

    本书在第1版的基础上进行修订再版,内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

  • 非经典数理逻辑与近似推理

    王国俊著2000 年出版305 页ISBN:7030085442

    本书大部分内容是作者近期的研究成果,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学...

  • 实物与暗物的数理逻辑

    宋文淼,阴和俊编著2006 年出版159 页ISBN:7030164229

    量子力学与相对论极大地改变了人类的思维和对自然的认识,极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗?未来的物理学向哪个方向发展?本书从实物与暗物的数理逻辑角度提供了一个视角,阐述了重...

  • 数学哲学与数学教育哲学

    郑毓信著2007 年出版396 页ISBN:7534380901

  • 国外计算机科学教材系列 可计算性与数理逻辑

    (美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282

    本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...

  • 量子场论与重整化导论

    石康杰,杨文力,杨战营编著2014 年出版343 页ISBN:9787030409959

    本书组织大陆三个同步辐射装置第一线的业务骨干40多人全面介绍同步辐射的产生、性质、加速器、光束线和实验方法、数据分析、应用实例以及国际发展趋势。全书共十章,既有基础理论、基本原理深入浅出的介绍,也...

  • 现代理论物理导论 第1卷 经典物理与相对论

    (美)哈里斯(Harris,E.C.)著;钱尚武,朱保如译1984 年出版410 页ISBN:13119·1169

返回顶部