購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
郁文生，孙天宇，付尧顺
”共有
5022
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
公理化集合论机器证明系统
『简体书』 作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理 ... |
詳情>> | |
 |
分析基础机器证明系统
『简体书』 作者：郁文生，付尧顺，郭礼权 出版：科学出版社 日期：2022-01-01 《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了 ... |
詳情>> | |
 |
机器证明：公理集论及分析基础的形式化
『简体书』 作者：郁文生 等 出版：科学出版社 日期：2025-09-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。《机器证明：公理集论及分析基础的形式化》利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，可以迅速而自然地给出 ... |
詳情>> | |
 |
自然数的紧化延伸机器证明系统
『简体书』 作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统， 包括超滤空间与算术超滤的基本概念、超滤 ... |
詳情>> | |
 |
天局（典藏版）小小棋盘，大千世界。作家矫健与画师尧立共同打造了一场东方美学盛宴！
『简体书』 作者：矫健著，尧立绘 出版：青岛出版社 日期：2025-07-01 《天局》是一本根据作家矫健的同名短篇小说创作的图画书，是对传统文化的创新性表达。作品以奇崛的想象，构建了一个包罗万象的围棋世界，展现了围棋的悠久历史和无穷魅力，表现出了棋痴探索围棋奥秘的顽强精神。画师尧立的创作大气恢宏，线条气韵灵动，色彩沉着厚重，其恣肆张扬的 ... |
詳情>> | |
 |
顺丰传
『简体书』 作者：孟凡华 出版：中国华侨出版社 日期：2020-05-01 《顺丰传：如何在逆境中顺势而为》360 度全景展现顺丰的发展之路及创始人王卫的奋斗历程。 王卫白手起家、摸爬滚打，从底层一路逆袭，将顺丰由只有几个员工的小公司，打造成逾 20 万人的商业帝国。他创造了无数个行业*，却始终低调专注，每天持续工作十几个小时，既神 ... |
詳情>> | |
 |
猎天下 第3部：洛阳伽蓝 付遥作品
『简体书』 作者：付遥 著 出版：中国广播影视出版社 日期：2021-06-01 名师大将莫自牢，千军万马避白袍。陈庆之率七千梁军北伐，凡取三十二城，四十七战，所向皆克，攻入北魏京师洛阳，创造了比肩韩信的战绩。鼎力相助的年轻将军杨忠，日后有一个名叫杨坚的儿子——隋文帝。 南梁关中侯陈庆之是中国历史上的传奇名将。对《梁书·陈庆之传》一读再读 ... |
詳情>> | |
 |
付小兵再生医学
『简体书』 作者：付小兵 出版：湖北科学技术出版社 日期：2019-03-01 《付小兵再生医学》共14章70节，包括战创伤组织修复与再生概论、组织修复和再生的细胞学基础、组织修复和再生的分子与基因学基础、皮肤发育和组织修复与再生、组织修复和再生障碍、组织修复和再生过度、重要内脏损伤后的修复与再生、组织修复与再生过程的调节、新技术与组织修 ... |
詳情>> | |
 |
UI视觉与插画——APP/电商/H5/小程序/网页/游戏视觉升华实战
『简体书』 作者：付尧 出版：清华大学出版社 日期：2021-12-01 UI设计理论与技法，已经到达了相当完善的水平，传统UI设计很难有大的视觉突破，而插画风格的UI设计，可以立竿见影地改善UI视觉的干涩与千篇一律，于是，UI插画很快成为了UI设计师的常备技能。 《UI视觉与插画：APP电商H5小程序网页游戏视觉升华实战 ... |
詳情>> | |
 |
方圆之间 长篇小说 付立果
『简体书』 作者：付立果 出版：中国言实出版社 日期：2025-02-01 ... |
詳情>> | |
 |
工业用水及污水水质分析（付渊）
『简体书』 作者：付渊、陶柏秋 主编 出版：化学工业出版社 日期：2024-08-01 《工业用水及污水水质分析》全书将理论和实践融为一体，共六章内容。内容包括水分析基础知识，水样的采集、保存和预处理，水样的物理指标分析测定，金属化合物的分析测定，非金属无机物的测定，有机污染物的分析测定。本书为了便于教学和学生学习，在每章开头按照知识目标、技能目 ... |
詳情>> | |
 |
机车控制系统 配微课视频 付娟
『简体书』 作者：付娟，林辉，王博 主编 出版：西南交通大学出版社 日期：2023-01-01 本书采用任务驱动模式编写，内容包括：电力牵引传动系统的分类、组成和功能；机车的分类、工作原理和速度调节；机车的控制策略、牵引特性和制动特性；牵引变流器的组成、工作原理及应用；机车自动控制的概念、功能和应用；SS4G、HXD3、HXD1C、HXN5型机车的电气线 ... |
詳情>> | |
 |
服装设计创意初阶（付丽娜）
『简体书』 作者：付丽娜、郭智敏 主编 出版：化学工业出版社 日期：2025-10-01 本书以服装初阶基础理论为起点，以服装造型美感元素和服装设计实践表现为重点，详细讲解服装廓形设计、服装造型设计基本要素、服装细部设计、服装形式美法则等主要内容，配合服装设计创意案例深入分析，采用图文结合方式，展示设计方法和过程，为服装设计初学者提供一个循序渐进的 ... |
詳情>> | |
 |
智能机器人创新实践 付明磊
『简体书』 作者：付明磊 出版：机械工业出版社 日期：2023-11-01 本书以Dobot魔术师机器人和DashGO D1智能移动平台作为机器人硬件平台，以ROS作为机器人软件操作系统，以百度大脑AI开放平台提供的开发资源作为机器人AI功能支撑，设计了码垛机器人、声控分拣机器人、激光雷达自主导航机器人、视觉循码移动机器人和视觉追踪移 ... |
詳情>> | |
 |
生物圈 付骁 主编 中学生地球科学素质培养丛书
『简体书』 作者：付骁 主编 出版：北京大学出版社 日期：2025-07-01 《生物圈》是北京大学地空学院和中国地震学会联合组织编写的中学生地球科学素质培养丛书之一。 生物圈是地球系统四大圈层之一，圈层相互作用乃是地球系统科学在当今的一大研究热点。要窥探自生命诞生以来，生命与地球协同演化的史诗，就必须打破学科间的壁垒，通过地球科学与生 ... |
詳情>> | |
 |
年羹尧之死
『简体书』 作者：郑小悠 著 出版：山西人民出版社发行部 日期：2024-07-01 本书围绕着年羹尧与雍正君臣关系的演变历程，全面回顾了年羹尧一生从得意到失意的宦海浮沉：年少时科场高中，入仕后步步高升，在胤禛继位过程中发挥重要作用，立下赫赫战功后位极人臣，但最终身死名裂。在此叙述之中，作品从新颖的角度，立体而真实地展现了年羹尧性格的复杂多面。 ... |
詳情>> | |
 |
帝尧神话传说
『简体书』 作者：高忠严 出版：北岳文艺出版社 日期：2021-09-01 本书属于《山西神话故事传说》丛书，全书采用理论研究与文献考古、田野调查相结合的方法，对在流传在民间的尧帝神话故事，从流传分布、民俗信仰、文献与考古、文化内涵四个方面进行全面、系统、深入的搜集整理、研究阐发；并对这些神话传说资源的旅游价值开发提出宏观指导思想、原 ... |
詳情>> | |
 |
0到1000亿——顺丰的千亿生意论道
『简体书』 作者：赵继成 出版：中国经济出版社 日期：2021-10-01 在中国40多年的改革开放历程中，诞生了一批分属不同行业细分赛道的实体企业，它们靠着创业者吃苦耐劳的品质和持续不断的创新精神，实现了从0到百亿、千亿的晋级，体现了中国经济的活力。顺丰就是其中的代表性企业之一。 本书从顺丰创办之初的业务选择，发展过程中的竞争战略 ... |
詳情>> | |
 |
西政之士 付子堂 西政精神浓缩读本
『简体书』 作者：付子堂 著 出版：北京大学出版社 日期： 本文是作者以自己十余年间在西南政法大学新生开学典礼、毕业暨授位典礼上的致辞和其他演讲、访谈等为基础，结合我国法学教育发展的新情况，按照专题方式重新进行组织整理、糅合萃取、加工改写而成。在体例上，借鉴“漫谈体”形式，尝试“摘要型”目录，以简要问答作为每节提示编为 ... |
詳情>> | |
 |
顺序控制实训指导书（付志刚）
『简体书』 作者：付志刚主编 出版：化学工业出版社 日期：2025-12-01 本书按照工学结合、理实一体化要求编写，从基础知识着手，根据中职学校的教学内容，以电气类专业为主，结合机电、自动化、计算机等多个专业的教学内容设计了汽车衡无人值守称重实训装置、配料称重控制实训装置和定量装车控制实训装置等三个实训子系统，力图解决课堂教学中理论与实 ... |
詳情>> | |