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

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

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

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

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

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

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

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

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

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