TOP
0
0
進階搜尋

熱搜：

佛法是科學的終極典範

、

民主與兩岸動向

、

老公怎麼還不去死

、

零基礎AI入門書

、

巨人的背影

、

DragonMasters 1-23

、

永續發展相關規範與實務

、

新基本小六法

熱搜： 佛法是科學的終極典範、 民主與兩岸動向、 老公怎麼還不去死、 零基礎AI入門書、 巨人的背影、 DragonMasters 1-23、 永續發展相關規範與實務、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
簡體書 （1）
商品狀況
無法訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$199以下 （1）
出版日期
2016年以前 （1）
裝訂方式
平裝 （1）
作者
孫熙椿 （1）
出版社/品牌
科學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
幾何定理計算機證明（簡體書）
1.

幾何定理計算機證明（簡體書）

作者：孫熙椿  出版社：科學出版社  出版日：2007/06/01 裝訂：平裝
本書作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新方法”應用到大學和中學的數學教育中，經過多年的教學實驗和數學現代化探索，總結出了這本書，本書的出版對數學素質教育將有很深遠的指導意義。本書共分6章，主要講述幾何定理機器證明的發展概況、吳文俊機械化方法、張景中消點算法、楊路降維算法等。本書適合作為高等院校教材，更適合師範院校和高中數學教師學習閱讀。
無法訂購
絕版無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品