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