計(jì)算機(jī)算法--關(guān)于離散數(shù)學(xué)-wenkub
2023-04-15 23:05:11 本頁面
【正文】 性。 ? 哲學(xué)家怎么辦？ ? 用數(shù)理邏輯方法來分析這一問題 A(x): x為真話 ① B: 死在真神前 ② C: 死在假神前 ③ A(x) ? B ④ ~A(x) ? C ⑤ x=“死在假神前” 可能：真話 ∨ 假話 若 A(“死在假神前” )├ C├ ~A(“死在假神前” ) 若 ~A(“死在假神前” )├ B├ A(“死在假神前” ) 非真非假，只能不死。關(guān)于離散數(shù)學(xué) —計(jì)算科學(xué)最主要的基礎(chǔ) PP8894， 構(gòu)造性數(shù)學(xué)基礎(chǔ)（數(shù)理 邏輯、代數(shù)系統(tǒng)、圖論、集合論等） PP101104， 計(jì)算科學(xué)與數(shù)學(xué)和其他相關(guān)學(xué)科的關(guān)系 數(shù)理邏輯 ? 學(xué)點(diǎn)邏輯 ? 三段論推理 ? 同一律 A， 矛盾律 A∧ ～ A， 排中律 A∨ ～ A。 有一邏輯學(xué)家，誤入某部落，被拘于牢獄。今后生死由你自己選擇。 不過 ， 好在島上的居民有一個(gè)特點(diǎn) ， 說真話的人從來不說假話 ，說假話的人從來不說真話 。 – 現(xiàn)在天或者下雨或者不下雨，小李會做什么？ AB, BC, 可證 AC 但： AB∨ ~(AB) 說了等于不說。 ? 概括原則：任給一個(gè)性質(zhì) p,可把所有滿足性質(zhì) P的對象匯集在一起而構(gòu)成一個(gè)集合 。 – 上述兩個(gè)集合的特征函數(shù)是什么 ？ – 集合的并、交、補(bǔ)運(yùn)算 對應(yīng)于 特征函數(shù)的析取、合取、取反運(yùn)算。 ” 理發(fā)師給不給自己刮胡子呢 ？ 理發(fā)師給自己刮胡子 ?理發(fā)師不給自己刮胡子 。 有這樣回路的圖稱為歐拉圖 。 2 如果只有兩個(gè)地方通奇數(shù)座橋 ， 可以從這兩個(gè)地方之一出發(fā)找到所要求的路線 ，但不能回到原地 。 ? 圖論：對現(xiàn)實(shí)問題進(jìn)行抽象的一個(gè)強(qiáng)有力的數(shù)學(xué)工具 。 思考題 在有奇次數(shù)頂點(diǎn)的圖中，能否有歐拉回路？對圖 G是否存在歐拉回路，能否給出充分必要條件？ 對圖 G是否存在哈密爾頓回路，能否給出充分必要條件？ 一筆畫問題：如何判別一個(gè)圖能否一筆畫出？ 代數(shù) ? 抽象代數(shù) (Abstract Algebra， 近世代 數(shù)Modern A1gebra) – 經(jīng)典代
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1