⑴ 學習計算機數學基礎的離散數學要記住哪些公式啊
三、離散數學
1、數理邏輯：
（1）命題及其符號化。 （2）命題公式及其分類。 （3）命題邏輯等值演算。 （4）範式。 （5）命題邏輯推理理論。 （6）謂詞與量詞。 （7）謂詞公式與解釋。 （8）謂詞公式的分類。 （9）謂詞邏輯等值演算與前束範式。 （10）謂詞邏輯推理理論。
2、集合論：
（1）集合及其表示。 （2）集合的運算。 （3）有序對與笛卡爾積。 （4）關系及其表示法。 （5）關系的運算。 （6）關系的性質。 （7）關系的閉包。 （8）復合關系與逆關系。 （9）等價關系與偏序關系。 （10）函數及其性質。 （11）反函數與復合函數。
3、代數系統：
（1）代數運算及其性質。 （2）同態與同構。 （3）半群與群。 （4）子集與陪集。 （5）正規子群與商群。 （6）循環群與置換群。 （7）環與域。 （8）格與布爾代數。
4、圖論：
（1）無向圖與有向圖。 （2）路、迴路與圖的連通性。 （3）圖的矩陣表示。 （4）最短路徑與關鍵路徑。 （5）二部圖。 （6）歐拉圖與哈密爾頓圖。 （7）平面圖。 （8）樹與生成樹。 （9）根樹及其應用。