本書從一階邏輯的語法和語義開始，介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。

本書主要通過典型例題陳述數(shù)學(xué)分析中典型解題方法和技巧，內(nèi)容主要涉及多變量微積分，全書按章、節(jié)編排，每節(jié)包括內(nèi)容精析、典型例題和習(xí)題三部分，書后附有習(xí)題解答與提示。

本書著眼素質(zhì)教育，注重?cái)?shù)學(xué)內(nèi)容、思維之間內(nèi)在的聯(lián)系，條理、結(jié)構(gòu)、脈絡(luò)清晰，能培養(yǎng)學(xué)生數(shù)學(xué)思維能力，便于教學(xué)與學(xué)習(xí)。在教材內(nèi)容選取和講述上，本著從簡單到復(fù)雜、從特殊到一般的原則，力求深入淺出，“預(yù)、補(bǔ)結(jié)合”，難易結(jié)合，易教易學(xué)，主要內(nèi)容包括：函數(shù)、極限、連續(xù)函數(shù)、導(dǎo)數(shù)與微分、微分中值定理與導(dǎo)數(shù)的應(yīng)用、不定積分、定積分以及

正文的基本內(nèi)容及教材的體系和章節(jié)安排方面基本與原書一致，保留了原書的風(fēng)格。全書共分五章，內(nèi)容包括：行列式、矩陣及其運(yùn)算、矩陣的初等變換、向量組的線性相關(guān)性、線性方程組與高斯消元法、矩陣的特征值和特征向量、矩陣的對角化、二次型。書末附有習(xí)題答案。

高等數(shù)學(xué)(第4版)/楊天明等

本書是為普通高等教育“十三五”規(guī)劃教材、普通高等院校創(chuàng)新思維訓(xùn)練教材和普通高等院校少數(shù)民族預(yù)科教材《高等數(shù)學(xué)基礎(chǔ)》編寫的教材配套輔導(dǎo)書.按照教材的章節(jié),給出了每章的基本要求、知識框架、典型例題、課后習(xí)題全解、拓展訓(xùn)練和自測題.本書旨在幫助學(xué)生熟悉教材,提高解題能力,形成創(chuàng)新思維,為今后的學(xué)習(xí)和工作奠定堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ).

本書是作者根據(jù)教學(xué)一線多年的實(shí)踐，以“必需、夠用、適度拓展”為原則而編寫的，本書注意銜接中學(xué)數(shù)學(xué)知識，適當(dāng)把握教學(xué)內(nèi)容的深度和廣度，旨在培養(yǎng)學(xué)生良好的思維能力、創(chuàng)新能力和學(xué)習(xí)能力，為后續(xù)專業(yè)課程服務(wù).其主要內(nèi)容有預(yù)備知識、極限與連續(xù)、導(dǎo)數(shù)與微分、導(dǎo)數(shù)的應(yīng)用、不定積分、定積分及其應(yīng)用、常微分方程、向量代數(shù)與空間解析幾何等

本書主要面向有微積分基礎(chǔ)的本科生，是一部全面介紹復(fù)分析的基本理論和應(yīng)用的入門性教材，其中也以學(xué)生易于接受的方式討論了許多相關(guān)數(shù)學(xué)論題。本書語言簡單明了，以大量的例題、圖表和應(yīng)用實(shí)例清晰地闡明復(fù)分析概念。各章的大量習(xí)題和復(fù)分析在科學(xué)和工程領(lǐng)域中的應(yīng)用實(shí)例，將有助于學(xué)生領(lǐng)會和掌握復(fù)分析的理論精髓。

數(shù)學(xué)主要講述思想方法的學(xué)科，深入理解數(shù)學(xué)比掌握一大堆的定理、定義、問題和技術(shù)顯得更為重要。本書介紹實(shí)分析結(jié)合詳盡、廣泛的闡述，便于讀者深入理解分析內(nèi)涵和基本方法。

《離散數(shù)學(xué)概要》是一部教材，初版于2008年，這是第3版。主要面向計(jì)算機(jī)和數(shù)學(xué)等相關(guān)專業(yè)本科生，學(xué)時(shí)一個(gè)學(xué)期。本書旨在指導(dǎo)學(xué)生深入理解建立在數(shù)學(xué)復(fù)雜性之上的離散數(shù)學(xué)的基本理論，內(nèi)容涉及邏輯思維，關(guān)系思維，遞歸式思維，數(shù)量思維和分析思維等5部分內(nèi)容。為便于讀者快速了解全書內(nèi)容，該書開頭首先引入核心和輔助內(nèi)容樹圖，算法理論