关于我们
|
|
点击返回 当前位置:首页 > 中图法 【 O1 数学】 分类索引
-
-
- 数理逻辑引论
- 李涛/2016-8-1/哈尔滨工业大学出版社
数理逻辑是离散数学的重要组成部分之一,是计算机科学的数学基础。《数理逻辑引论(修订版)》内容主要侧重于逻辑演算,即命题逻辑演算和一阶谓词逻辑演算,这些内容是构成数理逻辑其他分支的共同基础。全书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。
《数理逻辑引论(修订版)》可用作高等院校计算机专业离散数学的教材或教学参
-
定价:¥19.8 ISBN:9787560361468
-
-
-
- 线性代数(理工类)
- 牛裕琪,岳晓鹏,王萍莉主编/2016-8-1/科学出版社
目前应用型高等学校所用教材大多直接选自传统普通高校教材,无法直接有效地满足实际教学需要.许昌学院是河南省地方本科高校转型发展试点单位,为适应学校转型发展需要,培养合格高素质应用型人才,结合我校专业特点,经过广泛调研和多次研讨,组织编写了适合理工类各专业的公共数学讲义,其中《线性代数(理工类)》已在我校理工类各专业经过了两个学期两次试用,根据相关师生建议和意见,进行了调整和修订,讲义的结构体系、内容编排等已较为科学合理,师生较为认可,社会效益良好。
-
定价:¥29 ISBN:9787030494702
-
- 线性代数
- 金大永,周永芳,孙光坤主编/2016-8-1/科学出版社
本书是为理工科大学理工与经济学类专业"线性代数"课程编写的教材,内容包括:线性方程组与矩阵,方阵的行列式,矩阵代数,维向量,向量空间,矩阵特征值和特征向量,二次型,Matlab在线性代数中的应用。每节内穿插有例题,练习题,每章末附有习题。书末附录包括:行列式的全排列及逆序数方法定义,习题参考解答和名次索引。本书结合理工科与经济类专业教学实际,注意理论和实际相结合,选材适当,体系新颖,论述严谨,条理清楚,对概念的解释透彻,便于教学和学生自学。
-
定价:¥29 ISBN:9787030494191
-
-
- 线性代数
- 王三福,王丙参,何建伟 编/2016-8-1/西南交通大学出版社
《线性代数》针对高等院校非数学专业教学大纲与《全国硕士研究生入学统一考试数学考试大纲》对线性代数的要求,采用学生易于接受的方式,科学、系统地介绍了线性代数的理论及其应用。编写的主要思想是:在满足教学基本要求的前提下,适当降低理论推导的难度,注重解决问题的矩阵方法,突出MATLAB实现,全书共5章,主要讲解行列式、矩阵及其运算、线性方程组与向量、矩阵的特征值与特征向量、二次型,为适应信息化社会,我们在附录中给出了MATLAB简明教程与线性代数实验以供读者参考。 《线性代数》可作为理工
-
定价:¥29.8 ISBN:9787564348328
-
- 线性代数
- 倪岚 编/2016-8-1/西南交通大学出版社
线性代数是普通高等院校理工类和经管类相关专业的一门重要基础课程,是学习后续课程的重要工具,也是研究生入学考试的必考内容。它对培养大学生的计算和抽象思维能力十分重要。近些年来,随着科学技术突飞猛进的发展,线性代数已经渗透到经济、金融、信息、社会等各个领域,人们以越来越深刻地感到线性代数教材应该在充分考虑大学生的特点,帮助大学生掌握相关的代数知识的同时,提高其用代数的方法思考、解决实际问题的能力。
-
定价:¥28.8 ISBN:9787564349417
-
- 线性代数
- 徐之晓,梁海明,陈凡 编/2016-8-1/北京理工大学出版社
《线性代数》是根据高等教育本科线性代数课程的教学基本要求编写而成的。《线性代数》主要内容包括矩阵及其运算、矩阵的初等变换、行列式、矩阵的秩与线性方程组、向量空间、相似矩阵与二次型以及与这些内容相对应的MATIJAB应用。此外,每章后面都给出本章知识结构与内容提要,便于学生从全局方面把握本章的内容,并且配备有相应的不同难度和目标要求的习题。同时,我们还在书后汇编了2007—2016年全国硕士研究生入学统一考试线性代数试题,并附有各章习题的参考答案。 《线性代数》内容丰富,阐述深入浅出
-
定价:¥38 ISBN:9787568230001
|