TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (4)

商品狀況


可訂購商品 (4)

庫存狀況


無庫存 (4)

商品定價


$199以下 (1)
$400~$599 (2)
$800以上 (1)

出版日期


2022~2023 (2)
2016~2017 (1)
2016年以前 (1)

裝訂方式


平裝 (4)

作者


戴正德、蔣慕蓉、李棟龍 (1)
蔣慕蓉 (1)
趙春娜、蔣慕蓉 (1)
黃亞群、蔣慕蓉、趙春娜 (1)

出版社/品牌


科學出版社 (3)
雲南人民出版社 (1)

三民網路書店 / 搜尋結果

4筆商品,1/1頁
組合數學原理與方法(簡體書)

1.組合數學原理與方法(簡體書)

作者:蔣慕蓉  出版社:雲南人民出版社  出版日:2011/09/01 裝訂:平裝
這本由蔣慕蓉編著的《組合數學原理與方法》以組合計數問題為重點,介紹組合數學的基本原理和思想方法及解題技巧。全書共分9章:排列與組合,二項式系數,容斥原理及應用,遞推關系,生成函數,鴿巢原理與Ramsey數,Bumside引理和Polya定理,組合設計,組合算法在程序設計中的應用。每一章後面都附有一定數量的例題講解和習題,供學習者參考和練習。《組合數學原理與方法》可作為計算機科學、計算機工程、信息安
缺貨無法訂購
分數階系統高階邏輯形式化驗證(簡體書)
滿額折

2.分數階系統高階邏輯形式化驗證(簡體書)

作者:趙春娜; 蔣慕蓉  出版社:科學出版社  出版日:2023/09/01 裝訂:平裝
《分數階系統高階邏輯形式化驗證》是分數階系統與高階邏輯形式化驗證的基礎理論研究著作。分數階系統是建立在分數階微積分方程理論上實際系統的數學模型。分數階微積分方程是擴展傳統微積分學的一種直接方式,即允許微積分方程中對函數的階次選擇分數,而不僅是現有的整數。分數階微積分不僅為系統科學提供了一個新的數學工具,它的廣泛應用也表明了實際系統動態過程本質上是分數階的。高階邏輯形式化驗證是形式化驗證方法的一種,它是一種人機交互的定理證明方法。《分數階系統高階邏輯形式化驗證》以分數階微積分和高階邏輯形式化驗證為切入點,系統性研究了分數階系統的求解、近似化、控制器設計與高階邏輯形式化分析驗證等內容。
定價:894 元, 優惠價:87 778
海外經銷商無庫存,到貨日平均30天至45天
戴維-斯特瓦爾松方程(簡體書)
滿額折

3.戴維-斯特瓦爾松方程(簡體書)

作者:戴正德; 蔣慕蓉; 李棟龍  出版社:科學出版社  出版日:2017/01/16 裝訂:平裝
本書是關於耦合非線性偏微分方程Davey-Stewartson(DS)方程的一本專門著作。全書共分5章,主要介紹DS方程的物理背景;不同類型DS方程的初值問題;多種形式的孤立子解;同宿、異宿解;吸引子及結構探索。本書總結了DS方程的主要研究成果,特別是近年來我國科學工作者的成果。本書既注重理論,又側重于方法和技巧的總結。 本書適合于數學、物理、力學等有關專業人員及高等學校有關教師、高年級學生及研究
定價:528 元, 優惠價:87 459
海外經銷商無庫存,到貨日平均30天至45天
離散數學(第二版)(簡體書)
滿額折

4.離散數學(第二版)(簡體書)

作者:黃亞群; 蔣慕蓉; 趙春娜  出版社:科學出版社  出版日:2022/01/05 裝訂:平裝
“離散數學”是研究離散結構及其相互關係的學科,是計算機科學與技術專業的核心基礎課程。《離散數學(第二版)》共五篇九章,系統介紹數理邏輯、集合論、圖論、代數系統、組合與計數的基本概念和基本原理。《離散數學(第二版)》內容符合新工科教育的要求,滿足計算機科學與技術等專業的教學需求,內容體系嚴謹,敘述深入淺出,證明推演詳盡。同時,《離散數學(第二版)》詳細介紹相關知識在計算機科學中的應用實例及算法分析,
定價:414 元, 優惠價:87 360
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區