集合论导引(第一卷)基本理论 《集合论导引(第一卷)基本理论》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636218。本卷是这本《集合论导引》的开卷,分为三章,是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法,并给出典型的可数集合的例子,包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门 壹号书单 2019年12月01日 0 点赞 0 评论 75 浏览
实验物态方程导引 《实验物态方程导引》,作者:经福谦著 出版社:科学出版社 ISBN:130313301。本书主要论述高压物态方程实验研究的具体方法和技术,也包括了必要的理论基础. 本书可作为高压物态方程实验研究工作者及高等院校有关专业师生的参考书. 壹号书单 1986年10月01日 0 点赞 0 评论 58 浏览
新大学化学学习导引 《新大学化学学习导引》,作者:黄如丹主编 出版社:科学出版社 ISBN:9787030206442。本书共12章,包括化学反应基本规律、溶液与离子平衡、氧化还原反应和电化学、物质结构基础、金属元素与金属材料、非金属元素与无机非金属材料、有机高分子化合物及高分子材料、化学与能源、化学与环境保护、化学与生命、化学与生活、化学与国防等章的相关内容的学习导引。 壹号书单 2008年04月01日 0 点赞 0 评论 54 浏览
自动机理论、语言和计算导引 《自动机理论、语言和计算导引》,作者:J.E.霍普克罗夫特 出版社:科学出版社 ISBN:15031737。本书是讨论自动机理论、语言理论和计算理论(主要是计算复杂性理论)的专著. 全书共十四章.第一章为预备知识;第二、三章讨论有穷自动机和正规集合;第四、五、六章讨论上下文无关语言和下推自动机;第七章讨论图灵机;第八章讨论不可判定性;第九章按Chomsky谱系对语言和自 壹号书单 1986年09月01日 0 点赞 0 评论 47 浏览
有限群论导引 《有限群论导引》,作者:(德)Hans Kurzweil,(德)Bernd Stellmacher著;施武杰,李士恒译 出版社:科学出版社 ISBN:9787030232298。全书主要内容包括:群论的基本概念,置换群,p群和幂零群,可解群,群在陪集和群上的作用、互素作用和二次作用,有限群的局部和整体的对应等。 壹号书单 2009年02月01日 0 点赞 0 评论 35 浏览
线性代数导引 《线性代数导引》,作者:Y. Q. Guo, K.P. Shum and G. T. Xu编著, P. K. Tam译 出版社:科学出版社 ISBN:9787030188885。本书分为上,下两篇,上篇介绍矩阵代数,行列式,线性空间,对称双线性空间,Euclid 空间等,下篇介绍线性变换,线性空间关于线性变换的一类直和分解,正交与对称变换。 壹号书单 2007年04月01日 0 点赞 0 评论 55 浏览
系统科学导引(第II卷:系统科学的数学物理基础) 《系统科学导引(第II卷:系统科学的数学物理基础)》,作者:吴金闪著 出版社:科学出版社 ISBN:9787030607348。本系列共3卷。本卷一方面介绍一些数学和物理的概念和分析技术, 从而为把系统科学的思维方式通过具体问题的研究发展成分析方法做好准 备;另一方面把物理学当作给世界建立数学模型的例子来体会什么是科学。同时,更加重要的是,对数学、物理的概念和分析技术背后的思维方式以及这些概念和技 壹号书单 2019年03月01日 0 点赞 0 评论 36 浏览
数字计算机系统功能设计导引 《数字计算机系统功能设计导引》,作者:高庆狮 出版社:科学出版社 ISBN:15031472。本书是根据作者1969—1972年在流水线超大型机,1973—1975年在并行计算、向量超大型及巨型机,1976—1979年在细胞结构化向量巨型机及其他新型向量机的设计和研究工作中的经验和成果写成的.1979年以来,作者以本稿为教材,曾在中国科学院研究生院讲授,以后又作了一些补充 壹号书单 1983年03月01日 0 点赞 0 评论 54 浏览