本書在*版的基礎上進行修訂再版，全書共9章，內(nèi)容可分為Boole代數(shù)理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎上對“計量邏輯學”，關于一階系統(tǒng)K完備性的證明等諸多內(nèi)容做了補充或改寫。 本書可供計算機專業(yè)、應用數(shù)學專業(yè)、人工智能專業(yè)的研究生與高年級本科生及教師閱讀。

本書共分兩個部分：拓撲學中的手性和數(shù)學走進生物大分子序列。 *部分是一次演講的綱要。手性就是左右不對稱性，是自然界的常見現(xiàn)象，在化學中日益重要。本文介紹了作者和王詩宬教授合作的一個科研課題的來龍去脈。從材料化學家1982年的實驗和問題、拓撲學家1986年的回答，提出我們自己的新概念與新問題。解釋了所涉及的數(shù)學概念，以

本書介紹了從歐幾里得、費馬、歐拉、高斯以來2000多年中素數(shù)研究的重要成果、問題、思想和方法，包括素數(shù)有多少、如何識別素數(shù)、是否有定義素數(shù)的函數(shù)等一系列具有重要理論意義和應用背景的問題，并介紹了相關問題至2003年的*記錄

《高等數(shù)學線性代數(shù)（第2版）/高等職業(yè)教育“十三五”規(guī)劃教材》共分兩篇：第1篇為高等數(shù)學，主要包括函數(shù)、極限與連續(xù)、導數(shù)與微分、微分中值定理與導數(shù)的應用、不定積分、定積分及其應用、利用數(shù)學軟件求解問題等內(nèi)容；第2篇為線性代數(shù)，主要包括行列式、矩陣、線性方程組等內(nèi)容�！陡叩葦�(shù)學線性代數(shù)（第2版)/高等職業(yè)教育“十三五”規(guī)

《高等數(shù)學（高職數(shù)字版）》是全國高等院校數(shù)字化課程規(guī)劃教材之一，根據(jù)教育部高職高專高等數(shù)學課程教學基本要求，同時兼顧高職高專的特點和各專業(yè)的需要編寫而成�！陡叩葦�(shù)學（高職數(shù)字版）》包含8章內(nèi)容，分別為函數(shù)的極限與連續(xù)、導數(shù)與微分、中值定理及導數(shù)的應用、不定積分、定積分及其應用、多元函數(shù)微積分、微分方程、線性代數(shù)。每節(jié)后

《高等數(shù)學微分方程（第2版）/高等職業(yè)教育“十三五”規(guī)劃教材》共分兩篇：第1篇為高等數(shù)學，主要包括函數(shù)、極限與連續(xù)、導數(shù)與微分、微分中值定理與導數(shù)的應用、不定積分、定積分及其應用、利用數(shù)學軟件求解問題等內(nèi)容；第2篇為微分方程，主要包括常微分方程、二階非線性微分方程、二階線性微分方程、拉普拉斯變換等內(nèi)容�！陡叩葦�(shù)學微分方

本冊教材由四個模塊，八個單元構成。模塊內(nèi)語言材料圍繞一個主題展開，各模塊包含兩個單元，分別討論該模塊主題下的一個具體話題。本冊教材話題包括幫助他人、肢體語言、傳統(tǒng)技藝、卡通與漫畫、拯救瀕危動物、寵物、未知的世界和未來生活。各單元設有Gettingready，Reading，Listening，Grammar，Speak

在采用優(yōu)化方法解決實際工程與管理問題時，由于實際問題本身的復雜性，模型中不確定參數(shù)的精確可能性分布通常無法獲得�！秴�數(shù)可信性優(yōu)化方法/運籌與管理科學叢書28》基于2型模糊理論這一公理化體系，提出了當精確可能性分布無法獲得時，如何從可變參數(shù)可能性分布這一新視角對實際決策問題進行建模，彌補了文獻中基于名義可能性分布優(yōu)化方法

本套教材包含微分方程的基礎內(nèi)容。教材分上、下冊。上冊主要內(nèi)容為常微分方程理論基礎，包括基本概念、初等積分法、高階線性微分方程、常微分方程組、基本定理、定性與穩(wěn)定性理論初步和離散動力系統(tǒng)簡介等。下冊主要內(nèi)容為偏微分方程理論，包括緒論、一階偏微分方程、二階線性偏微分方程的經(jīng)典理論、偏微分方程解的性質(zhì)、廣義函數(shù)及Sobole

《高等數(shù)學（經(jīng)管類專業(yè)適用第2版）/高等職業(yè)教育教學用書·“十二五”職業(yè)教育國家規(guī)劃教材》是“十二五”職業(yè)教育國家規(guī)劃教材修訂版。《高等數(shù)學（經(jīng)管類專業(yè)適用第2版）/高等職業(yè)教育教學用書·“十二五”職業(yè)教育國家規(guī)劃教材》以經(jīng)濟管理類相關職業(yè)崗位群的核心教學需求為重點，堅持“理論夠用，重視基礎，突出應用”的原則，主要內(nèi)容