《计算机数学基础》(Basic Mathematics for Computer)是计算工程类计算机科学与技术专业教学中最为重要的核心基础课程，它是学习专业理论中不可少的数学工具。

• 概述
  课程的性质与任务
  通过本课程的学习，要使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法以及计算机上常用数值分析的构造思想和计算方法。同时，也要培养学生抽象思维和缜密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力。
  课程的目的与要求
  本课程主要有离散数学,线性代数,概率论和数理统计等内容，是一门理论性较强，应用性较广的课程。因此，通过本课程的学习，使学生：
  1. 掌握课程的基本概念和基本原理，进一步提高抽象思维和逻辑推理的能力；
  2. 熟悉数值计算方法的基本原理和基本方法，掌握常见数值计算的方法，进一步提高数值计算能力。
  离散数学的教学内容
  1. 数理逻辑 命题逻辑，谓词逻辑。
  2. 集合论 集合及其运算，二元关系与函数。
  3. 图论 基本概念,回路，平面图、图的着色及连通性。
  4. 代数系统 群，其它代数系统。
  线性代数的教学内容
  1.行列式,行列式的运算,线性方程组的求解
  2.矩阵,矩阵的运算,矩阵的初等变换,矩阵的秩
  概率论和数理统计的教学内容
  1.概率定义,古典概型,条件概率
  2.概率密度,正态分布函数,二项分布
  3.数学期望,方差
• 图书1
  
  ISBN: 9787111230236
  开本： 16
  定价: 21.00 元

  内容简介

  本书介绍了线性代数和离散数学两领域中各分支的基本内容，全书共分6章，其主要内容有行列式、矩阵、线性方程组、集合论初步、图论、数理逻辑。书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后配有习题，有助于读者加深对概念的理解。本书既可作为高职高专计算机专业课程的教材，也可供从事计算机专业的科学工作者及有关工程技术人员参考。

  目录

  编者的话
  前言
  第1章集合论基础
  第2章整数的性质
  第3章矩阵初步
  第4章组合论原理
  第5章例题逻辑
  第6章一阶谓词逻辑
  第7章关系
  第8章函数
  第9章图
  第10章特殊图
  参考文献
  ……
• 图书2
  书 名:

  

  计算机数学基础
  作　者：田文成　
  出版社：天津大学出版社
  出版时间： 2010-4-1
  ISBN: 9787561834312
  开本： 16开
  定价: 26.00元

  内容简介

  本书共分五篇：第一篇为矩阵代数；第二篇为数理逻辑，介绍命题逻辑和谓词逻辑的基本概念和运算；第三篇为集合论，介绍集合的概念和运算、二元关系和函数等；第四篇为代数系统，介绍二元运算的基本性质以及半群、独异点、群、格、布尔代数、环和域等；第五篇为图论，介绍图的基本概念以及欧拉图、汉密尔顿图、平面图、树和它们的有关应用。
  本书内容通俗易懂，例题丰富，各节均配有大量的习题。本书是按照计算机及相关专业的高职高专的教学要求而编写的教材，也可作为相关专业大学本科、专科计算机数学基础教材或教学参考书。

  图书目录

  第一篇 矩阵代数
  第1章 矩阵
  1.1 矩阵运算
  1.2 矩阵的初等变换
  第2章 向量空间
  2.1 向量运算和性质
  2.2 矩阵分解
  第二篇 数理逻辑
  第3章 命题逻辑
  3.1 命题及其表示法和联结词
  3.2 命题公式与翻译
  3.3 真值表与等价式
  3.4 公式的恒真与蕴涵
  3.5 形式演绎
  3.6 范式与主范式
  第4章 一阶逻辑，
  4.1 一阶逻辑的概念与表示
  4.2 一阶逻辑公式与翻译
  4.3 等价式与前束范式
  4.4 一阶逻辑推理理论
  第三篇 集合论
  第5章 集合的基本概念与运算
  5.1 集合的概念与表示法
  5.2 集合的基本运算
  5.3 笛卡儿乘积
  第6章 关系
  6.1 关系及其表示
  6.2 关系的性质
  6.3 关系的运算
  6.4 关系的闭包
  6.5 等价关系
  6.6 偏序关系
  第7章 函数
  7.1 函数的定义和性质
  7.2 逆函数与复合函数
  第四篇 代数系统
  第8章 代数结构
  8.1 代数系统的基本概念
  8.2 运算的性质
  8.3 同态与同构
  第9章 群论
  9.1 半群与群
  9.2 变换群与置换群
  9.3 子群与循环群
  9.4 陪集与不变子群
  9.5 商群与群的同态
  第10章 几个特殊的代数系统
  10.1 环与域
  10.2 格与布尔代数
  第五篇 图论
  第11章 图的概念
  11.1 图的基本概念
  11.2 图的连通性、路、回路
  11.3 图的矩阵表示
  11.4 权图中的最短路问题
  第12章 特殊图
  12.1 欧拉图
  12.2 汉密尔顿图
  12.3 平面图
  第13章 树
  13.1 无向树
  13.2 有向树与根树
  13.3 二叉树及其应用
  附录
  1 算法的数值稳定性
  2 代数插值
  参考文献
• 图书3
  书 名: 计算机数学基础（高职类）

  
  作　者：高世贵
  出版社：机械工业出版社出版时间： 2011-02-21ISBN: 9787111331094开本： 16开定价: 16.00元
  本书配有电子课件

  内容简介

  本书面向计算机科学和电子等领域，密切结合专业需求，注重数学思想和方法在计算机科学和电子等领域中的应用。本书针对高职学生特点，语言表述通俗简洁，深入浅出，可读性强，便于学生对数学知识的理解和掌握。
  全书共四章，主要内容包括：线性代数初步、集合与关系、图论和数理逻辑。“*”号部分为选学内容。本书每节配有一定的习题，每章配有复习题。书末附有习题参考答案。
  本书可作为高职高专计算机应用和电子类各专?数学课程的教材或参考书，也可供继续教育和自学考试的读者学习参考。

  章节目录

  前言
  第一章　线性代数初步
  第一节　矩阵的概念及运算
  第二节　矩阵的初等变换
  第三节　一般线性方程组求解问题
  第四节　数学实验
  复习题一
  第二章　集合与关系
  第一节　集合的基本概念和运算
  第二节　二元关系
  复习题二
  第三章　图论
  第一节　图
  第二节　欧拉图与哈密顿图
  第三节　树
  复习题三
  第四章　数理逻辑
  第一节　命题逻辑
  第二节　谓词逻辑
  复习题四
  习题参考答案
  参考文献