購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
汪芳庭
”共有
3
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
数学基础（修订本）
作者：汪芳庭 出版：高等教育出版社 日期：2018-10-01 ... |
詳情>> | 售價：NT$ 231 
|
 |
普通高等学校十一五规划教材?数理逻辑（第2版）
作者：汪芳庭 出版：中国科学技术大学出版社 日期：2010-09-01 《普通高等学校十一五规划教材?数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材?数理 ... |
詳情>> | 售價：NT$ 209
|
 |
自然数的紧化延伸机器证明系统
作者：郁文生，窦国威 出版：科学出版社 日期：2024-05-01 数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq， 在Morse-Kelley 公理化集合论形式化系统下，给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造 ... |
詳情>> | 售價：NT$ 1469
|
| >>> （頁碼:1/1 行數:20/3） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2024 （香港）大書城有限公司 All Rights Reserved. | |