|
|
203.
|
數學機械化II/吳文俊全集 ![](/liaode/images/fjie0.gif)
市場價:1490元 優惠價:1250元
立刻節省:240元
本卷收錄了吳文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一書.書中論述初等幾何機器證明的基本原理,證明了奠基於各種公理繫統的各種初等幾何,隻需相當於乘法交換律的某一公理成立,大都可以機械化.因此在理論上,這些幾何的定理證明可以借肋於計算機來實施.可以機械化的幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等.全書共分六章.前兩章是關於幾何機械化的預備知識,集中介紹了常用幾何;後四章致力於幾何的機械化問題.第3章為幾何定理證明的機械化與Hilbert機械化定理,第4,5章分別為(常用)無序幾何的機械化定理和(常用)有序幾何的機械化定理,第6章闡述各種幾何的機械化定理.
|
204.
|
吳文俊全集 數學機械化卷1 ![](/liaode/images/fjie0.gif)
市場價:1780元 優惠價:1490元
立刻節省:290元
本卷收錄了吳文俊的Mathematics Mechanization:Mechanical Geometry Theorem-Proving,Mechanical Geometry Problem-Solving and Polynomial Equations-Solving一書。本書是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一繫列論文的綜述。本書試圖以構造性與算法化的方式來研究數學,使數學推理機械化以至於自動化,由此減輕繁瑣的腦力勞動。全書分成三個部分:第一部分考慮數學機械化的發展歷史,特別強調在古代中國的發展歷史。第二部分給出求解多項式方程組所依據的基本原理與特征列方法。作為這一方法的基礎,本書還論述了構造性代數幾何中的若干問題。第三部分給出了特征列方法在幾何定理證明與發現、機器人、天體力學、全局優化和計算機輔助設計等領域中的應用。
|
205.
|
吳文俊全集 拓撲學卷1 ![](/liaode/images/fjie0.gif)
市場價:1680元 優惠價:1410元
立刻節省:270元
本卷收錄由法國Hermann&Cie出版社出版的吳文俊的博士論文《Surles Classes Caractéristiquesdes Structures Fibrées Sphériques.》(論球叢結構的示性類)與Springer出版的《Rational HomotopyType-AConstructive Studyviathe Theory of the I*-measure》(有理同倫類)。吳的博士論文給出了兩類具有特定群結構的纖維叢等價的一個非平凡的必要條件與4維復型到格拉斯曼流形映射的同倫分類。作為應用,證明了4k維球體不存在概復結構。進一步給出4維與6維流形具有概復結構的充分必要條件,並確定了4維流形所有可能的概復結構。論文還給出了Whitney示性類的對偶定理的證明。惠特尼對這個定理給的證明極為復雜,全文沒有發表。吳的證明則非常簡潔,這是示性類的一個經典結果。等
|
206.
|
數學史卷/吳文俊全集 ![](/liaode/images/fjie0.gif)
市場價:1210元 優惠價:1010元
立刻節省:200元
本書收載了吳文俊的全部數學史論著,包括作者的第一篇數學史論文《中國古代數學對世界文化的偉大貢獻》、被引用頻率優選的數學史論文之一《出入相補原理》、在國際數學家大會上的邀請報告等。這些論著一個貫串始終的主題,是關於數學發展的兩種主流的觀點:以希臘數學為代表的演繹式數學和以中國古代數學為代表的算法式數學;它開啟了中國數學史研究的新階段。這些論著中反復運用的、由作者首次概括陳述的"出入相補原理",已成為解釋中國古代幾何中許多疑難問題的一把金鑰匙。本書一繫列文章中提煉、闡發的"古證復原原則",是對數學史研究方法論的經典貢獻。吳文俊的數學史論著提供了古為今用的典範。本書是吳文俊寶貴的科學文化遺產。
|
207.
|
吳文俊全集 拓撲學卷 4 ![](/liaode/images/fjie0.gif)
市場價:2810元 優惠價:2350元
立刻節省:460元
本卷收錄了吳文俊在拓撲學領域發表的56篇學術論文。這些論文包含了吳文俊在示性類、示嵌類、示浸類、示痕類、能計算性與I*-量度等方面做出的一繫列重要工作,蘊含了他在拓撲學領域的諸多原始思想。該卷可作為數學或數學史研究人員、教師、研究生的參考文獻,也可以作為拓撲學課程的參考書。
|
208.
|
數學機械化卷IV/吳文俊全集 ![](/liaode/images/fjie0.gif)
市場價:1210元 優惠價:1010元
立刻節省:200元
本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書.書中論述初等幾何機器證明的基本原理,證明了奠基於各種公理繫統的各種初等幾何,隻需相當於乘法交換律的某一公理成立,大都可以機械化.因此在理論上,這些幾何的定理證明可以借肋於計算機來實施.可以機械化的幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等.全書共分六章.前兩章是關於幾何機械化的預備知識,集中介紹了常用幾何;後四章致力於幾何的機械化問題.第3章為幾何定理證明的機械化與Hilbert機械化定理,第4,5章分別為(常用)無序幾何的機械化定理和(常用)有序幾何的機械化定理,第6章闡述各種幾何的機械化定理.
|
210.
|
吳玉如魏書千字文 ![](/liaode/images/fjie0.gif)
市場價:920元 優惠價:770元
立刻節省:150元
|
215.
|
森林旅遊學(第2版) ![](/liaode/images/fjie0.gif)
市場價:220元 優惠價:190元
立刻節省:30元
森林以其優美的景觀、優越的環境、豐富的生物多樣性及其獨特的康體保健功能吸引著眾多旅遊者。森林旅遊受到世界各國政府的高度重視,美國是森林旅遊起步較早的國家,20世紀50年代末,森林旅遊在美國就已經有了相當規模。1992年,美國參加森林旅遊的人次已達20多億,是美國人口的8倍,美國家庭收入的1/8用於森林旅遊,每年森林旅遊的總花費約為300。德國20世紀60年代開始建立森林醫院。1973年日本旅遊業大規模興起,每年約有8億人次開展森林旅遊活動。我國自1982年建立張家界國家森林公園以來,森林旅遊經過多年的發展,已成為一項新興產業,是生態旅遊的龍頭,是未來林業產業中的大產業。 《森林旅遊學(第2版)/21世紀高等學校旅遊管理專業本科教材》是在作者多年從事森林旅遊研究,執教《森林旅遊學》15年,積累了豐富的理論與實踐知識的基礎上編著而成的。第1章導論講述森林、森林旅遊、森林旅遊等
|
216.
|
碧果的詩 ![](/liaode/images/fjie0.gif)
市場價:210元 優惠價:180元
立刻節省:30元
《碧果的詩》是臺灣知名詩人、劇作家、畫家碧果在大陸出版的首部詩集。全書共分7卷,精選作者1950年代至2011年間創作的精品詩作近150首,濃縮詩人60年詩歌創作之精華。碧果的詩歌兼具中國傳統精神與現代、後現代詩歌的因子,句法應用靈活,語言往往出其,令人眼睛一亮。由於他進行的大膽探索,他因此被譽為“超現實的異數,後現代的怪傑”。
|
217.
|
設計構成/戴碧鋒 ![](/liaode/images/fjie0.gif)
市場價:360元 優惠價:300元
立刻節省:60元
|
218.
|
國家哲學社會科學規劃項目 歷史語言學視野下的英漢語序對比研究 ![](/liaode/images/fjie0.gif)
市場價:690元 優惠價:580元
立刻節省:110元
《國家哲學社會科學規劃項目 歷史語言學視野下的英漢語序對比研究》采用歷史語言學的相關理論,深入探究英漢語序形成的歷史緣由,提出“昨天的詞法和句法是今天的語序類型特征”的學術觀點,這是對GiVon關於“昨天的句法是今天的詞法”這一理論的拓展與延伸。全書在繫統闡析為何“英語屬於主語突出型語言,而漢語則屬於話題突出型語言”的基礎上,借用歷時對比和共時對比相結合的方法,對形成英漢語序類型特征的形態句法基礎進行了全方位、多角度研究。《國家哲學社會科學規劃項目 歷史語言學視野下的英漢語序對比研究》對英漢語言對比研究及英漢語言教學實踐均具有較高的參考價值。
|
219.
|
公子莫慌 ![](/liaode/images/fjie0.gif)
市場價:150元 優惠價:130元
立刻節省:20元
|
220.
|
珠聯碧合 ![](/liaode/images/fjie5.gif)
市場價:248元 優惠價:173元
立刻節省:75元
夏桐編著的《珠聯碧合》講述了一個愛與等待同時又有勵志色彩的故事。許碧合一心想成為一個婚紗設計師,為此她參加了JR的比賽,想要獲得成功。同時在感情上,她為了能找到自己的王子,一次次地失戀然後再站起來,她的身邊始終有自己的青梅竹馬何仲謙相伴。她在遇到初戀陸成銘之後覺得自己找到了王子,卻發現對方選擇了未來。在朋友的點撥之下她恍然發現,其實這麼多年她一直尋找的王子就在自己身邊,是...
|
221.
|
玉臺碧(上下) ![](/liaode/images/fjie5.gif)
市場價:498元 優惠價:249元
立刻節省:249元
《玉臺碧(上下)》是百變天後樁樁繼《蔓蔓青蘿》後最受讀者好評全新古言大作。 故事講述了:岑家有女初長成,養在深閨人未識。孤女岑三娘在險惡的內宅中艱難維生,一句讖言,改變了她的命運浮沉。漫天火樹銀花中的驚鴻一瞥,三娘成為了籐王的獵物。在你追我逃的過程中,一個牽涉幾代人的驚天陰謀漸漸浮出水面。 帝王欲收回權柄、開疆擴土,帝後二人愈發不睦,其所代表的朝中新貴、世家權...
|
222.
|
碧岩錄解析 ![](/liaode/images/fjie5.gif)
市場價:300元 優惠價:225元
立刻節省:75元
全場正品
|
223.
|
呂碧城傳 ![](/liaode/images/fjie5.gif)
市場價:190元 優惠價:135元
立刻節省:55元
呂碧城,一名蘭清,字遁夫,號明因、寶蓮居士。安徽旌德縣人,生於清光緒九年(1883年)。父親呂鳳岐乃光緒三年丁丑科進士及第,曾任國史館協修、玉牒纂修、山西學政等。家有藏書三萬卷。詩書自可育人。書香之家的熏陶,使呂碧城聰穎而早慧:“自幼即有纔藻名,工詩文,善丹青,能治印,並嫻音律,詞尤著稱於世,每有詞作問世,遠近爭相傳誦。” 她不僅是“近三百年來最後一位女詞人”,還是中...
|
224.
|
碧山(9米) ![](/liaode/images/fjie5.gif)
市場價:490元 優惠價:377元
立刻節省:113元
● 以尋找重返中國人的傳統家園之路為宗旨的《碧山》雜志書,在第9輯米專輯中,深入探討了我們每天喫的米,這種世界上超過一半人口的主食,是如何播種、耕耘、收獲、存儲、交換、烹調和分享,並嵌入我們的物質與精神生活的。
|
|