乔治·布尔发明了一套符号用来进行逻辑演算,创造了逻辑代数系统,完成了逻辑的数学化。布尔称他的工作为“思维的定律”,理由是命题代数和思维过程的原则紧密相联。新的知识常常会为你解决一些意想不到的难题。布尔代数就可以应用于解决逻辑问题,这些问题的条件形成一个命题的总体,我们可以利用它证实某些其他命题的真和假。布尔代数在代数学、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用。本书介绍了布尔代数、广义布尔代数、布尔方程、布尔矩阵、布尔表示等概念,还列举了布尔代数在逻辑线路、极大极小值等问题中的应用。
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括:中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧,可以使得程序设计变得轻松、美观、高效,而且往往能反映出问题的本质。在外各项程序设计比赛(比如,ACM、NOI)活动中,越来越多地用到各种复杂的数学知识,对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者,分析一些程序设计中常用的数学知识和数学方法。
自上世纪20~30年其出现开始,群的上同调就成为了代数与拓扑学的交叉领域,并且促成了重要的新数学研究领域的创建,诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法,研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合,连同各种重要的经典群(对称群、交错群、李型极限群以及各种散在单群)的上同调的计算方法
《MFQP232 高等数学辅导及习题精解(上册)(同济第七版)》一、本章知识图解:知识结构图揭示出本章知识点之间的有机联系,便于学生从总体上系统地掌握本章知识体系和核心内容。二、教材知识全解:梳理本节
本书在创新理念的指导下,注重发挥学生的主体作用,对教学方法进行了创新研究,提出数学文化与大学数学教学的融合、高等数学教学对学生能力的培养等。探讨了目前高等数学的教学模式,分析研究了传统教学模式、结合多媒体的教学模式、慕课教学和翻转课堂等,对从事高等数学课程教学的教师和高等数学教育教学研究的学者具有的参考和借鉴作用。
本书是在2014年11月第2版的基础上修订而成。它是按照教育.部于2009年制定的《工科类本科数学基础课程教学基本要求》而编写的,分上、下两册,共11章。此为下册(5章),内容包括向量代数与空间解析几
本书首先介绍MATLAB语言程序设计的基本内容,在此基础上系统介绍各个应用数学领域的问题求解,如基于MATLAB的微积分问题、线性代数问题的计算机求解、积分变换和复变函数问题、非线性方程与很优化问题、