購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
精确
模式”搜“
郭奇峰 任奋华 马明辉 席迅
”共有
18
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
滨海矿山深部开采环境与岩层控制（Mining Environment and Rockmass Control in D
作者：郭奇峰 任奋华 马明辉 席迅 出版：中国建筑工业出版社 日期：2022-02-01 深部开采是我国矿产资源开发面临的迫切问题，也是今后保证我国矿产资源供给的主要途径。深部高应力、高渗透压、高温等特殊开采环境，对深部矿产资源开发提出了严峻的挑战。结合山东黄金三山岛金矿滨海矿山深部开采岩石力学与岩层控制工作，全面梳理了深部开采面临的特殊开采环境，系统介绍了基于岩石力学试验、原岩应力测试、岩体质量调查等基础 ... |
詳情>> | 售價：NT$ 347 
|
 |
结构证明论（第二版）
作者：马明辉 出版：科学出版社 日期：2023-06-01 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、 ... |
詳情>> | 售價：NT$ 454
|
 |
汽车概论
作者：刘冬生 郭奇峰 韩松畴 主编 出版：机械工业出版社 日期：2025-06-01 本书内容丰富、图文并茂、通俗易懂、实用性强。系统地介绍了汽车基本知识。主要内容包括汽车的诞生与发展、世界著名汽车公司与品牌、汽车结构、未来汽车等。 ... |
詳情>> | 售價：NT$ 199
|
 |
智能制造——产业赋能与商业创新
作者：向凌云，王威，马明辉 出版：中国铁道出版社 日期：2025-05-01 智能制造是经济增长的重要驱动力，如何通过智能制造成为工业领域的领跑者？如何在数字经济时代形成强大的核心竞争力？这些都是值得思考的问题。而本书则针对这些问题给出了合理的解决方案。 本书牢牢抓住智能制造这个主题，讲述与之相关的各类理论知识和实战技巧。本书分为智能制造开启工业智变新篇章、数字技术赋能制造升级、智能制造多场景落 ... |
詳情>> | 售價：NT$ 347
|
 |
典型近岸海洋生态系统健康评价研究
作者：洛昊、于洋、李晴、张德民、马明辉、 梁斌 出版：知识产权出版社 日期：2024-06-01 2023年4月，习近平总书记考察湛江红树林时强调，这片红树林是“国宝”，要像爱护眼睛一样守护好。如何科学、准确、完整评估红树林等典型海洋生态系统生态健康状况，已成为海洋生态环境保护领域的一个重要课题。2017年7月，本课题获得国家质量基础的共性技术研究与应用（NQI）项目资助，被纳入“海洋资源能源调查评估及海洋生态环境 ... |
詳情>> | 售價：NT$ 449
|
 |
汽车发动机电控系统检修 第2版
作者：刘冬生 郭奇峰 韩松畴 主编 出版：机械工业出版社 日期：2022-08-01 本书按照汽车运用与维修职业技能等级证书标准的要求编写，由发动机电控系统概述、进气系统传感元件的检查、燃油喷射控制系统的检查、点火控制系统的检查、辅助控制系统的检查共5 个项目组成，每个项目根据任务的不同分成1~4 个教学任务，每个教学任务包括学习目标（知识目标、技能目标、素养目标）、任务描述、相关知识、学习任务单、任务 ... |
詳情>> | 售價：NT$ 279
|
 |
奎因逻辑哲学研究
作者：马明辉 出版：科学出版社 日期：2017-09-01 奎因是20世纪世界著名的逻辑学家与哲学家。本书是对奎因逻辑哲学思想的初探。奎因致力于为逻辑的发展注入哲学的动机，把逻辑与集合论和其他科学区分开来，确立了逻辑的范围。本书分别在句子逻辑、量化逻辑和模态逻辑等方面讨论了奎因的逻辑思想，进而以逻辑 ... |
詳情>> | 售價：NT$ 446
|
 |
结构证明论
作者：马明辉 出版：科学出版社 日期：2019-06-01 结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构 ... |
詳情>> | 售價：NT$ 554
|
 |
围棋小木屋：亲子围棋新概念启蒙教育丛书（全八册）
作者：陈 盈 郭奇峰 出版：人民体育出版社 日期：2019-12-01 本套书按入门、初级、中级、高级四部分逐级提高，分上、下册共8本整装设计出版。适用于学龄前及初小学生在家长、老师的辅导下进行学习。本套书与同类书不同之处在于辅加了多种兴趣启蒙教育元素。旨在以围棋游戏课为引导，进而激发培养孩子的多向兴趣，提高求知欲。 ... |
詳情>> | 售價：NT$ 2205
|
 |
海洋生态文明建设及制度体系研究
作者：关道明、马明辉、许妍 出版：海洋出版社 日期：2017-06-01 关道明、马明辉、许妍*的《海洋生态文明建设及制度体系研究》以分析当前海洋生态环境和海洋管理状况为切入点，总结十五以来海洋生态环境的变化趋势和海洋管理面临的形势，结合海洋生态文明理论体系研究，系统构建海洋生态文明制度体系框架，提出十三五海洋生 ... |
詳情>> | 售價：NT$ 418
|
 |
汽车概论
作者：韩松畴，刘冬生，郭奇峰 出版：机械工业出版社 日期：2019-07-01 本书系统地介绍了汽车的诞生与发展、世界汽车公司与品牌、汽车的总体结构和汽车的发展方向等方面的基本知识ꎬ 同时每个章节都设置了思考与练习ꎮ 本书用大量的图片诠释了汽车相关知识ꎬ 增加了对汽车工业知识的介绍ꎬ 可以培养读者对汽车的兴趣和爱好ꎮ 本书彩 ... |
詳情>> | 售價：NT$ 214
|
 |
大连滨海湿地鸟类
作者：马明辉，海志杰，李冕，洛昊，鲍晨光 出版：海洋出版社 日期：2018-02-01 本书作者团队用近一年时间完成了大连滨海湿地鸟类的调查工作，获得了大量的调查数据，拍摄了大量的现场图片。本书基于这些现场调查资料而成。书中绪论部分介绍了大连市滨海湿地的分布状况，滨海湿地在鸟类栖息及全球鸟类大迁徙中的地位与作用，以及滨海湿地鸟类的调查区域、方法、时段和调查的总体结论。书中其余各部分按照《中国鸟类系统检索》 ... |
詳情>> | 售價：NT$ 679
|
 |
昌黎黄金海岸国家级自然保护区海洋生态研究
作者：马明辉,段新玉,洛昊 出版：海洋出版社 日期：2015-12-01 马明辉、段新玉、洛昊编*的《昌黎黄金海岸国家级自然保护区海洋生态研究精》依据1999--2013 年间保护区的连续海洋生态监测资料，研究、评价了保护区海洋生态质量状况及其长期变化趋势，分析了区内主要生态环境问题及产生的原因，并提出相应的管理 ... |
詳情>> | 售價：NT$ 498
|
 |
海洋环境监测设计
作者：梁斌，韩庚辰，马明辉 出版：海洋出版社 日期：2016-07-01 在海洋环境监测的诸多环节中，监测方案的设计是*为基础和关键一环。海洋环境监测所获取的数据信息能否满足管理需求，很大程度上取决于监测方案设计的科学性和可靠性。海洋环境监测设计是一项复杂的系统工程。编者结合多年从事海洋环境监测与评价工作的实践经 ... |
詳情>> | 售價：NT$ 510
|
 |
天津市陆源污染总量控制框架研究
作者：韩庚辰、马明辉、霍传林主编 出版：海洋出版社 日期：2016-12-01 韩庚辰、马明辉、霍传林主编的《天津市陆源污 染总量控制框架研究》包括5个方面内容：一是研究 方法介绍，给出海水环境评价、监测方案优化、生态 修复适宜性评估等方法，以及三维水动力、污染物跨 界输运、排污口空间布局优化等模型；二是海水环境 质量 ... |
詳情>> | 售價：NT$ 263
|
 |
天津市陆源氮磷入海污染负荷总量评估
作者：许自舟、张志锋、梁斌、马明辉、韩庚辰主编 出版：海洋出版社 日期：2016-12-01 许自舟、张志锋、梁斌、马明辉、韩庚辰主编的 《天津市陆源氮磷入海污染负荷总量评估》共分为9 章，**章对国内外陆源人海污染负荷研究的主要方 法进行了归纳总结：第二章介绍天津市自然及社会经 济概况；第三章详细分析了天津陆源污染负荷评估方 法； ... |
詳情>> | 售價：NT$ 360
|
 |
一百囚徒与一个灯泡
作者：[荷兰]汉斯·范·狄马斯等著；马明辉译 出版：科学出版社 日期：2017-03-01 本书的内容是十一个经典的逻辑谜题，这些谜题非常具有挑战性，答案往往出人意料。这些谜题表面上看起来是自相矛盾的，但是对它们的解答是围绕知识宣告来进行的，解答过程也完全能够以数学模型的方式严格化。本书每一章处理一个谜题，作者经过详细地分析，最终 ... |
詳情>> | 售價：NT$ 497
|
 |
杜威全集·晚期著作（1925—1953）·第八卷（
作者：约翰·杜威 著；马明辉，周小华，江怡，张桔，叶斌，尹文奇 译 出版：华东师范大学出版社 日期：2015-05-01 《杜威全集·晚期著作》（1925-1953）的第八卷，收录了论文、评论以及《我们如何思维：重述反思性思维对教育过程的关系》在1933年的权威版本。杜威撰写于1933年的其他作品都收入在第九卷中。本卷为美国现代语言协会学术版本委员会认可文本。 ... |
詳情>> | 售價：NT$ 730
|
| >>> （頁碼:1/1 行數:20/18） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |