離散數(shù)學(xué)DiscreteMathema

上傳人:san****019 文檔編號:22655658 上傳時間:2021-05-30 格式:PPT 頁數(shù):37 大小:1.12MB
收藏 版權(quán)申訴 舉報 下載
離散數(shù)學(xué)DiscreteMathema_第1頁
第1頁 / 共37頁
離散數(shù)學(xué)DiscreteMathema_第2頁
第2頁 / 共37頁
離散數(shù)學(xué)DiscreteMathema_第3頁
第3頁 / 共37頁

下載文檔到電腦,查找使用更方便

9.9 積分

下載資源

還剩頁未讀,繼續(xù)閱讀

資源描述:

《離散數(shù)學(xué)DiscreteMathema》由會員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)DiscreteMathema(37頁珍藏版)》請在裝配圖網(wǎng)上搜索。

1、離 散 數(shù) 學(xué)Discrete Mathematics計 算 機 科 學(xué) 與 工 程 學(xué) 院 金 忠智 能 樓 (3 3 7 幢 )3 0 5 室84317297-305, 13770713373 http:/ 計 算 機 科 學(xué) 離 散 數(shù) 學(xué)離 散 數(shù) 學(xué) 研 究 離 散 數(shù) 量 關(guān) 系 和 離 散 結(jié) 構(gòu) 數(shù)學(xué) 模 型 的 數(shù) 學(xué) 分 支 的 統(tǒng) 稱 。 古 代 數(shù) 學(xué) 整 數(shù) 、 整 數(shù) 的 比近 代 數(shù) 學(xué) 連 續(xù) 的 數(shù) 量 概 念 ( 實 數(shù) ) , 處 理連 續(xù) 數(shù) 量 關(guān) 系 的 數(shù) 學(xué) ( 微 積 分 )如 何 對 離 散 結(jié) 構(gòu) 建 立 離 散 數(shù) 學(xué) 模 型 ? 離 散

2、 數(shù) 學(xué) 及 其 應(yīng) 用數(shù) 理 邏 輯(1-5) 集 合 論 (6 -8 )圖 論(9-10) 代 數(shù)(11-12) 劉 嘉 憶 對 計 算 機 專 業(yè) 系 統(tǒng) 知 識 的 輻 射 作 用 數(shù) 理 邏 輯第 一 章 命 題 演 算 基 礎(chǔ)第 二 章 命 題 演 算 的 推 理 理 論第 三 章 謂 詞 演 算 基 礎(chǔ)第 四 章 謂 詞 演 算 的 推 理 理 論第 五 章 遞 歸 函 數(shù) 論 第 一 章 命 題 演 算 基 礎(chǔ)1.1 命 題 和 聯(lián) 結(jié) 詞1 .1 .1 命 題 (一 ) 命 題 定 義定 義 1 凡 是 可 以 判 斷 真 假 的 陳 述 句 稱 為 命 題 。命 題 的 值

3、 真 , 用 T(或 1)表 示假 , 用 F(或 0)表 示 例 : 下 列 句 子 都 是 命 題 嗎 ? 雪 是 白 的 。 雪 是 黑 的 。 好 大 的 雪 啊 ! 8 大 于 1 2 。 1 +1 0 1 =1 1 0 。 例 : 下 列 句 子 都 是 命 題 嗎 ? 上 海 世 博 會 開 幕 時 天 晴 2 1 世 紀 末 , 人 類 將 住 在 月 球 大 于 2 的 偶 數(shù) 可 表 示 成 兩 個 素 數(shù) 之 和 X0 , 則 x2 0 。例 若 兩 圓 面 積 相 等 , 則 它 們 的 半 徑 相 等 。 是 否 命 題 ? 是 否 復(fù) 合 命 題 ?例 若 兩 圓

4、的 面 積 相 等 , 則 它 們 的 半 徑 相 等 。例 若 兩 圓 A、 B的 面 積 相 等 , 則 它 們 的 半 徑 相 等 。 例 吃 一 塹 , 長 一 智 。 A B 真 值 函 項 的 定 義以 真 假 為 定 義 域 并 以 真 假 為 值 域 的 函 數(shù)T, F(T, T), (T,F), (F,T), (F,F) T, F一 元 真 值 函 項二 元 真 值 函 項 T, F 一 元 聯(lián) 結(jié) 詞 的 真 值 表一 個 命 題 變 項 P, 可 取 “ T” 和 “ F” 兩 種 值 ???定 義 四 個 一 元 真 值 函 項 f0 , f1 , f2 , f3 。P

5、 f0(P) f1(P) f2(P) f3(P)T T T F FF T F T F永真 恒等 否定P 永假 二 元 聯(lián) 結(jié) 詞 P Q f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f1 0 f1 1 f1 2 f1 3 f1 4 f1 5T T T F T T T F F F T T T T F F F FT F T T F T T F T T F F T F T F F FF T T T T F T T F T F T F F F T F FF F T T T T F T T F T F F F F F T Ff4為析取f2為蘊含 f8為等價 f11為合取 三 元 聯(lián) 結(jié)

6、詞 共 有 多 少 個 ?f0 f1 f2 f?(0 ,0 ,0 ) 0 1 0 1(0 ,0 ,1 ) 0 0 1 1(0 ,1 ,0 ) 0 0 0 1(0 ,1 ,1 ) 0 0 0 1(1 ,0 ,0 ) 0 0 0 1(1 ,0 ,1 ) 0 0 0 1(1 ,1 ,0 ) 0 0 0 1(1 ,1 ,1 ) 0 0 0 1 28 1 .1 .3 合 式 公 式合 式 公 式 為 如 下 定 義 的 式 子 , 簡 稱 為 公 式 : 任 何 命 題 變 元 均 是 公 式 ; 如 果 P為 公 式 , 則 P為 公 式 ; 如 果 P, Q為 公 式 , 則 PQ, PQ, PQ,

7、 PQ 為 公 式 ; 當(dāng) 且 僅 當(dāng) 經(jīng) 過 有 限 次 使 用 、 、 所 組 成 的符 號 串 才 是 公 式 , 否 則 不 為 公 式 。Well formed formulae n 元 公 式 若 公 式 中 有 n個 不 同 的 命 題 變 元 ,就 說 為 n 元 公 式 。3元 公 式 的 例 子 : ( ( PQ) R) ( PQ)( PQR) ( PQ) 優(yōu) 先 級 約 定 、 、 、 優(yōu) 先 級 相 同 比 其 它 聯(lián) 結(jié) 詞 有 更 高 的 優(yōu) 先 級 括 號 ( ) 內(nèi) 的 運 算 優(yōu) 先例 令 P: 北 京 比 天 津 人 口 多 。 Q: 2+2 4。 R: 烏

8、 鴉 是 白 色 的 。 求 下 列 公 式 的 真 值 : (1) (Q R)(P R) (2) (P R) (P R) 命 題 符 號 化l 分 析 出 簡 單 命 題 , 符 號 化l 用 聯(lián) 結(jié) 詞 聯(lián) 結(jié) 簡 單 命 題提 示 : 根 據(jù) 命 題 的 實 際 含 義 , 不 拘 泥 于 原 句 形 式 地 確定 原 子 命 題 和 選 用 聯(lián) 結(jié) 詞 。例 將 下 述 命 題 符 號 化 , 并 指 出 真 值 : ( 1) 肉 包 子 是 由 面 粉 和 豬 肉 做 成 的 。 ( 2) 2是 質(zhì) 數(shù) 且 偶 數(shù) , 3是 質(zhì) 數(shù) 或 偶 數(shù) 。 ( 3) 如 果 我 只 有 懂

9、得 希 臘 文 才 能 了 解 柏 拉 圖 , 那么 我 不 了 解 柏 拉 圖 。 ( 4) 如 果 他 喜 歡 QQ, 他 就 喜 歡 微 信 ; 當(dāng) 小 紅 心 情愉 快 時 , 她 就 唱 歌 ; 反 之 , 當(dāng) 她 唱 歌 時 , 一定 心 情 愉 快 。 例 4 (p5 )已 知 三 個 命 題 : P: 今 晚 我 在 家 上 網(wǎng) ;Q: 今 晚 我 去 球 場 看 足 球 比 賽 ;R: 今 晚 我 在 家 上 網(wǎng) 或 去 球 場 看 足 球 比 賽 。試 問 PQ和 R是 否 表 達 同 一 命 題 ?請 用 真 值 表 說 明 之 。 R=(PQ)(PQ)P Q PQ R T T T F T F T T F T T T F F F F 不 可 兼 或

展開閱讀全文
溫馨提示:
1: 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
2: 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
3.本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
5. 裝配圖網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

相關(guān)資源

更多
正為您匹配相似的精品文檔
關(guān)于我們 - 網(wǎng)站聲明 - 網(wǎng)站地圖 - 資源地圖 - 友情鏈接 - 網(wǎng)站客服 - 聯(lián)系我們

copyright@ 2023-2025  zhuangpeitu.com 裝配圖網(wǎng)版權(quán)所有   聯(lián)系電話:18123376007

備案號:ICP2024067431-1 川公網(wǎng)安備51140202000466號


本站為文檔C2C交易模式,即用戶上傳的文檔直接被用戶下載,本站只是中間服務(wù)平臺,本站所有文檔下載所得的收益歸上傳人(含作者)所有。裝配圖網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對上載內(nèi)容本身不做任何修改或編輯。若文檔所含內(nèi)容侵犯了您的版權(quán)或隱私,請立即通知裝配圖網(wǎng),我們立即給予刪除!

五月丁香婷婷狠狠色,亚洲日韩欧美精品久久久不卡,欧美日韩国产黄片三级,手机在线观看成人国产亚洲