导引

GAP入门导引.pdf

本书着重辅导初学GAP的用户入门。全书共分7章,分别介绍GAP的安装和启动、数据类型、函数、编程、实例,以及在Nauty中 的一些应用等。

公理集合论导引.pdf

与通常的公理集合论著作不同,本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑

代数导引.pdf

本书将抽象代数导引与线性代数初步揉合在一起,并详细地阐述了有限域的结构,有限域上二次型的合同标准型,以及有限域上多项式的因式分解等。

有限群论导引.pdf

全书主要内容包括:群论的基本概念,置换群,p群和幂零群,可解群,群在陪集和群上的作用、互素作用和二次作用,有限群的局部和整体的对应等。

智能摄影测量学导引.pdf

本书系统讲述现代摄影测量学的知识体系、方法及应用。第1章为全书基础,介绍几何成像、传感器技术、摄影平台、图像处理以及最优化方法等。第2,3章分别介绍单目视觉和双目视觉,它们是摄影测量中几何概念的主体部分。第4章阐述运动平台的定位方法,并将传统的光束法平差推广为贝叶斯理论框架下的动

数理逻辑导引.pdf

  本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致

数字计算机系统功能设计导引.pdf

本书是根据作者1969—1972年在流水线超大型机,1973—1975年在并行计算、向量超大型及巨型机,1976—1979年在细胞结构化向量巨型机及其他新型向量机的设计和研究工作中的经验和成果写成的.1979年以来,作者以本稿为教材,曾在中国科学院研究生院讲授,以后又作了一些补充

大学物理学习导引与检测 杨华 主编.pdf

《大学物理学习导引与检测》是根据教育部高等学校大学物理课程教学指导委员会编制的《理工科类大学物理课程教学基本要求》和军队院校大学物理教学的相关要求,结合多年的教学实践经验编写而成的. 《大学物理学习导引与检测》共分为六篇16章,每章由基本要求、学习导引思维导图、内容提要、典型例题