注册 | 登录
100 条"数理逻辑·证明及其限度"搜索结果
数理逻辑·证明及其限度
数理逻辑·证明及其限度
  • 杨跃
  • 本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
可信计算远程证明与应用 电子书
可信计算远程证明与应用
  • 闫建红
  • 可信计算是信息安全的一种新技术和新体系结构。远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程证明及其应用方面多年的研究成果。本书分为8章，主要包含了信息安全概述、可信计算、基于混合加密的可信软件栈数据封装、动态属性证明协议、度量行为信息基的可信证明、可信远程证明在DRM中的应用、基于TPM的物联网安全等内容。本书可作为信息安全及相关专业高年级
螺纹及其联结 电子书
螺纹及其联结
  • 中国机械工程学会
  • 本书介绍了螺纹术语，及现行螺纹标准的基本技术，且包含了2000至2002年发布的四项最新管螺纹国家标准，及2003年新发布的相关国家标准等。
质量/环境/职业健康安全一体化管理体系成套文件经典案例——制造业和核电厂卷第2版 电子书
质量/环境/职业健康安全一体化管理体系成套文件经典案例——制造业和核电厂卷第2版
数据挖掘及其应用 电子书
数据挖掘及其应用
  • 李燕
  • 随着互联网、云计算和人工智能等高科技信息技术的飞速发展，人类已迈入大数据时代，但很多时候我们会感到被数据淹没，却缺乏知识的困境，并没有“得数据者得天下”的能力，我们迫切需要从海量数据中，找到值得参考的样型或规则，转换成有价值的信息或知识，创造更多新价值，因此，数据挖掘成了我们提取数据信息的必要窗口。　　本书共8章，主要介绍了数据挖掘的理论方法与实践应用，内容涵盖了关联规则挖掘、决策树分析、聚类分析
Matlab优化设计及其应用 电子书
Matlab优化设计及其应用
  • 陈玉英,严军,许凤,张红兵
  • 本书以Matlab语言为工具，介绍了优化设计的相关理论基础，并以实用、多角度的工程实例为对象，通过编程实现其求解及优化目的。主要内容包括：优化设计基本模型及图形表示，线性规划，一维搜索方法，无约束优化问题，有约束优化问题，多目标函数优化问题的经典算法，Matlab优化工具箱函数及应用，优化算法工程应用实例等内容。本书可作为高等工科院校有关专业优化设计相关课程的教材和教学参考书，也可供有关专业教师及
论审计主题及其作用 电子书
论审计主题及其作用
  • 郑石桥
  • 本书从审计主题视角来探索审计基本问题，分析审计主题的概念、特定事项成为审计主题的条件及审计主题的类型；在此基础上，对相对陌生的行为主题做深入的剖析。分别从审计一般的视角和基于不同审计主体的视角研究审计主题对审计的影响，阐释审计主题对如何审计的影响，审计主题对审计主体和审计客体的影响以及审计主题在审计理论中的作用。
法治及其实践逻辑 电子书
法治及其实践逻辑
  • 武建敏
  • 本书除导论外，共五章，内容包括：中国古典法治；历史变迁：法治的现代性追寻；现代法治谋划的多维视角；基于实践立场的法治理论；事实与期待：法治多元主义的世界情怀。
独目小僧及其他 电子书
独目小僧及其他
  • 柳田国男
  • 本书收录了关于传说的11篇文章，特别关注了独目之神。在《独目小僧》中，作者提出，在古代祭祀之中，为区别神主与常人，令神主只剩一目一足，其怨灵游荡于山野之中，最终形成了现在作为妖怪的独目小僧形象。其他各篇还论及诸如桥神、鱼王、巨人等日本民间传说的由来。
诗性林语堂及其跨文化传播 电子书
诗性林语堂及其跨文化传播
  • 刘奕华 著
  • 本书着重研究诗性林语堂及其跨文化传播。林语堂是中国现代文学史上一道独特的风景，在“西学东渐”的大潮中，他却逆潮流而动，热衷于“东学西渐”，并取得前无古人的成就，成为跨文化传播的成功个案。作者认为，林语堂具有的诗性的人格魅力，在文化传播中起到了决定作用。本书以林语堂的人格特征作为切入点，研究其跨文化传播的特点，这是目前林语堂研究中的一个崭新视角。
光伏发电技术及其应用 电子书
光伏发电技术及其应用
  • 魏学业 王立华 张俊红 编著
  • 光伏逆变器是将光伏电池产生的准直流电能转换为交流电能的装置，是太阳能发电系统的核心器件。本书将系统地介绍光伏电池的基本原理、光伏逆变器的基本原理和实用实例，特别是对光伏逆变器的结构特点、转换原理、最大功率点跟踪原理、阴影下的光伏电池的发电特性进行详细介绍。本书注重简洁的基础知识和实际应用，在表达方式上力求做到语言通俗、简洁易懂，提高研究和使用人员的兴趣。
纳税规划及其法律规制研究 电子书
纳税规划及其法律规制研究
  • 夏仕平
  • 本书以我国税收理论和实践为基础，吸收了BEPS行动计划的合理成分，梳理了纳税规划在中国的演进过程，并进行了法理学分析。通过对避税或纳税规划案例分析，以及对法律法规的研读，筛选出了典型的激进型纳税规划行为，并分别从资本弱化、混合错配、滥用税收协定、受控外国公司、转让定价、强制信息披露等视角分析了激进型纳税规划的基本路径或模式；通过文献研究，评析了相关国家对激进型纳税规划的规制措施的着力点及经验，重点
中国数字经济及其空间关联 电子书
中国数字经济及其空间关联
  • 董晓松
  • 以数字经济为核心，考虑地理空间性，研究数字经济特有的空间增长机理。
共享经济及其商业模式 电子书
共享经济及其商业模式
  • 董晓松
  • 梳理共享经济的概念，并对其商业模式进行全方位探讨，对未来共享经济发展进行前瞻性预测。
UML及其建模工具的使用 电子书
UML及其建模工具的使用
先进视觉检测网络及其应用 电子书
先进视觉检测网络及其应用
  • 郏东耀
  • 本书系统介绍了先进视觉检测网络的基本问题及其相关处理技术主要内容涉及先进视觉检测网络的理论、算法和典型应用实例。本书共9章，主要内容包括先进视觉检测网络技术基础、先进视觉检测网络中的拓扑架构分析、先进视觉检测网络中的海量数据传输拥塞及对策、先进视觉检测网络中的传输能耗优化、先进视觉检测网络中海量数据并行处理方法、先进视觉检测网络中弱对比度目标检测、先进视觉检测网络中特定目标检测、先进视觉检测网络中
投资项目逻辑框架及其应用 电子书
投资项目逻辑框架及其应用
中医治疗技术及其应用 电子书
中医治疗技术及其应用
  • 姜海欧
  • 中医治疗技术与多个学科相关联，珍藏着中国人民同疾病作斗争的丰富经验和理论知识。历代医家通过长期临床医疗实践，从不同角度创新、总结、发明了各种防病治病的医疗技巧与方法，形成了具有中华民族特色的治疗技术。本书主要收集、整理、总结了现在临床常用的拔罐、针灸、推拿按摩、刮痧、放血疗法等数十种中医治疗技术，详细阐述了各种治疗技术的概念、治病机理、操作方法、适应证、禁忌证、注意事项及其临床应用等。尤其在具体操
公益项目模式：理论框架及其应用 电子书
公益项目模式：理论框架及其应用
  • 陶传进 朱照南 刘程程 著
  • 本书将“项目模式”定义为基于项目实际生长脉络而形成的复杂结构，而非基于简单的逻辑框架或理论框架进行演绎形成的因果关系模型。项目模式所包含的核心要素是“节点问题”，以及解决节点问题的方案设计和特定技术。基于此，作者对目前国内开展的公益项目依据项目模式的复杂程度和技术内涵进行了层级划分，提出了公益项目五层级的分析框架，并且对五个层级的公益项目模式的特点及其主要的“节点问题”进行了概述与分析。
新世纪地区安全危机及其治理 电子书
新世纪地区安全危机及其治理
  • 刘鸣 主编;顾炜 汪舒明 副主编
  • 进入新世纪以来，世界范围内的大国间直接冲突的可能性在降低，但各种地区性危机与冲突层出不穷。在一些地区，危机和紧张获得了较好的管控；在另一些地区，危机却上升为地区性冲突，并引发了域外大国或国际组织的介入和干预。这些安全难题和困局呈现出新老因素交织、地区性因素与全球性因素联动的特征。如何实现对这些安全难题和困局的管控与治理，是维护全球和地区两个层次稳定与安全的重要路径，受到了国际社会的普遍关注，也引发
混沌时间序列预测及其抵抗方法 电子书
混沌时间序列预测及其抵抗方法
  • 杜宝祥
  • 本书首先分析了现有混沌时间序列预测的基本理论与方法，然后给出了两种预测方法：基于最小二乘支持向量机动态选择集成混沌时间序列预测方法和基于变异粒子群联合参数优化多尺度核混沌时间序列预测方法，两种方法都很好地提高了混沌时间序列的预测精度。最后详细介绍了双重K-L变换（Karhunen-LoeveTransform）方法，该方法有效抵抗了对混沌序列的预测，提高了系统的安全性。
推荐书籍
食管癌 电子书
食管癌
杨跃
本书是《肿瘤科普百科丛书》之一，侧重于介绍食管癌。食管癌在我国恶性肿瘤发病率中位居第6位，世界上超过60%的食管癌新发病人在我国，病人群体巨大，长期以来该疾病治疗难度大，患病群...
肺话——肺要清，更要养 电子书
肺话——肺要清，更要养
杨跃
肺要清，更要养。北大肿瘤医院胸外科教授教你更健康、更自如的呼吸。
相关词语
意见反馈
我的书架

公众号

关注微信公众号