注册 | 登录
100 条"数理逻辑·证明及其限度"搜索结果
数理逻辑·证明及其限度
数理逻辑·证明及其限度
  • 杨跃
  • 本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
混沌时间序列预测及其抵抗方法 电子书
混沌时间序列预测及其抵抗方法
  • 杜宝祥
  • 本书首先分析了现有混沌时间序列预测的基本理论与方法，然后给出了两种预测方法：基于最小二乘支持向量机动态选择集成混沌时间序列预测方法和基于变异粒子群联合参数优化多尺度核混沌时间序列预测方法，两种方法都很好地提高了混沌时间序列的预测精度。最后详细介绍了双重K-L变换（Karhunen-LoeveTransform）方法，该方法有效抵抗了对混沌序列的预测，提高了系统的安全性。
变轨：数字经济及其货币演进 电子书
变轨：数字经济及其货币演进
  • 周子衡
  • 本书全面诠释数字经济发展进程，前瞻数字货币演进趋势。
旅游资源价值及其评价 电子书
旅游资源价值及其评价
  • 谌贻庆
  • 本书从反映“物与物”“人与物”“人与人”三大关系的角度出发，提出旅游资源价值由“构序价值”“体验价值”“劳动价值转移”三部分构成。
农转居社区转型及其治理 电子书
农转居社区转型及其治理
  • 叶继红
  • 农转居社区治理研究：创新概念和多元主体能力分析。
贞下起元——当代、文学及其话语 电子书
贞下起元——当代、文学及其话语
  • 刘大先
  • 本书分为理解“当代”的维度、谱系与地图、观念与情感、现象与个案、问题与未来五部分，内容包括：“中国故事”与重建集体性、日新的传统与融合的主体、个体记忆的道德超越、当代散文写作的核心问题、何谓当代小说的史诗性等。
创新活动及其心理学研究 电子书
创新活动及其心理学研究
  • 本书以“创新活动及其心理学研究”为主题，探讨了知识创新工程项目的相关内容。书中收录了15篇关于创新研究和理论思考的论文，其中从心理学的视角了解创新与中国文化，以及创新与科技、企业和教育三类创新主体之间的关系。
禅宗的流布及其要典翻译 电子书
禅宗的流布及其要典翻译
  • 张志芳
  • 本书共五章，包括禅宗的印度之源，禅宗的中国传统文化背景，禅宗向外传播，禅宗要典及其翻译，禅宗对东西方文化的影响。
DSP技术及其应用（第2版） 电子书
DSP技术及其应用（第2版）
  • 钱满义
  • 本书分为8章，介绍了DSP数字信号处理器概述、TMS320C55xDSP的硬件结构、DSP系统的软件设计、集成开发环境CCS的使用等内容。
线性规划方法及其微机软件 电子书
线性规划方法及其微机软件
  • 陈松华
  • 本书是普及数学规划方法的工具书。书中共分两大部分。第一部分介绍五种常用的数学规划方法：线性规划、目标规划、多目标规划、混合整数规划和运输问题。第二部分介绍在长城系列微型计算机上研制的适用于求解上述规划问题的多功能数学规划软件包MLPSP及其操作方法。MLPSP软件包采用汉字会话工作方式，功能比较齐全，实用性强，使用灵活方便。
CTMR特殊影像检查技术及其应用 电子书
CTMR特殊影像检查技术及其应用
  • 陈晶
  • 本书籍主要针对CT/MR特殊成像技术进行编写，参照教材"五性"编写原则，以临床疑难影像检查技术为重点，内容涵盖临床实践技术的各个环节，满足临床不成程度的影像需求，专门介绍了CT、MR的特殊成像技术及临床应用。本书配以大量图谱，内容通俗易懂，使用方便，特色鲜明，实用性强，同时本书也注重影像检查技术服务的人文关怀和本学科的新技术的研究及应用进展。
元宇宙时代 电子书
元宇宙时代
  • 通证一哥
  • 元宇宙是平行于现实宇宙的虚拟宇宙，其基于Web3构建，是未来人类文明的重要形态。
出国参展手册 电子书
出国参展手册
  • 进出口经理人编辑部
  • 出国参展是推动企业“走出去”、提升中国产品竞争力和获取国外订单的*佳途径之一。近年来，大量出口企业走出国门，参加世界各地的国际展会，奋斗在外贸*前线。本书通过展览行业协会、展会主办方、参展企业、展会代理机构、展会服务机构等出展人的实际经验，着重介绍国际上知名展览、世界商展的变化和特点、新兴展会市场的发展、成功参展的流程及手段，让中国企业学会如何通过参加国际展会获取市场信息、取得外贸订单、促进技术进
危机与重构：唐帝国及其地方诸侯 电子书
危机与重构：唐帝国及其地方诸侯：唐帝国及其地方诸侯
  • 李碧妍
  • 抽丝剥笋，解析安史之乱后的大唐帝国。
铟及其化合物中毒与防治 电子书
铟及其化合物中毒与防治
  • 李涛
  • 紧跟职业病防治新形势，普及新知识，适应社会需要。
组态软件WinCC及其应用（第2版） 电子书
组态软件WinCC及其应用（第2版）
  • 何文雪 编者
  • 由浅入深介绍西门子公司的组态软件WinCC，注重示例，强调应用。
中国近代慈善义演文献及其研究 电子书
中国近代慈善义演文献及其研究
  • 郭常英
  • 一部研究中国近代慈善义演活动的文献类专著。
媒介时代的学生公民素养及其培育 电子书
媒介时代的学生公民素养及其培育
  • 班建武 等著
  • 本书从教育学角度探讨了媒介时代学生素养教育问题。全书分为两部分，第一部分为调查问卷，作者采取抽样调查的方式，对北京、山东、安徽、山西、广西和四川6个省份的中学生进行了问卷调查，并以此为蓝本进行分析；第二部分为专题研究，从网络、微博、电视等媒体形态探讨了对学生的公民意识教育问题，论述了媒介素养与公民教育的关系问题，从青少年政治社会化的角度和公民的权利和义务角度阐述了对青少年进行公民素养教育的必要性和
模糊控制及其MATLAB仿真（第2版） 电子书
模糊控制及其MATLAB仿真（第2版）
  • 石辛民
  • 石辛民、郝整清编著的《模糊控制及其MATLAB仿真(第2版高等学校控制科学与技术教材)》着重介绍模糊控制的基本概念、基本原理和基本方法。主要内容包括模糊控制的数学和逻辑学基础、模糊控制器的设计、模糊控制系统的仿真以及神经网络在模糊控制中的应用。本书内容深入浅出、循序渐进、叙述简明、精练实用,可以作为控制科学和技术类专业本科及研究生学习“模糊控制”的教材，也可供与此相关的科研人员和从事控制工程的技术
可再生能源及其发电技术 电子书
可再生能源及其发电技术
  • 钱显毅
  • 新能源和可再生能源是目前各国对能源研究的重要方向，特别是能源紧缺的国家。何一鸣编著的《可再生能源及其发电技术》系统介绍了新能源和可再生能源的基本知识，重点分析了可再生能源的发电技术，主要内容包括太阳能及其发电技术、风能及其发电技术、海洋能及其发电技术、生物质能及其发电技术、地热能及其发电技术、水能及其发电技术。在确保可再生能源发电知识系统性的基础上，调研并参考了相关行业专家的意见，介绍了一些新能源
上市公司财务问题及其分析 电子书
上市公司财务问题及其分析
  • 肖星
  • 本书首先介绍了财务信息的内容及其与企业经营活动的关系，以及如何结合企业的业务特性和经营战略深入理解这些财务数据，对企业的状况做出判断。
推荐书籍
食管癌 电子书
食管癌
杨跃
本书是《肿瘤科普百科丛书》之一，侧重于介绍食管癌。食管癌在我国恶性肿瘤发病率中位居第6位，世界上超过60%的食管癌新发病人在我国，病人群体巨大，长期以来该疾病治疗难度大，患病群...
肺话——肺要清，更要养 电子书
肺话——肺要清，更要养
杨跃
肺要清，更要养。北大肿瘤医院胸外科教授教你更健康、更自如的呼吸。
相关词语
视野洞察 旅游资源开发 旅游资源价值 旅游吸引力 旅游承载力 人工智能 通俗读物 信息经济 科技关键词 历史 中国史 政治史 隋唐史 中古史 唐史 藩镇 李碧妍 内科学 应用 软件 组态 历史学术著作
意见反馈
我的书架

公众号

关注微信公众号