離散數(shù)學(xué)總結(jié)(已修改)
2025-08-17 10:36 本頁面
【正文】 離散數(shù)學(xué) 15:21 主要內(nèi)容 ? 命題邏輯 ? 一階邏輯 ? 集合 ? 關(guān)系與函數(shù) ? 圖與特殊圖 ? 代數(shù)系統(tǒng) 2 15:21 命題邏輯 ? 命題： ? 什么是命題：陳述句、唯一真值（有判斷結(jié)果） ? 命題符號化： 1) pq: ? 如果 p，則 q ? 只要 p，就 q 2) qp: ? 只有 p，才 q ? p僅當(dāng) q ? 除非 p，否則非 q （ 172。p→172。q) ? 命題公式及類型 ? 會列真值表并判斷類型 ? n個(gè)變元的命題公式真值表： 2n行 ? n個(gè)變元，可以構(gòu)造 22n 個(gè)不同真值表 ?可以構(gòu)造 22n 不同真值函數(shù) 3 15:21 ? 范式： ? 析取范式： ? 合取范式： ? 主析取范式： 1) 析取范式中，每一項(xiàng)都是極小項(xiàng) 2) 極小項(xiàng)的編碼 3) 兩種方法求主析取范式 ：真值表、等值演算 ? 主合取范式： 1) 合取范式中，每一項(xiàng)都是極大項(xiàng) 2) 極大項(xiàng)的編碼 3) 兩張方法求主合取范式：真值表、等值演算 4 15:21 ? 命題推理 ? 析取三段論、假言推理、拒取、假言三段論 ? 組合電路設(shè)計(jì)（了解） 5 15:21 一階邏輯 ? 謂詞及符號化命題 ? 特性謂詞 符號化命題，如： 1) 不是所有四川人都喜歡吃辣椒 2) 有的火車比所有汽車都跑得慢 ? 論域 有限域 上的謂詞公式 消去量詞的方法 6 15:21 集合 ? 基本概念： ? 集合的階： |A| ? 集合的冪集： P(A) ? 集合的運(yùn)算： 并、交、差、補(bǔ)、對稱差 ? 集合的
法律信息相關(guān)推薦
鄂ICP備17016276號-1