邏輯定理的機器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具

本書是一部系統(tǒng)地介紹Nabla離散分?jǐn)?shù)階系統(tǒng)理論的專著,其中包含了許多原創(chuàng)性成果和未解問題.針對Nabla離散分?jǐn)?shù)階系統(tǒng),本書討論了其穩(wěn)定性分析和控制器設(shè)計問題,為了便于驗證所提理論,還介紹了數(shù)值實現(xiàn)方法.本書由淺入深、循序漸進(jìn)地展開,雖不是字斟句酌的教科書,但所給出的結(jié)論均提供了巧妙且嚴(yán)謹(jǐn)?shù)淖C明,既介紹了靈感來源,提

近年來，在圖像處理與強度可調(diào)輻射療法的實際應(yīng)用背景下，分裂可行性問題成為近期非線性分析的研究熱點之一。本專著從三個方面研究分裂可行性問題與廣義分裂可行性問題（分裂公共不動點問題、分裂變分不等式問題和分裂公共零點問題）解的迭代逼近。主要體現(xiàn)在新算法設(shè)計、空間擴(kuò)展和參數(shù)減弱限制條件等方面。對于豐富和擴(kuò)展分裂可行性問題相關(guān)理

第1-12章是《測度論基礎(chǔ)與高等概率論》上冊，其中第1，2章是預(yù)備知識，第3-12章是測度論基礎(chǔ)。本書強調(diào)背景知識的深刻描述、基本概念的自然引入、科學(xué)素養(yǎng)的悄然滲透，從謀篇布局到板塊轉(zhuǎn)換，直至例題編制都精雕細(xì)琢，從章節(jié)引言到問題切人，直至定義、引理、命題、定理前的導(dǎo)語都字斟句酌。為避免初學(xué)者從初等概率論到高等概率論因躍

第1-12章是《測度論基礎(chǔ)與高等概率論學(xué)習(xí)指導(dǎo)》上冊，其中第1，2章是預(yù)備知識，第3-12章是測度論基礎(chǔ)。作為學(xué)習(xí)指導(dǎo)用書，本書與同名作者編著的《測度論基礎(chǔ)與高等概率論》配套，目的是部分地解決初學(xué)者學(xué)習(xí)“測度論”和“高等概率論”等課程的過程中在做題環(huán)節(jié)常常無從下手、方向感差、不知論證是否嚴(yán)謹(jǐn)，解答是否完整等問題。與教材

本書介紹了廣方復(fù)原的CFOP四步法以及如何利用故事法快速記住其中涉及到的公式。讓讀者在充滿趣味的閱讀中牢記魔方公式，讓所有人都能學(xué)習(xí)魔方，成為魔方速擰的高手。

本書是Fred等三個美國流行病學(xué)模型專家、數(shù)學(xué)家合著的MathematicalModelsinEpidemiology一書的中譯本。內(nèi)容分流行病學(xué)的基本概念（包括各種類型的倉室模型、地方病模型、流行病模型、異質(zhì)混合模型、媒介傳播的疾病模型）,特殊疾病的模型（包括結(jié)核病模型、艾滋病病毒/艾滋�。℉IV/AIDS）模型、流

本書是“全國大學(xué)生數(shù)學(xué)競賽叢書”中的一本,由佘志坤主編,全國大學(xué)生數(shù)學(xué)競賽命題組編,是全國大學(xué)生數(shù)學(xué)競賽工作組推薦用書。全書分上、下兩冊,本書為下冊,共4章,內(nèi)容包括向量代數(shù)與空間解析幾何、多元函數(shù)微分學(xué)、多元函數(shù)積分學(xué)、無窮級數(shù)。每章內(nèi)容由競賽要點與難點、范例解析與精講、真題選講與點評、能力拓展與訓(xùn)練、訓(xùn)練全解與分析

本書主要研究了高維非線性系統(tǒng)的復(fù)雜動力學(xué)、全局分岔和混沌動力學(xué)。針對研究高維非線性動力系統(tǒng)數(shù)學(xué)理論過于抽象、難于在工程實際中應(yīng)用的問題，以典型的工程振動實際問題為例，通過建立高維非線性動力學(xué)模型并發(fā)展相應(yīng)的理論解決方法來啟發(fā)讀者。本書在內(nèi)容的安排上由淺入深、循序漸進(jìn)，從理論推導(dǎo)到工程實例，便于讀者自學(xué)。

法國數(shù)學(xué)家笛卡兒提出被稱為現(xiàn)實中不存在的“想象中的數(shù)”。這就是高中數(shù)學(xué)中涉及的“虛數(shù)”概念。虛數(shù)有何奇妙之處呢？無論是正數(shù)還是負(fù)數(shù)，平方之后必然為正；而虛數(shù)則是“平方為負(fù)”，這樣的數(shù)在哪里都找不到。為什么要學(xué)習(xí)虛數(shù)呢？這是因為在數(shù)學(xué)中虛數(shù)發(fā)揮著極其重要的作用，如果沒有虛數(shù)，那數(shù)字的世界就不完整了。而且即使是對于解析微觀