
《离散数学速记折》:大学数学折子系列 |
任现淼,1940年6月出生,河北辛集人,毕业于哈尔滨军事工程学院.中国运载火箭技术研究院教授。代表著作《离散数学讲义》(获航天部部级优秀教材一等奖)、《标准大气》(译著,科学出版社,1982年,以此制定的国家标准“GB1920-80”获航天部1983年重大科研成果奖)、《大学生学习方法》(宇航出版社,1985年)、《数学定义、定理、公式记忆手册》(学苑出版社,1991年)、《趣味数学365》(北京广播学院出版社,1993年)、《新兴学科百方个为什么(数学卷)》(中央民族大学出版社,1994年)、《中学数学、物理、化学记忆手.. << 查看详细 |
| 上 命题逻辑:联结词真值表、等值式、推理理论 一阶逻辑:个体词、谓词、量词、解释、分类、一阶逻辑等值式、前束范式、推理理论 集合论:集合运算、运算律、文氏图、容斥原理 二元关系 函数 二元运算 代数系统 下 几个典型代数系统:群、环、域、格、布尔代数 图的基本概念 四种特殊图:二部图、euler图、hamilton图、平面图 树:无向树、有向树特例根树、生成树、带权图、求基本回路及割集系统、求最小生成树的kruska,算法、求最优二元树的huffman算法、求最佳前缀码、访问二叉树 |
商品评论(0条)