注册 | 登录
100 条"数理逻辑·证明及其限度"搜索结果
数理逻辑·证明及其限度
数理逻辑·证明及其限度
  • 杨跃
  • 本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
生态保护优先原则及其法律制度因应 电子书
生态保护优先原则及其法律制度因应
  • 李嵩誉
  • 本书以我国生态环境总体仍比较脆弱、生态安全形势十分严峻为切入点研究生态优先原则及其法律制度建构。通过理论制度建构实现生态价值目标，平衡经济利益与生态利益的关系，期望为生态文明制度体系建设提供理论与制度支持。
马克思的教育思想及其意义 电子书
马克思的教育思想及其意义
  • 田毅松著
  • 马克思认为，教育包括精神教育、体育和综合技术教育，其中综合技术教育是重点。综合技术教育既继承了启蒙精神，强调了现代科学技术对于社会进步和人的发展的重要作用，又批判了现代性的弊端，试图实现人的发展。马克思的教育目标是双重的，它既要恢复人的自由个性，又要实现人的全面发展。将自由人作为教育目标，是为了解决自由丧失问题；将全面发展的人作为教育目标，是为了解决人格分裂及其意义丧失问题。马克思的综合技术教育具
钓鱼装备与技法实战 全彩图解版 电子书
钓鱼装备与技法实战 全彩图解版
  • 辑组
  • 　　·429幅场景实拍和彩绘插图从装备到技法全面展示　　·钓鱼冠军Q&A26年实战经验大公开：传统钓·海钓·台钓·路亚　　·9大类钓鱼装备的选择、使用与维护　　·选择钓点、打窝子、挂饵、甩竿、投竿、提竿、遛鱼、抄鱼　　·细节分步图解照着做就能学会：鱼线和鱼钩的绑法、鱼线和鱼竿的绑法、制作饵料、挂饵、渔轮上线【关注“动动吧”公众号（fun-sports），可在线试读和下载，体验逼真的3D阅读效果！】
图解24式杨氏太极拳（视频学习版） 电子书
图解24式杨氏太极拳（视频学习版）
  • 辑组
  • 太极拳世界冠军、中国武术六段高崇专业示范零基础、轻松学594幅高清彩图连贯展示在线学习视频立体化呈现全身热身活动·16种基本动作练习·24式连贯套路习行云流水招式悟太极武术奥义
超级工作整理术 电子书
超级工作整理术
  • 陈金其
  • 用20%的精力，干完100%的工作，找到属于你的自由。
旅程结束时 电子书
旅程结束时
  • 张其鑫
  • 一部关于友谊和人生选择的力作，带你检视前方道路的勇气、信仰与爱。
夺单：销售就该这么做 电子书
夺单：销售就该这么做
  • 臧其超
  • 臧其超分享10年营销经验，提升销售技巧和策略。
8大类旅游综合体定位与规划解码 电子书
8大类旅游综合体定位与规划解码
  • 李其涛
  • 本书分为九章，内容包括：旅游地产与旅游综合体、温泉旅游综合体定位与规划解码、滨海旅游综合体定位与规划解码、主题公园旅游综合体定位与规划解码、体育休闲旅游综合体定位与规划解码、文化创意旅游综合体定位与规划解码、主题酒店旅游综合体定位与规划解码等。
餐饮哲学——屋里门外 电子书
餐饮哲学——屋里门外
  • 吴其华
  • 本书收录了屋里门外（IN·X）设计公司创立近十年来的项目，包括肴肴领鲜饮食会所、四季民福烤鸭店、锦府盐帮酒楼、广徐记炭烧生蚝餐厅等。每个项目都有彩图，文字说明，并对设计过程和设计思路做出了详细的阐释。
购物中心经营管理指南 电子书
购物中心经营管理指南
  • 李其涛
  • 本书结合中国商业地产现状，以购物中心“三权分立”的管理模式为基准，界定购物中心经营管理的概念和范围，理顺各利益层面的相互关系，区分商业管理和物业管理的联系和区别，对团队组建、各部门职责、管理内容、程序、步骤、方法、指标等经营体系进行阐述，详细剖析了购物中心的运营管理思想、管理团队等。
国内外防洪工程经济评价 电子书
国内外防洪工程经济评价
中国工艺美术雕塑器物图解词典 电子书
中国工艺美术雕塑器物图解词典
  • 王其钧
  • 　　本书以图解词典的形式，系统汇集了中国工艺美术雕塑及器物方面的词条，进行细致到位的解读。为读者查考、检索提供了极大的便捷，帮助读者更轻松地查阅相关知识，学习、研究和欣赏中国工艺美术。本书插图精美，作者以严谨的态度，并付出巨大的精力，徒手绘制了图解词典中大部分的插图，每幅插图如一幅美术作品，有较强的欣赏性，具有较高的艺术价值。
宁波市高校学科设置与产业发展适配性研究 电子书
宁波市高校学科设置与产业发展适配性研究
  • 盛其杰
  • 本书共分为五章，以产教融合发展的先锋城市宁波市为样本，从适配性和贡献率两个角度衡量高校服务地方经济的能力。本书突出产教融合这一核心概念，利用科学理论和数理模型对问题进行分析，内容深入浅出，并给出了相关政策建议。本书适合教育学、经济学、管理学等领域的研究人员与政府机构相关从业人员阅读参考。
洛阳史话 电子书
洛阳史话
  • 丁其善
  • 本书从“天造洛阳”“名都沿革”“科教文艺”“名城崛起”“京洛故事”五个方面记述了洛阳的历史、文化与发展。
文化殖民的主体性反思：对文化殖民主义的批判 电子书
文化殖民的主体性反思：对文化殖民主义的批判
  • 张其学
  • 本书是从主体性角度解读文化殖民的，文化殖民与主体性的关系是贯穿其中的一条主线。
中小学教师信息技术应用能力培训教程 电子书
中小学教师信息技术应用能力培训教程
  • 方其桂
  • 《中小学教师信息技术应用能力培训教程》系统介绍了中小学教师在课前、课中和课后3个环节如何应用信息技术改善教学效果，提高教学效率。主要内容包括学科资源的获取与管理、多媒体教学素材加工、教学文档的编辑与制作、多媒体教学课件的设计与制作、教学微课的策划与制作、多媒体教学环境中硬件设备的使用与维护、学科辅助教学软件的使用、教学数据的统计与分析。书中注意将理论与实践相结合，以中小学各学科的典型内容为实例讲解
小学生C++创意编程 电子书
小学生C++创意编程
  • 方其桂
  • ·利用故事情境引发学生思考，既独具匠心又妙趣横生。·利用流程图厘清思路，激发学生的学习兴趣，培养计算思维。·通过探究与实践，让学生在解决问题的过程中体会到编程的乐趣和魅力。·通过不同的练习，思考解决问题的不同方法。·附赠案例素材、源文件、视频微课，手机扫码轻松观看教学视频，具体方式详见本书前言部分。
科技金融银投合作的制度逻辑 电子书
科技金融银投合作的制度逻辑
  • 吴佳其
  • 本书共7章，包含导论、文献综述、制度背景和理论基础、科技金融银投合作的融资契约选择：基于专用性投入视角、科技金融银投合作的组织间信任：基于专用性投入视角等。
新工业革命之路 电子书
新工业革命之路
  • 张其金
  • 本书剖析了德国工业4.0的本质、核心、关键、愿景，揭示德国4.0背后的秘密，并从信息哲学角度探讨人工智能、大数据对制造业的影响，描绘未来制造业与信息产业的新关系，同时对中国工业4.0进行探讨和畅想，阐述中国工业4.0所面临的机遇和问题。
变电站二次系统运行维护实用技术 电子书
变电站二次系统运行维护实用技术
  • 孙其寿
  • 本书共分为九章，包括电力系统基础知识、超高压线路继电保护、超高压电力变压器继电保护、超高压母线继电保护等。
推荐书籍
食管癌 电子书
食管癌
杨跃
本书是《肿瘤科普百科丛书》之一，侧重于介绍食管癌。食管癌在我国恶性肿瘤发病率中位居第6位，世界上超过60%的食管癌新发病人在我国，病人群体巨大，长期以来该疾病治疗难度大，患病群...
肺话——肺要清，更要养 电子书
肺话——肺要清，更要养
杨跃
肺要清，更要养。北大肿瘤医院胸外科教授教你更健康、更自如的呼吸。
相关词语
基本知识 钓鱼(文娱活动) 武术 零基础 从入门到精通 看图学 陈氏 杨氏 正宗 56式 48式 18式 24式 二十四式 叶问咏春拳 手把手 体育与运动 武术及民族形式体育 效率 工作 通俗读物 职场新人 当代 长篇作品 方法 销售 旅游 研究 房地产开发 中国 现代 图集 室内装饰设计 餐馆 房地产企业 城市商业 投资管理 企业兼并 中国史 历史通俗读物 程序设计 少儿读物 C++语言
意见反馈
我的书架

公众号

关注微信公众号