注册 | 登录
100 条"数理逻辑·证明及其限度"搜索结果
数理逻辑·证明及其限度
数理逻辑·证明及其限度
  • 杨跃
  • 本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
广域同步相量测量技术及其应用 电子书
广域同步相量测量技术及其应用
  • (美)斐克
  • 本书从电力系统相量等基本概念人手，结合数字信号处理技术，全面系统地论述了额定频率及偏离额定频率情况下的相量计算方法、相量测量单元的暂态响应、电力系统动态监测系统构成，以及同步相量信息在状态估计、反馈控制、继电保护和机电波传播等方面的应用。
电力系统电力电子及其试验技术 电子书
电力系统电力电子及其试验技术
  • 汤广福
  • 本书围绕电力系统电力电子及其试验技术展开阐述，分析和总结了典型电力系统电力电子装置如静止无功补偿器、可控并联电抗器、静止同步并联补偿器、可控串联补偿器、故障电流限制器、统一潮流控制器以及高压直流输电和柔性直流输电等装置的工作原理及应用，特别是相控晶闸管阀、基于晶闸管电流源换流器阀、基于IGBT电压源换流器阀等基本原理、特性和运行工况；阐述了上述高压大功率电力电子变流器/换流器的应力特性、等效试验机
雷锋精神及其当代价值研究 电子书
雷锋精神及其当代价值研究
  • 马振清
  • 本书将雷锋精神与时代精神相结合，探讨雷锋精神的当代价值。内容包括：雷锋与雷锋精神、雷锋精神内涵解读、雷锋精神的当代价值、雷锋精神的当代启示、推进学雷锋活动常态化的机制。
儒道情感哲学及其现代价值 电子书
儒道情感哲学及其现代价值
  • 著
  • 本书分为两个部分，上篇是儒道情感哲学本论，下设三个独立章，分别探讨了儒家哲学和道家哲学注重情感的特点、儒家与道家情感哲学的义理诠释、儒道情感教育与情感实践。下篇论述儒道情感哲学的现代价值，研究了儒情与道情理论与现当代中国的人格建构及人的精神健康而和谐的发展。
高性能MVVM框架的设计与实现：San 电子书
高性能MVVM框架的设计与实现：San
  • 百度 KFive
  • 揭秘支撑百度三大业务的MVVM框架设计，领悟高性能跨端全栈设计思想。
感悟中医（第3版） 电子书
感悟中医（第3版）
  • 马有度
  • 《感悟中医》第2版于2009年出版，反响较好，应广大读者要求进行修订。本次修订，在第二版的基础上进行了精炼、提高和创新。并同时重点加强病证方药、养生保健、中医药文化等内容，使本书更加切合实际。作者从事临床和科普写作50余年，其独特的文笔风格深受在校生喜爱，对于广大的青中年中医药工作者具有较高的参考价值。
中秋明月情 电子书
中秋明月情
  • 《中秋明月情》编辑组
  • 本书是一部以阿胶文化为背景，以“中秋”“明月”为主题的作品集。收入了龙一、肖克凡、孙惠芬、邵丽、范稳、李寂荡、肖江虹、王姝蕲、梁鸿等著名作家创作的不同体裁的作品，包括散文、诗歌等。主要篇目有诗歌《抵达》《每个中秋都有一颗明月之心》等，散文《一次还乡》《古老》《驴背之上》《东阿记》等。通过作家的文字，展现了东阿阿胶传承的深厚的历史文化积淀，传递了“中秋”节思乡、团圆，孝老爱亲的中华传统情感和美德。
流程管理风暴：EBPM方法论及其应用 电子书
流程管理风暴：EBPM方法论及其应用
  • 王磊
  • 业内知名团队流程管理十年实战经验全面总结，开启数字化时代的新流程管理。
太赫兹技术及其生物学应用 电子书
太赫兹技术及其生物学应用
  • 府伟灵 主编
  • 中国在太赫兹在生物医学应用领域内的第一部专著。
手外科手术并发症及其对策 电子书
手外科手术并发症及其对策
  • 洪光祥 主编
  • 对预防手部手术并发症的发生和提高医疗质量具有重要作用，是中青年手外科、显微外科、骨科医师案头必备之书。
高端锻压制造装备及其智能化 电子书
高端锻压制造装备及其智能化
  • 赵升吨
  • 本书可作为锻压设备研发、生产及应用的企业、研究所的工程技术人员以及高等院校相关专业师生参考。
政治与美德：悠斋书序及其他 电子书
政治与美德：悠斋书序及其他
  • 万俊人
  • 本书既有对西方伦理学、中西学术比较、公共性的政治伦理的理解，又有对乡愁、家国的体认。
多媒体信息隐藏通信及其盲提取技术 电子书
多媒体信息隐藏通信及其盲提取技术
  • 王尔馥
  • 本书结合多种变换域处理手段及先进的信号处理方式，侧重于算法在混沌保密通信领域中的典型应用，以多媒体信号为对象，将相关基础理论及近年来研究成果进行汇编。
超分辨测向理论及其性能优化技术 电子书
超分辨测向理论及其性能优化技术
  • 甄佳奇
  • 本书系统地论述了超分辨测向的理论、算法以及一些提高测向精度和测向速度的技术，总结了作者从博士阶段开始至今的研究成果以及国际上这一领域的研究进展。全书共由10章组成，主要内容有：空间谱估计的研究进展、典型的阵列信号模型、信号个数估计算法、常规的超分辨测向算法、虚拟阵列测向算法、极化敏感阵列下的循环平稳信号测向算法、宽带聚焦类测向算法、阵列误差校正算法、远近场混合信号超分辨测向算法以及超分辨测向的快速
高等教育现代教学技能及其应用 电子书
高等教育现代教学技能及其应用
  • 吴疆
  • 本书共分为5个部分，其中D一部分主要介绍基本教学技能、课堂教学技能和媒体资源利用技能在教学中的运用，D二部分主要介绍现代教学理念、教学设计的方法与要素、以教为主的教学设计和以学为主的教学设计，第三部分主要介绍文字、声音、图像、视频、动画等视听觉媒体的运用与规范，第四部分主要介绍多媒体课件的教学设计与制作流程、多媒体课件设计技能和微课设计技能，第五部分主要介绍教学与开发技能、培养学生创新思维的技能、
污名：差异政治的主体建构及其日常实践 电子书
污名：差异政治的主体建构及其日常实践
  • 姚星亮
  • 梳理了污名的负面效应与社会危机，探讨了走出污名之可能与政治文明的社会之可能。
美国征收法的起源及其现代制度建构 电子书
美国征收法的起源及其现代制度建构
  • 孙聪
  • 本书分古典时期征收法的变迁、征收法的现代制度建构两篇，共五章。内容包括：殖民地时期征收性法律的制度要素和渊源；征收法律制度的起点：征收条款；国家征收：联邦主义的兴盛与恣意的征收权；管理性征收：行政规制与财产权的矛盾；司法征收：扩张的司法权与日益模糊的财产权。
股权众筹的运作机理及其风险研究 电子书
股权众筹的运作机理及其风险研究
  • 刘德红
  • 本书从我国股权众筹现状及问题着手，对股权众筹运作机理和“领头+跟投”运作原理进行了分析，在此基础上结合股权众筹融资绩效模型实证分析了领投人对股权众筹融资绩效的影响；从我国股权众筹的三个角度的风险进行分析，包括平台、筹资人和投资人，提出了相应的风险防范措施和建议。
中国的金融机构及其主要经营 电子书
中国的金融机构及其主要经营
光伏电站自动化技术及其应用 电子书
光伏电站自动化技术及其应用
  • 祁太元
  • 本书紧密联系光伏电站自动化专业工程实际，遵循理论与实践相结合、侧重实际应用的原则，全面系统地介绍了光伏电站自动化系统的原理、构成、运行维护及故障处理等方面的内容。本书主要内容和工程案例均来自于工程实际应用和光伏电站现场运维经验。全书共十章，分别为概述、光伏电站计算机监控系统、光伏电站同步相量测量技术、光伏电站功率预测技术、光伏电站功率控制技术、数据通信及规约、调度数据网、二次系统安全防护、光伏电站
推荐书籍
食管癌 电子书
食管癌
杨跃
本书是《肿瘤科普百科丛书》之一，侧重于介绍食管癌。食管癌在我国恶性肿瘤发病率中位居第6位，世界上超过60%的食管癌新发病人在我国，病人群体巨大，长期以来该疾病治疗难度大，患病群...
肺话——肺要清，更要养 电子书
肺话——肺要清，更要养
杨跃
肺要清，更要养。北大肿瘤医院胸外科教授教你更健康、更自如的呼吸。
相关词语
物理学 外科学 教育 社会学 研究
意见反馈
我的书架

公众号

关注微信公众号