購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
马明辉
”共有
54
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
结构证明论（第二版）
『简体书』 作者：马明辉 出版：科学出版社 日期：2023-06-01 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给 ... |
詳情>> | |
 |
海洋生态文明建设及制度体系研究
『简体书』 作者：关道明、马明辉、许妍 出版：海洋出版社 日期：2017-06-01 关道明、马明辉、许妍*的《海洋生态文明建设及制度体系研究》以分析当前海洋生态环境和海洋管理状况为切入点，总结十五以来海洋生态环境的变化趋势和海洋管理面临的形势，结合海洋生态文明理论体系研究，系统构建海洋生态文明制度体系框架，提出十三五海洋生态文明建设的总体布局 ... |
詳情>> | |
 |
结构证明论
『简体书』 作者：马明辉 出版：科学出版社 日期：2019-06-01 结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等 ... |
詳情>> | |
 |
奎因逻辑哲学研究
『简体书』 作者：马明辉 出版：科学出版社 日期：2017-09-01 奎因是20世纪世界著名的逻辑学家与哲学家。本书是对奎因逻辑哲学思想的初探。奎因致力于为逻辑的发展注入哲学的动机，把逻辑与集合论和其他科学区分开来，确立了逻辑的范围。本书分别在句子逻辑、量化逻辑和模态逻辑等方面讨论了奎因的逻辑思想，进而以逻辑一元论来描述奎因的逻 ... |
詳情>> | |
 |
智能制造——产业赋能与商业创新
『简体书』 作者：向凌云，王威，马明辉 出版：中国铁道出版社 日期：2025-05-01 智能制造是经济增长的重要驱动力，如何通过智能制造成为工业领域的领跑者？如何在数字经济时代形成强大的核心竞争力？这些都是值得思考的问题。而本书则针对这些问题给出了合理的解决方案。 本书牢牢抓住智能制造这个主题，讲述与之相关的各类理论知识和实战技巧。本书分为智能制 ... |
詳情>> | |
 |
滨海矿山深部开采环境与岩层控制（Mining Environment and Rockmass Control in D
『简体书』 作者：郭奇峰 任奋华 马明辉 席迅 出版：中国建筑工业出版社 日期：2022-02-01 深部开采是我国矿产资源开发面临的迫切问题，也是今后保证我国矿产资源供给的主要途径。深部高应力、高渗透压、高温等特殊开采环境，对深部矿产资源开发提出了严峻的挑战。结合山东黄金三山岛金矿滨海矿山深部开采岩石力学与岩层控制工作，全面梳理了深部开采面临的特殊开采环境， ... |
詳情>> | |
 |
典型近岸海洋生态系统健康评价研究
『简体书』 作者：洛昊、于洋、李晴、张德民、马明辉、 梁斌 出版：知识产权出版社 日期：2024-06-01 2023年4月，习近平总书记考察湛江红树林时强调，这片红树林是“国宝”，要像爱护眼睛一样守护好。如何科学、准确、完整评估红树林等典型海洋生态系统生态健康状况，已成为海洋生态环境保护领域的一个重要课题。2017年7月，本课题获得国家质量基础的共性技术研究与应用（ ... |
詳情>> | |
 |
昌黎黄金海岸国家级自然保护区海洋生态研究
『简体书』 作者：马明辉,段新玉,洛昊 出版：海洋出版社 日期：2015-12-01 马明辉、段新玉、洛昊编*的《昌黎黄金海岸国家级自然保护区海洋生态研究精》依据1999--2013 年间保护区的连续海洋生态监测资料，研究、评价了保护区海洋生态质量状况及其长期变化趋势，分析了区内主要生态环境问题及产生的原因，并提出相应的管理建议，旨在为保护区管 ... |
詳情>> | |
 |
大连滨海湿地鸟类
『简体书』 作者：马明辉，海志杰，李冕，洛昊，鲍晨光 出版：海洋出版社 日期：2018-02-01 本书作者团队用近一年时间完成了大连滨海湿地鸟类的调查工作，获得了大量的调查数据，拍摄了大量的现场图片。本书基于这些现场调查资料而成。书中绪论部分介绍了大连市滨海湿地的分布状况，滨海湿地在鸟类栖息及全球鸟类大迁徙中的地位与作用，以及滨海湿地鸟类的调查区域、方法、 ... |
詳情>> | |
 |
2026「馬上有答案 」新年珍藏礼盒
『简体书』 作者： 出版：中国纺织出版社 日期： 2026「馬上有答案 」新年珍藏礼盒，以神驹好运，解码新一年的人生启示。 当大英图书馆的珍贵馆藏，把世界文化精粹装进日常；当千年易经的现代解码，用神秘卦象为困惑“拨云见日”。 从晨读到夜话，华夏智囊与世界美学交织相融，生活难题有解，岁月沉淀有痕，一份暌违已久的 ... |
詳情>> | |
 |
新出唐五代墓志人名索引
『简体书』 作者：馬聰 出版：凤凰出版社 日期：2024-12-01 近年来，新出唐五代墓志大量问世，有益学林。然而其出处分散，体量庞大，查考不易。仅有的几种索引，或收録墓志较少，或仅为墓主人名索引，导致墓志中出现的大量人物，无法查考。本书汇集近二十年来新出土之唐五代墓志9000余方，时间下限至2022年。全书由两部分组成：一为 ... |
詳情>> | |
 |
天津市陆源污染总量控制框架研究
『简体书』 作者：韩庚辰、马明辉、霍传林主编 出版：海洋出版社 日期：2016-12-01 韩庚辰、马明辉、霍传林主编的《天津市陆源污 染总量控制框架研究》包括5个方面内容：一是研究 方法介绍，给出海水环境评价、监测方案优化、生态 修复适宜性评估等方法，以及三维水动力、污染物跨 界输运、排污口空间布局优化等模型；二是海水环境 质量状况，给出海水环境综 ... |
詳情>> | |
 |
天津市陆源氮磷入海污染负荷总量评估
『简体书』 作者：许自舟、张志锋、梁斌、马明辉、韩庚辰主编 出版：海洋出版社 日期：2016-12-01 许自舟、张志锋、梁斌、马明辉、韩庚辰主编的 《天津市陆源氮磷入海污染负荷总量评估》共分为9 章，**章对国内外陆源人海污染负荷研究的主要方 法进行了归纳总结：第二章介绍天津市自然及社会经 济概况；第三章详细分析了天津陆源污染负荷评估方 法；第四章至第七章分别介 ... |
詳情>> | |
 |
（全2册）马氏文通校注（江苏文库精华编）
『简体书』 作者：[清]馬建忠 著 章錫琛 校注 出版：凤凰出版社 日期：2023-12-01 《马氏文通》是中国第一部体系完整的语法书。全书分十卷，第一卷“正名”，是全书的总论，对各类“字（词）、各种“次”和“句读”等下了定义；第二至第六卷讲“实字”，除 了讲名字、代字、静字、状字之外，还讲了正次与偏次、主次与宾次、前次与同次等六种“次”以及“表词”等 ... |
詳情>> | |
 |
唐音审体（历代唐诗经典选本丛刊）
『简体书』 作者：[清]錢良擇 編 馬晴 整理 出版：凤凰出版社 日期：2025-04-01 《唐音审体》共二十卷，选唐人诗一千二百多首、赋三十六篇。选家钱良择按体裁将唐诗分古题乐府诗、新乐府辞、古诗、律诗、古赋、律赋六大类，其中古诗又分四言、五言、齐梁 体、七言等，律诗分应制、省试、五言长韵、联句、五言绝句、六言、七言四韵、七言长韵、七言绝句等。在每 ... |
詳情>> | |
 |
海洋环境监测设计
『简体书』 作者：梁斌，韩庚辰，马明辉 出版：海洋出版社 日期：2016-07-01 在海洋环境监测的诸多环节中，监测方案的设计是*为基础和关键一环。海洋环境监测所获取的数据信息能否满足管理需求，很大程度上取决于监测方案设计的科学性和可靠性。海洋环境监测设计是一项复杂的系统工程。编者结合多年从事海洋环境监测与评价工作的实践经验，借鉴国内外环境监 ... |
詳情>> | |
 |
马藏.第二部.第七卷
『简体书』 作者：北京大學《馬藏》編纂與研究中心 出版：科学出版社 日期：2024-11-01 本卷收录1907年12月至1908年9月发表于《天义》《衡报》的文献凡四十二篇，这些文献是马克思主义在中国早期传播起始阶段的主要文本，呈现了这一时期马克思主义在中国早期传播的思想过程和文本特征。 ... |
詳情>> | |
 |
马藏.第二部.第六卷
『简体书』 作者：北京大學《馬藏》編纂與研究中心 出版：科学出版社 日期：2024-11-01 本卷收录1907年6月至11月发表于《天义》的文献凡四十五篇，这些文献是马克思主义在中国早期传播起始阶段的主要文本，呈现了这一时期马克思主义在中国早期传播的思想过程和文本特征。 ... |
詳情>> | |
 |
马藏.第二部.第三卷
『简体书』 作者：北京大學《馬藏》編纂與研究中心 出版：科学出版社 日期：2024-11-01 本卷收录文献凡二十七篇。这二十七篇文献，大部分发表于1904年1月至1905年12月，少数几篇发表于1901年和1903年。这些文献先后发表在《开智録》《浙江潮》《俄事警闻》《警钟日报》《日新学报》《安徽俗话报》《万国公报》《国民日日报》《新民丛报》《新新小说 ... |
詳情>> | |
 |
马藏.第二部.第四卷
『简体书』 作者：北京大學《馬藏》編纂與研究中心 出版：科学出版社 日期：2024-11-01 本卷收录文献凡二十三篇。这二十三篇文献，絶大部分发表于1906年，是当时革命派和改良派围绕“社会革命”论战时的主要作品。这些文献主要发表在《新民丛报》和《民报》上。这些文献是马克思主义在中国早期传播起始阶段的主要文本，呈现了这一时期马克思主义在中国早期传播的思 ... |
詳情>> | |