《線性代數輔導精講》按照考研數學大綱的要求,以歷年考研數學真題中的典型題目及分析詳解為主線,內容包含典型方法的歸類總結、重要和常用技巧的運用、考生易錯點的提示、重點題型的考研預測等.相比其他考研數學輔導圖書有以下特色：(1)緊扣大綱要求,精選歷年考研真題,分模塊分階段地指導考生科學備考;(2)精心設計本書模塊和欄目,輔

本書是根據教育部頒發(fā)的“工科類本科數學基礎課程教學基本要求”編寫的。全書內容包括：行列式、矩陣、線性方程組與向量組的線性相關性、相似矩陣與二次型、線性空間與線性變換、數學軟件Matlab簡介與上機實驗，書末附有常用“線性代數”英文專業(yè)詞匯及部分習題參考答案與提示。本書可作為高等工科院校工學、經濟學、管理學各專業(yè)教材或教

本書內容包括行列式的計算方法、矩陣、線性方程組、向量空間、相似矩陣與矩陣的對角化以及二次型。全書涵蓋了最新的全國碩士研究生人學考試大綱中有關線性代數部分的相關內容及相應的歷年全國碩士研究生入學考試試題，每章后均配有檢測題，并在書后附有答案與提示。

《高等代數問題求解的多向思維》是作者結合多年給數學專業(yè)本科生進行高等代數考研輔導的有關內容,和長期的探索積累編著而成的�！陡叩却鷶祮栴}求解的多向思維》精選包括多項式、行列式、線性方程組、矩陣、二次型、線性空間、線性變換、λ-矩陣、歐幾里得空間等內容的典型例題，給出多種證法或解法，反映高等代數各類知識點之間的有機聯(lián)系，注

如何描述一群人和另外一群人的距離呢？知音與朋友的數學差異是什么？足球比賽的冷門不斷會刻意突出其怎樣的運動本質？基于大數據的客觀世界真的會與數學形成對立嗎？我們經常說的"度"的數學內涵是什么？為什么會產生約等式邏輯？你能證明人單腿站立不穩(wěn)當嗎？多米諾效應隱藏著人們什么樣的虛假比喻？圍棋完美化的數學途徑是什么？為什么大眾更

這本教材覆蓋了許多不同的數學領域。這本書包括以下內容：平面幾何與立體幾何的基本知識；極限展開以及它在幾何中的應用；有限樣本空間中的概率的基本知識；以及對集合論和邏輯的初步介紹。盡管這些內容是相對獨立的，本書可以幫助讀者看到并理解不同數學領域之間的聯(lián)系。每章的開頭部分，有關于學習本章所需的預備知識的描述。

本書內容包括：常微分方程、線性代數、概率論與數理統(tǒng)計、線性規(guī)劃、數學建模概述。在每一模塊中均編有應用與實踐內容，其中包括高等數學在物理、機械、經濟、電工電子、信息技術等方面的應用和數學軟件MATLAB的使用。每節(jié)配有習題，并將習題答案附于書后。 本書可供高職院校工科類和經濟管理類專業(yè)的學生作為教材或學習參考書使用

本書架構上分為函數極限、微分方程、多元微分學，多元函數積分、級數4個部分，章節(jié)設計由淺入深逐步遞進。在微分方程部分，包括微分方程的求解及應用。多元微分學部分，包括多元函數的概念、求導方法、多元函數偏導數的意義。多元函數積分學部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級數部分，包括級數內容。教材每節(jié)后均配

本書內容包括：極限與連續(xù)、導數與微分、導數的應用、一元函數積分學及多元函數微積分學。在每一模塊中均編有應用與實踐內容，其中包括高等數學在物理、機械、經濟、電工電子、信息技術等方面的應用和數學軟件MATLAB的使用。每節(jié)配有習題，并將習題答案附于書后。 本書可供高職院校工科類和經濟管理類專業(yè)的學生作為教材或學習參考

布爾巴基學派的序、代數、拓撲三大母結構是現(xiàn)代數學的基礎.利用計算機證明輔助工具,可以完整構建這三大母結構的形式化系統(tǒng).《公理化集合論機器證明系統(tǒng)》利用交互式定理證明工具Coq,實現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其