出版时间:2010-9 出版社:清华大学出版社 作者:任现淼 编
内容概要
本折是“离散数学”课程的配套教材,也是“大学数学折子系列”之一。 由于本课程内容多、抽象且不易记忆等特点,故本折设计时力求做到:简单精练、重点突出、易于理解且便于携带。 本折包含了教材中出现的主要定义、定理、性质、公式和方法,以及它们之间的逻辑关系,使教材由厚变薄,使学生通过反复查阅,强化记忆,便捷地达到掌握教学内容的效果。
作者简介
任现淼,
940年6月出生,河北辛集人,毕业于哈尔滨军事工程学院.中国运载火箭技术研究院教授。代表著作《离散数学讲义》(获航天部部级优秀教材一等奖)、《标准大气》(译著,科学出版社,1982年,以此制定的国家标准“GB1920-80”获航天部1983年重大科研成果奖)、《大学生学习方法》(宇航出版社,1985年)、《数学定义、定理、公式记忆手册》(学苑出版社,1991年)、《趣味数学365》(北京广播学院出版社,1993年)、《新兴学科百方个为什么(数学卷)》(中央民族大学出版社,1994年)、《中学数学、物理、化学记忆手册》(共3册)。(学苑出版社,1994年)、《经济数学基础速查卡》(高等教育出版社,1998年)、《计算机数学基础》(上、下册)(中央广播电视大学大本教材)(中央广播电视大学出版社,1999、2000年)、《大学数学折子系列》(共5册)(清华大学出版社,2008-2010年)。
书籍目录
上 命题逻辑:联结词真值表、等值式、推理理论 一阶逻辑:个体词、谓词、量词、解释、分类、一阶逻辑等值式、前束范式、推理理论 集合论:集合运算、运算律、文氏图、容斥原理 二元关系 函数 二元运算 代数系统
章节摘录
插图:
编辑推荐
《离散数学速记折》:大学数学折子系列
图书封面
评论、评分、阅读与下载