注册 | 登录
100 条"数理逻辑·证明及其限度"搜索结果
数理逻辑·证明及其限度
数理逻辑·证明及其限度
  • 杨跃
  • 本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
智能变电站自动化系统集成测试技术 电子书
智能变电站自动化系统集成测试技术
  • 陈其森
  • 本书围绕智能变电站二次系统集成测试技术，从基本概念入手，对智能变电站二次系统若干关键测试技术，如系统配置技术、典型装置测试技术、网络系统测试技术、时间同步系统测试技术、系统功能测试技术和典型工具软件进行总结和归纳，并在调试基地建设、集成测试组织和集成测试新技术方面进行了建设性说明和阐述。
极简教育技术与小学英语教学 电子书
极简教育技术与小学英语教学
  • 何其钢
  • 本书共四章，内容包括：极简教育技术与小学英语教学的融合及新趋势、极简教育技术优化小学英语课堂之基本功、极简教育技术优化小学英语课堂教学之课堂教学与评价、极简技术优化小学英语课堂教学之教学案例研究。
20世纪中国历史考证学 电子书
20世纪中国历史考证学
  • 陈其泰
  • 本书全面系统地梳理和挖掘20世纪中国历史考证学遗产，分别探讨了王国维、陈寅恪、陈垣、胡适、顾颉刚、傅斯年，以及孟森、吕思勉、岑仲勉、钱穆、汤用彤、徐旭生、陈梦家、徐中舒、谭其骧、唐长孺等考证名家的成就，评价他们在20世纪学术史上的地位；同时首次做到将1949年以后台港历史考证学名家置于20世纪中国史学研究的总题目下进行考察，评述了劳榦、严耕望、饶宗颐、张光直的贡献；最后从方法论的角度对新历史考证学
丁甘仁医学全集 电子书
丁甘仁医学全集
  • 李其忠
  • 本书分上中下三部分。上篇医案，主要汇集丁老典型医案近200余则，内容涉及内外妇儿五官等各科；中篇医论，收集丁老医论50余论，较全面地反映丁老独特的学术思想和成就；下篇方药，从“诊方辑要、丁甘仁用药一百十三法、丁氏外科丸散膏丹验方录、丁甘仁家传珍方等进行论述，充分体现了丁老临床用药规律和特色。全书内容丰富，具有较高的学术价值和实用价值。
脊柱结核单纯经后入路病灶清除椎体间植骨术——手术要点与技巧 电子书
脊柱结核单纯经后入路病灶清除椎体间植骨术——手术要点与技巧
  • 张宏其
  • 大量的临床实践证明，笔者所提出并倡导的单纯经后路术式，对于胸腰椎结核是一种符合"微创理念"、安全、高效的手术方法；其临床应用亦越来越广泛，已使大量的脊柱结核患者免于前路手术、使原需两次手术或一期手术两个切口的患者，仅需一次手术/（一个切口），即可达到治疗目的，节约了费用、最大限度的减少了病人痛苦、减少了并发症；但笔者提出单纯后路术式，并非单单手术入路的革新，更是包括了一系列的关键技术内涵，只有把握
读懂中医药文化 电子书
读懂中医药文化
  • 张其成
  • 中医药文化根植于中国传统文化，中医药理论及其实践全面体现了中国传统文化的观念和思维方式。本书从中华文化的整体性出发，对于中医药文化进行深入浅出的说明，在语言表达上尽量以故事和比喻来加以说明，具有趣味性和专业性相结合的特点。内容主要包括中医药文化的内涵：包括中医自然观、中医身体观、中医药食观和中医治疗观；中医文化与儒释道：包括中医与民俗、中医与儒家、道家和佛家。在语言表达上，尽量以故事和比喻来加以说
湿证发微　寒温穷源 电子书
湿证发微　寒温穷源
  • 陈其昌
  • 《寒温穷源》《湿证发微》为清末至民国时期河南“鸿儒大医”陈其昌的著作。《湿证发微》先言天地气运，再言人身经络；究湿证之源，阐湿证之理，补医门湿证著作历史之缺。《寒温穷源》析千古似是而非之论，辨寒温几微差慝之源，使学者晓得阴阳活法的道理，以伤寒治温证宜，以温证治伤寒亦宜也。《湿证发微》《寒温穷源》见解独到，“独得三昧，足于仲景《伤寒论》条例外特树一帜”，足为寿世津筏，对推动当代中医药学术的进步具有重
彩色的阅读教室 电子书
彩色的阅读教室
  • 周其星
  • 本书收录了《因为孩子，你如此热切》、《教材需要重建》、《规则的内在运行》、《活动是最好的凝聚剂》、《迷人的写作课堂》等文章。
海派中医内科丁甘仁流派系列丛书——裘沛然学术经验集 电子书
海派中医内科丁甘仁流派系列丛书——裘沛然学术经验集
  • 王庆其
  • 裘沛然为首届国医大师、上海中医药大学和上海市中医药研究院终身教授，1930～1934年入丁甘仁先生所创办的上海中医学院学习。全书分4个篇章：上篇“生平史略”，介绍海派中医裘沛然生平、成才之路、主要传承人等；中篇“学术钩玄”，详细阐述裘沛然的学术思想、临证经验、优势病种、经验方；下篇“医案医话”，精选裘沛然的经典医案医话；附篇“流派速览”，介绍裘沛然的学术传承谱系及相关著作等。
黄帝内经临证发微 电子书
黄帝内经临证发微
  • 王庆其
  • 本书分“阴阳五行”“藏象”“病因病机”“病证”“治则治法”五篇来阐述经典之要旨，五篇又细分为《内经》原文条目，从《内经》原文条目结合临床医案进行分析，把经典之要义运用于中医临床之精华阐透无疑。本书可作为中医临床医师提高临床疗效、融会贯通中医经典的参考书
灾难与急救 电子书
灾难与急救
  • 张在其
  • 随着生态恶化，自然灾难和人为灾难事故在全球频发，灾难医学事业方兴未艾。国外灾难医学研究较早，出版的著作较多，而我国灾难医学事业起步较晚，出版的有关著作以及参考书籍很少。灾难救援与救治需要科学指导，否则就会造成严重伤残和危害，规范培训急救人员非常重要，这就需要专业著作来支撑，《灾难与急救》就是为此目的而组织全国知名专家共同编写的。
海派中医内科丁甘仁流派系列丛书——丁甘仁学术经验集 电子书
海派中医内科丁甘仁流派系列丛书——丁甘仁学术经验集
  • 李其忠
  • 丁甘仁系一代名医大家，又为现代中医教育的奠基人，近现代中医名家大多出自其门下，继而形成丁氏学派。本书上篇介绍丁甘仁生平史略，中篇讲述丁氏学术思想、临证经验与用药特色、验方，下篇选述经典医案、医论，附篇为丁甘仁创办中医学校的相关内容。本书可供中医及中西医结合临床医师、中医院校师生、海派中医研究者以及中医爱好者参考阅读。
现代通信概论 电子书
现代通信概论
  • 邵汝峰,及志伟
  • 本书为高等职业教育铁道通信与信息化技术专业系列规划教材之一。全书较全面地介绍了现代通信技术的基本原理和主要应用，共分为8章，主要内容包括：通信概述、电话通信、数据通信、图像通信、光纤通信、无线通信、专用通信。　　本书可作为高等院校铁路通信与信息化技术专业教材，也可作为铁路成人教育和铁路职工培训的教学用书，还可供从事铁路通信的现场人员学习参考。
区块链2.0：以太坊应用开发指南 电子书
区块链2.0：以太坊应用开发指南
  • 赵其刚
  • 本书主要介绍区块链第二代技术主导平台“以太坊”的应用开发方法。第1章主要讲解区块链的概念、发展历程、区块链的应用本质及思维模式；第2章主要讲解以太坊的技术原理、体系及其他重要基本概念；第3章主要讲解以太坊的安装、网络的配置及应用开发环境的搭建；第4章主要讲解以太坊应用开发的接口方式；第5章主要讲解以太坊的核心创新——智能合约的开发、编译、部署与应用；第6～8章主要讲解以太坊的经典应用案例、众筹的技
不平等的发展：论外围资本主义的社会形态 电子书
不平等的发展：论外围资本主义的社会形态
  • 高铦
  • 本书是埃及著名经济学家萨米尔·阿明教授的一部代表作，其副标题“论外围资本主义的社会形态”可以说明全书以分析不发达问题为中心。书中作者不仅对亚、非、拉第三世界国家发展道路进行剖析，而且对整个资本主义南北世界（“外围”与“中心”）进行历史的和地域的纵横描述。作者认为，在全世界范围设想的过渡必须以“外围”的解放作为开端，真正的发展（而不是“不发达的发展”）应该是“民族的、民主的和社会主义的”。
幽门螺杆菌感染及其相关疾病防治 电子书
幽门螺杆菌感染及其相关疾病防治
  • 吕农华
  • 从基础至临床全面介绍Hp感染的相关内容。
西藏那曲牧民定居后生活能源消费及其保障 电子书
西藏那曲牧民定居后生活能源消费及其保障
  • 杨涛 著
  • 本书研究了牧民定居后生活能源消费的变迁，重点研究了定居行为对生活能源消费的影响，主要涉及：一归纳总结了牧民定居的基本情况以及能源贫困的形成原因和缓解措施；二是剖析牧民定居对生活能源消费的影响机制；三以那曲地区为例，分析牧区定居的机制和特征；四以那曲地区四个村庄的调研问卷为基本资料，研究牧民在特定的定居模式下，定居行为对农牧民生活能源消费产生的影响；五优化那曲农牧民生活能源消费升级的目标和实现战略。
茶马古道各民族商号及其互动关系 电子书
茶马古道各民族商号及其互动关系
  • 李旭 著
  • 本书对近代以来活跃在藏区尤其是滇藏间各民族商号的生成兴起、主要人物的经历、经营路线、范围和特点以及兴衰变化，进行了较系统全面而生动的挖掘探索；在此基础上，对各民族商号之间形成的商业经济、手工艺及技术、人口及婚姻、习俗、宗教关系，以及情感、观念和意识认同等互动关系进行了难能可贵的铺陈梳理和分析研究，并对诸种互动关系的作用和机制乃至困境进行了较深入的探讨。
空间信息网络体系架构及其应用 电子书
空间信息网络体系架构及其应用
  • 杜军
  • 本书主要作者为清华大学教授或讲师，在本领域具有很高的学术水平和影响力。与同类图书侧重研究空间通信技术不同，本书重点关注了空间信息网络作为一种特殊的网络结构，其所具有的结构特性及资源配置难题。因此本书所梳理和阐述的内容不仅包括传统空间通信机制研究，还包括空间网络模型、资源配置等方面的前沿成果。此外，这些成果也能够拓展至其它应用领域，如复杂网络、网络安全、网络仿真等。
马克思权利理论及其当代价值 电子书
马克思权利理论及其当代价值
  • 郑小伟
  • 本书共分十一章，内容包括：马克思权利理论的思想源泉、马克思权利理论的整体逻辑、信仰熏染与大学时期对权利问题的探索、《莱茵报》时期理性权利观的动摇、对黑格尔法权理论的超越、对费尔巴哈权利观的超越、异化劳动视界下的权利观等。
推荐书籍
食管癌 电子书
食管癌
杨跃
本书是《肿瘤科普百科丛书》之一，侧重于介绍食管癌。食管癌在我国恶性肿瘤发病率中位居第6位，世界上超过60%的食管癌新发病人在我国，病人群体巨大，长期以来该疾病治疗难度大，患病群...
肺话——肺要清，更要养 电子书
肺话——肺要清，更要养
杨跃
肺要清，更要养。北大肿瘤医院胸外科教授教你更健康、更自如的呼吸。
相关词语
内科学 社会热点问题
意见反馈
我的书架

公众号

关注微信公众号