《離散數學速記折》是2010年清華大學出版社出版的圖書,作者是任現森。
基本介紹
- 書名:離散數學速記折
- 作者:任現森 編
- ISBN:9787302230113
- 定價:¥7.50
- 出版社:清華大學出版社
- 出版時間:2010-9-1
- 開本:32開
內容提要,作者簡介,
內容提要
本折包含了教材中出現的主要定義、定理、性質、公式和方法,以及它們之間的邏輯關係,使教材由厚變薄,使學生通過反覆查閱,強化記憶,便捷地達到掌握教學內容的效果。
本折是“離散數學”課程的配套教材,也是“大學數學摺子系列”之一。
由於本課程內容多、抽象且不易記憶等特點,故本折設計時力求做到:簡單精練、重點突出、易於理解且便於攜帶。
作者簡介
任現淼, 940年6月出生,河北辛集人,畢業於哈爾濱軍事工程學院.中國運載火箭技術研究院教授。代表著作《離散數學講義》(獲航天部部級優秀教材一等獎)、《標準大氣》(譯著,科學出版社,1982年,以此制定的國家標準“GB1920-80”獲航天部1983年重大科研成果獎)、《大學生學習方法》(宇航出版社,1985年)、《數學定義、定理、公式記憶手冊》(學苑出版社,1991年)、《趣味數學365》(北京廣播學院出版社,1993年)、《新興學科百方個為什麼(數學卷)》(中央民族大學出版社,1994年)、《中學數學、物理、化學記憶手冊》(共3冊)。(學苑出版社,1994年)、《經濟數學基礎速查卡》(高等教育出版社,1998年)、《計算機數學基礎》(上、下冊)(中央廣播電視大學大本教材)(中央廣播電視大學出版社,1999、2000年)、《大學數學摺子系列》(共5冊)(清華大學出版社,2008-2010年)。
目錄 上
命題邏輯:聯結詞真值表、等值式、推理理論
一階邏輯:個體詞、謂詞、量詞、解釋、分類、一階邏輯等值式、前束範式、推理理論
集合論:集合運算、運算律、文氏圖、容斥原理
二元關係
函式
二元運算
代數系統