离散数学速记折

图书信息

离散数学速记折

定　价：￥7.50库　存：有货，可送至全国作　者：任现森　编

出 版 社：清华大学出版社

出版时间：2010-9-1

开　本：32开

I S B N：9787302230113

内容简介

本折是“离散数学”课程的配套教材，也是“大学数学折子系列”之一。

由于本课程内容多、抽象且不易记忆等特点，故本折设计时力求做到：简单精练、重点突出、易于理解且便于携带。

本折包含了教材中出现的主要定义、定理、性质、公式和方法，以及它们之间的逻辑关系，使教材由厚变薄，使学生通过反复查阅，强化记忆，便捷地达到掌握教学内容的效果。

作者简介 任现淼，　940年6月出生，河北辛集人，毕业于哈尔滨军事工程学院.中国运载火箭技术研究院教授。代表著作《离散数学讲义》（获航天部部级优秀教材一等奖）、《标准大气》（译著，科学出版社，1982年，以此制定的国家标准“GB1920-80”获航天部1983年重大科研成果奖）、《大学生学习方法》（宇航出版社，1985年）、《数学定义、定理、公式记忆手册》（学苑出版社，1991年）、《趣味数学365》（北京广播学院出版社，1993年）、《新兴学科百方个为什么（数学卷）》（中央民族大学出版社，1994年）、《中学数学、物理、化学记忆手册》（共3册）。（学苑出版社，1994年）、《经济数学基础速查卡》（高等教育出版社，1998年）、《计算机数学基础》（上、下册）（中央广播电视大学大本教材）（中央广播电视大学出版社，1999、2000年）、《大学数学折子系列》（共5册）（清华大学出版社，2008－2010年）。

目录 上

命题逻辑：联结词真值表、等值式、推理理论

一阶逻辑：个体词、谓词、量词、解释、分类、一阶逻辑等值式、前束范式、推理理论

集合论：集合运算、运算律、文氏图、容斥原理

二元关系

函数

二元运算

代数系统