本書為理論物理學家大栗博司先生寫給自己女兒的數學啟蒙讀物, 全書以用“數學語言”解讀自然為線索, 用生動故事和比喻重新講解了數學的核心原理與體系, 并且講解了把數學作為一門“語言”的思維方式, 是數學入門, 重新理解數學的科普佳作。書中以日常生活的真實事件為話題, 按從形象、具象到抽象的順序講述了生活話題背后的數學原理, 為讀者提供了從數學角度看待世界的方法。
本書收錄了十位20世紀后半葉的數學家, 他們每個人都在數學史上留下了自己的足跡。在美國成為數學研究中心的時代里, 他們是更加多元化的國際數學大家庭的成員, 構成了這個大家庭的橫截面。在這個時期內, 很多長期以來開放性的問題得到了解決, 純數學和應用數學得到了大發展, 新數學思想的引入使得主要技術進步成為可能。
"本書是同濟大學數學科學學院編的《高等數學》第八版，從整體上說與第七版沒有大的改變，內容深廣度符合2014年版“工科類本科數學基礎課程教學基本要求”，適合高等院校工科類各專業學生使用。本次修訂遵循“堅持改革，不斷錘煉，努力打造培根鑄魂、啟智增慧的精品，為人才培養和立德樹人作貢獻”的要求，對第七版進行了一次細心的修訂：少數地方作了一些必要的修改，個別章節補充了例題；對習題進行了適當的調整和補充，更換了少量習題；附錄增加了初等數學幾個內容簡介；增加了釋疑解難、例題精講等數字教學資源，使用時
本書系統介紹了數學建模的理論知識和求解方法，結合典型實例全面闡述了數學建模解決實際問題的基本過程。內容涵蓋了數學建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規劃、整數規劃與非線性規劃、常微分方程與差分方程模型、概率統計模型、圖論與網絡優化、綜合評價與決策模型等。
邏輯定理的機器證明是人工智能領域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現邏輯定理證明的藝術，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現。本書首先用作者構造的命題演算系統FPC和狹謂詞演算系統FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具TPG(Tree Proof Generator)實現邏輯定理的自動證明(一種樹證明)。最后，用交互式定理機器證明工具Fitch實現了邏輯定理的計算機證明(一種自然推理證明)。
《在教學中尋找數學的美》從一個特殊的視角——數學教育教學，探索尋找與教學緊密聯系的數學的內在之美、人文之美、應用之美、思維之美、空間之美、字符之美、哲學之美、政論之美、改革之美、教學設計之美、研究過程之美、教學實踐之美、學生熱愛數學之美…… 讀者閱讀《在教學中尋找數學的美》，可以與作者一起探究數學與教學相結合之美的獨特性在哪里，感受數學之美的內涵與外延。 相信讀者閱讀《在教學中尋找數學的美》，能感受到數學別樣的美，體會到進行數學研究與教育教學的寶貴精神與美麗心情，一定會有
本書詳細介紹小波變換的起源、原理和應用, 內容覆蓋傅里葉變換、窗口傅里葉變換、框架理論、連續小波變換、多分辨率分析、Daubechies 正交小波、小波包、小波提升理論以及小波在信號處理和圖像處理等方面的應用, 涵蓋了發展比較成熟的小波分析的所有基本內容。另外, 本書特別關注實際應用和數學理論之間的關聯, 強調解決實際問題中的數學原理以及解決問題所需要的數學思維和方法。
本書是一部系統地介紹Nabla離散分數階系統理論的專著,其中包含了許多原創性成果和未解問題.針對Nabla離散分數階系統,本書討論了其穩定性分析和控制器設計問題,為了便于驗證所提理論,還介紹了數值實現方法.本書由淺入深、循序漸進地展開,雖不是字斟句酌的教科書,但所給出的結論均提供了巧妙且嚴謹的證明,既介紹了靈感來源,提供了文獻出處,又對結論的特性和價值進行了剖析,提供了針對性的數值算例.書中所列彩圖均可掃描封底二維碼進行查看.本書力求通俗易懂、簡潔實用,從問題到方法,從算例到應用,前后呼
《幾何基礎》是數學大師希爾伯特的一部名著，首次發表于1899年，該書第一次給出了完備的歐幾里得幾何公理系統。全體公理按性質分為五組（即關聯公理、次序公理、合同公理、平行公理和連續公理），他對它們之間的邏輯關系作了深刻的考察，精確地提出了公理系統的相容性、獨立性與完備性要求。為解決獨立性問題，他的典型方法是構作一個模型，不滿足所論的公理，但卻滿足所有其他公理。采用這種途徑可賦予非歐幾何以嚴密的邏輯解釋，同時開拓了建立其他新幾何學的可能性。對于相容性問題，他的重大貢獻是借助于解析幾何而將歐氏幾
本書共分五章，第一章為預備知識，主要介紹度量空間及其上的各種壓縮型映射的不動點理論的基本知識。第二章主要介紹b-度量空間上廣義壓縮型映射的不動點理論及其應用知識。第三章主要介紹b-度量空間上的廣義壓縮型映射的不動點理論及其應用知識。第四章主要介紹矩形b-度量空間上的廣義壓縮型映射的不動點理論及其應用知識。第五章主要介紹偏度量空間、G-度量空間、錐度量空間等廣義度量空間上壓縮型映射的不動點結果。
新書資訊 新書推薦