數(shù)理邏輯系統(tǒng)是形式語言、形式語義和證明的三位一體�！稊�(shù)理邏輯引論：計算機科學(xué)與系統(tǒng)的天然基礎(chǔ)》討論這類系統(tǒng)的核心思想、重要概念、組成部分、構(gòu)建方法，以及它們與數(shù)學(xué)和計算機科學(xué)的緊密關(guān)系，解釋數(shù)理邏輯系統(tǒng)中符號化語言、解釋、模型等概念，研究遞歸、迭代、分解組合、模塊化、等價替換等處理結(jié)構(gòu)復(fù)雜性的方法和技術(shù)。正是這些概念、

《高等數(shù)學(xué)練習(xí)冊（理工類）》是依據(jù)高等理工類各專業(yè)對高等數(shù)學(xué)課程的教學(xué)要求，根據(jù)本科院校高等數(shù)學(xué)教學(xué)時數(shù)，合理地安排每個課時教學(xué)內(nèi)容，并以每次課配置一次練習(xí)的原則進(jìn)行編寫。《BR》本套書分為上下兩冊，本書為上冊.全書分為客觀題和主觀題兩部分。其中：主觀題包含填空題、選擇題、解答題、證明題等題型，各題后均留有空白處，用于

《高等數(shù)學(xué)練習(xí)冊（理工類）》是依據(jù)高等理工類各專業(yè)對高等數(shù)學(xué)課程的教學(xué)要求，根據(jù)本科院校高等數(shù)學(xué)教學(xué)時數(shù)，合理地安排每個課時教學(xué)內(nèi)容，并以每次課配置一次練習(xí)的原則進(jìn)行編寫�！禕R》本套書分為上下兩冊，本書為下冊。全書分為客觀題和主觀題兩部分。其中：主觀題包含填空題、選擇題、解答題、證明題等題型，各題后均留有空白處，用于

《高等數(shù)學(xué)習(xí)題課教程》是根據(jù)《工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求》《經(jīng)濟管理類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求》《全國碩士研究生入學(xué)統(tǒng)一考試數(shù)學(xué)考試大綱》對該課程的要求編寫的.本書為上冊，內(nèi)容為一元函數(shù)微積分學(xué)�！禕R》本書各章內(nèi)容包括學(xué)習(xí)要求、內(nèi)容提要、釋疑解難、例題分析、考題選講、復(fù)習(xí)題與自測題，并附有復(fù)習(xí)題與自測題解

《高等數(shù)學(xué)習(xí)題課教程》（上、下）冊是根據(jù)工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求、經(jīng)濟管理類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求和全國碩士研究生入學(xué)統(tǒng)一考試數(shù)學(xué)考試大綱等對該課程的要求編寫的.本書為下冊，內(nèi)容包括微分方程、空間解析幾何與向量代數(shù)、多元函數(shù)微積分學(xué)和無窮級數(shù).本書各章內(nèi)容包括學(xué)習(xí)要求、內(nèi)容提要、釋疑解難、例題分析、考題

本書較系統(tǒng)地討論了非線性中立型泛函微分方程數(shù)值方法的穩(wěn)定性、收斂性和耗散性。本書共8章，第1章介紹了中立型泛函微分方程數(shù)值分析的應(yīng)用背景和研究進(jìn)展；第2章致力于中立型泛函微分方程理論解的穩(wěn)定性分析，為其算法分析奠定基礎(chǔ)；第3章在一般的Banach空間中研究數(shù)值方法的穩(wěn)定性和收斂性；第4—6章分別討論了三種特殊類型中立型

本書是一本用英文寫成的數(shù)學(xué)類教材，是作者基于多年的科研和全英文教學(xué)經(jīng)驗編寫而成的。全書分為10章。前3章是預(yù)備知識和方法，包含了某些數(shù)學(xué)軟件程序、某些函數(shù)和積分公式以及平面系統(tǒng)的相圖等內(nèi)容。后7章是針對7個著名方程所描述的非線性波進(jìn)行數(shù)值模擬和推導(dǎo)其表達(dá)式，包含KdV方程的行波、mKdVI方程的孤立波和周期波、mKdV

本書是河南省“十四五”普通高等教育規(guī)劃教材，分上下兩冊。上冊由序章、函數(shù)的極限與連續(xù)、導(dǎo)數(shù)與微分、微分中值定理與導(dǎo)數(shù)的應(yīng)用、積分、定積分的應(yīng)用、微分方程等七章組成。在內(nèi)容的編排上，注重概念實際背景的介紹，突出基本概念的系統(tǒng)理解和解題方法的把握。為配合在線課程的學(xué)習(xí)，本書的各個重要知識點與在線課程的每一講相對應(yīng)，讀者掃描

本書是以高等學(xué)校高等數(shù)學(xué)本科課程教學(xué)大綱和少數(shù)民族預(yù)科教育一年制數(shù)學(xué)教學(xué)大綱為依據(jù)，在首屆遼寧省教材建設(shè)獎高等教育類優(yōu)秀教材《高等數(shù)學(xué)基礎(chǔ)》的基礎(chǔ)上修訂編寫而成�！禕R》本書著眼素質(zhì)教育，注重數(shù)學(xué)內(nèi)容、思維之間內(nèi)在的聯(lián)系，條理、結(jié)構(gòu)、脈絡(luò)清晰，注重培養(yǎng)學(xué)生數(shù)學(xué)思維能力，便于教學(xué)。在教材內(nèi)容選取和講述上，本著從簡單到復(fù)雜

本教材根據(jù)高等學(xué)校非數(shù)學(xué)類專業(yè)高等數(shù)學(xué)課程的教學(xué)要求和教學(xué)大綱編寫，分為上、下兩冊。本書為上冊，共8章，內(nèi)容包括函數(shù)、極限與連續(xù)，導(dǎo)數(shù)與微分，微分中值定理與導(dǎo)數(shù)的應(yīng)用，不定積分，定積分，定積分的應(yīng)用，常微分方程，MATLAB軟件與一元函數(shù)微積分實驗等。附錄中有二階和二階行列式計算、幾種常見的曲線、積分表和部分常用數(shù)學(xué)公