本书内容分为:行列式、矩阵及其初等变换与解线性方程组、矩阵的运算、向量的线性相关性与线性议程组的解的结构、特征值与特征向量等七章。
《实用高等数学》根据教育部制定的“高职高专教育基础课程教育基本要求”和高职数学教学改革的最新精神,在吸收借鉴了全国多所院校的教学改革成果的基础上编写了《实用高等数学》。《实用高等数学》既体现了叙述流畅、语言精练、逻辑清晰、便于自学等特点,又注重在简明性、实用性、够用性、模型性、工具性等方面下工夫,力求体现出高职数学教育
本书为普通高等教育“十一五”规划教材。全书共分为五篇,主要内容包括命题逻辑和谓词逻辑的基本概念和推理理论:集合的基本知识、关系和函数;半群与群、环与域、格与布尔代数等代数系统的基本概念与性质;欧拉图、哈密尔顿图、二部图、平面图及树的基本概念和表示;基本计数原理、容斥原理、鸽巢原理、二项式定理、生成函数、递推关系和Pol
TheideaforthisbookcamewhenIwasanassistantattheDepartmentofMathematicsandComputerScienceatthePhilipps-UniversityMarburg,Germany.SeveraltimesIfacedthetaskofsuppor
thesenotesdevelopedfromacourseonthenumericalsolutionofconservationlawsfirsttaughtattheuniversityofwashingtoninthefallof1988andthenatethduringthefollowingspring.
《数学分析讲义(第3册)》是作者在清华大学数学科学系(1987~2003)及北京大学数学科学学院(2003~2009)给本科生讲授数学分析课的讲稿的基础上编成的。一方面,作者力求以近代数学(集合论,拓扑,测度论,微分流形和微分形式)的语言来介绍数学分析的基本知识,以使同学尽早熟悉近代数学文献中的表述方式。另一方面在篇幅
《常微分方程简明教程》是一本常微分方程本科生教材,传统意义的微分方程是讲解求解微分方程解析解的特殊技巧,《常微分方程简明教程》的特别之处在于首先将数学建模贯穿全书,然后以不同的方法进行解的表达,在解的表达中,不仅仅限于解析解,主要以定性为主,通过斜率场、解的图像、相平面上的向量场及轨线等工具,到达对解的渐近行为的最好理
《数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing
离散数学,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。离散数学是随着计算机科学的发展而逐步建立的。它形成于20世纪70年代初期,是一门新兴的工具性学科。为适应计算机科学教学的需要,组织编写了这本理工科院校计算机专业适用的基础教材。内容包括:数理逻辑;谓词逻辑;集合代数;二元关系;函数;代数结构;格与布尔