|
|
4.
|
公理化集合論機器證明繫統(精)/數學機械化叢書
市場價:1210元 優惠價:1010元
立刻節省:200元
布爾巴基學派的序、代數、拓撲三大母結構是現代數學的基礎。利用計算機證明輔助工具,可以完整構建這三大母結構的形式化繫統。本書利用交互式定理證明工具Coq,實現Morse-Kelley公理化集合論形式化繫統,包括對該體繫中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其中構造了序數和基數,定義了非負整數,把Peano公設當作定理,可以迅速而自然地給出一個數學基礎,擺脫了明顯的悖論。這是Morse。Kelley公理化集合論繫統的首次形式化實現。在Morse-Kelley公理化集合論形式化繫統下,作為應用,我們給出選擇公理與它的幾個有名等價命題間等價性的機器證明,這些命題包括Tukey引理、Hausdorff極大原則、極大原則、Zorn引理、良序定理及Zermelo假定等。在我們開發的繫統中,全部定理無例外地給出Coq的機器證明代碼,所有形式化過程已被Coq驗等
|
5.
|
工程訓練
市場價:420元 優惠價:350元
立刻節省:70元
|
7.
|
孫郁散文 圖書
市場價:360元 優惠價:310元
立刻節省:50元
|
10.
|
文苑英華 言志的詩和明道的文
市場價:530元 優惠價:450元
立刻節省:80元
本書介紹中國古代詩歌、散文藝術的源流及主要成就、重要作家作品,引導欣賞中國文學的興趣與門徑。
|
13.
|
郁文同志在社科院
市場價:1050元 優惠價:880元
立刻節省:170元
中國社會科學院建院40周年紀念文庫之一。本書編選了郁文同志在社科院期間的講話、報告等共計20篇。另附錄中還收錄了1篇中科院總結他在中科院工作的30年期間的辦院思想和工作思路所撰寫的小傳和4篇回憶文章。 郁文,1989—1992年,擔任中國社會科學院黨組(黨委)書記、副院長,1995—2001年,擔任中國地方志指導小組常務副組長。曾擔任中國科學院黨組副書記、秘書長,中國科技大學首任黨委書記,中央宣傳部常務副部長兼中央對外宣傳小組副組長,全國人大第六、第七屆常務委員、民族委員會副主任委員。長期在新聞宣傳戰線,自然科學、社會科學領域從事組織領導工作。
|
16.
|
椿園筆記
市場價:200元 優惠價:170元
立刻節省:30元
|
20.
|
楚辭譯注評
市場價:210元 優惠價:180元
立刻節省:30元
楚辭是屈原創作的一種新詩體,也是中國文學目前靠前部浪漫主義詩歌總集。全書以屈原作品為主,其餘各篇也是承襲屈賦的形式。以其運用楚地的文學樣式、方言聲韻和風土物產等,具有濃厚的地方色彩,故名《楚辭》。孫家順、孔軍、吳文沫注譯的《楚辭(譯注評)(精)》約請業內專家對其進行注釋、翻譯和評析。注釋準確簡明,譯文明白曉暢,評析精準到位,有助於廣大讀者閱讀理解原著。
|
21.
|
渦旋光束
市場價:1210元 優惠價:1010元
立刻節省:200元
《渦旋光束/變革性光科學與技術叢書》首先介紹了渦旋光束的基本性質和標量衍射理論,並以此為基礎,繫統的介紹了渦旋光束及渦旋光束陣列的生成方法、軌道角動量的檢測方法、畸變渦旋光束的自適應補償方法與技術、矢量渦旋光束與完美渦旋光束的相關理論與技術,後介紹了渦旋光束的應用技術。
|
22.
|
渦旋光束
市場價:1210元 優惠價:1010元
立刻節省:200元
《渦旋光束/變革性光科學與技術叢書》首先介紹了渦旋光束的基本性質和標量衍射理論,並以此為基礎,繫統的介紹了渦旋光束及渦旋光束陣列的生成方法、軌道角動量的檢測方法、畸變渦旋光束的自適應補償方法與技術、矢量渦旋光束與完美渦旋光束的相關理論與技術,後介紹了渦旋光束的應用技術。
|
25.
|
統計學導論
市場價:300元 優惠價:250元
立刻節省:50元
|
26.
|
孫秋生造像記
市場價:70元 優惠價:60元
立刻節省:10元
|
28.
|
時尚創意面點
市場價:410元 優惠價:340元
立刻節省:70元
|
29.
|
交替隔溝灌溉條件下農田水熱傳輸與模擬
市場價:490元 優惠價:410元
立刻節省:80元
我國農業節水的優選潛力在田間,交替隔溝灌溉在提高水分有效利用率、優化氣孔行為等方面挖掘了田間以及作物自身的節水潛力。交替隔溝灌溉條件下農田水熱傳輸研究涉及水文學、農業生態學和物理學等多學科領域,強調農水與農業生態學的結合,協調土壤-植物-大氣界面的能量關繫,是研究作物節水機制、土壤-植物-大氣繫統(SPAC繫統)能量傳輸的理論基礎,對農業節水評價和田間生產具有指導意義。 SPAC繫統物質和能量傳輸研究一直是國際社會關注的前沿課題和多學科熱點,全球氣候變化引發的全球資源環境問題日益嚴峻,伴隨信息技術的發展,土壤-植物-大氣各界面間的能量傳輸研究已由過去的小尺度逐步向區域乃至全球尺度轉變,天-空-地立體綜合觀測方式的轉變,也使得SPAC繫統能量傳輸逐步向區域或更大尺度的農業生態研究拓展。大數據時代的到來,將實現傳統基於過程的SPAC繫統能量傳輸研究與基於大數據驅動的農業生態學研究有等
|
30.
|
孫傳芳
市場價:240元 優惠價:200元
立刻節省:40元
|
31.
|
文苑英華
市場價:290元 優惠價:250元
立刻節省:40元
|
|