電腦科學(xué)的理論基礎(chǔ)(編輯修改稿)
2024-11-16 14:40 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 OR xVy NOT x’ NAND (XY)’ NOR (XVY)’ XOR X⊕ Y X Y X Y x X Y X Y X Y X Y W Z (X y)’ v z v (x z’ w) 卡諾圖 ( karnaugh maps) 成本考量得到最適合設(shè)計(jì) 是布林代數(shù) venn diagram 與真假值混合 尋找 optimal desing 的步驟如下 : +號(hào)放入卡諾圖中 : (1)畫出 8個(gè)方塊有涵蓋有 +號(hào)的地方 ,假如 8個(gè)方塊都有 +號(hào) ,則 Boolean function為 1 (2)畫出 4個(gè)方塊有涵蓋 +號(hào)但之前沒(méi)有被涵蓋的地方 (3)畫出 2個(gè)方塊來(lái)涵蓋有 +號(hào)但之前沒(méi)有被涵蓋的地方 (4)畫出剩下有 +號(hào)但之前沒(méi)有被涵蓋的地方 : (1)整體上要包括所有含有 +號(hào)的地方 (2)越少方塊越好 literals越好 x Yz Xyz’ v x’ y’ x’ Yz’ Y’z’ Y’z + + + x Yz x x’ Yz’ Y’z’ Y’z + + + x Yz Z’ x’ Yz’ Y’z’ Y’z + + + x Yz x’ y’ v z x’ Yz’ Y’z’ Y’z + + + + + + + x Yz Y v xz’ v x’z x’ Yz’ Y’z’ Y’z + + x X v y v z’ x’ Yz’ Y’z’ Y’z + + + + + + + + + + + 第四章 認(rèn)識(shí)數(shù)理邏輯 (predicate calculus) 也稱為數(shù)理演算，跟命題演算不太一樣 。 邏輯程式設(shè)計(jì)與人工智慧，主要是以數(shù)理演算為基礎(chǔ)的。 數(shù)理邏輯 (predicate calculus)導(dǎo)入量詞(quantifiers)的使用 。 量詞 (quantifiers) ：所有量詞 存在量詞 運(yùn)算子 （ OPERATOR）： A E V ﹂ 多重量詞用法 同時(shí)使用 與 的情況，必須注意量詞出現(xiàn)順序 例 ： P(X， Y)=「 X是 Y的上司」 X P(X， Y) 意思是所有的人都是 Y的上司 Y P(X， Y) 意思是 X是所有的人的上司 Y P(X， Y) 意思是 X是某人所有的上司 X P(X， Y) 意思是某人是 Y的上司 A E A A E E 認(rèn)識(shí)命題演算(propositional calculus) 命題演算使用的命題符號(hào) (propositional symbols)是英文的大寫字母 命題符號(hào)用來(lái)表示命題 有關(guān)於現(xiàn)實(shí)世界的敘述，可能為真 (true)或偽(false)， 這些符號(hào)用來(lái)組成句子 (sentences)，合法的句子 (legal sentences)也稱為 WFFs (wellformed formulas)。 認(rèn)識(shí)數(shù)理演算 (predicate calculus) 數(shù)理演算特點(diǎn)來(lái)自量詞 (quantifier)的導(dǎo)入 能處理述詞以及述詞中的成員，推理出其他的句子 可以從語(yǔ)法 (syntax)與語(yǔ)意 (semantics)上來(lái)認(rèn)識(shí)數(shù)理演算 數(shù)理演算中的符號(hào)包括真值符號(hào) (truth symbols)、常數(shù)符號(hào) (constant symbols)、變數(shù)符號(hào) (variable symbols)與函數(shù)符號(hào)(function symbols)， 數(shù)理演算很像一種邏輯程式語(yǔ)言 (logic programming language)。 邏輯程式設(shè)計(jì) (logicprogramming) 邏輯程式設(shè)計(jì) (logic programming) 的基礎(chǔ)就是數(shù)理邏輯 邏輯程式語(yǔ)言算是非程序式的程式語(yǔ)言 透過(guò)事實(shí) (facts) 與推理規(guī)則 (inference rules) 的描述，電腦就可以回答一些問(wèn)題，或是推理出其他的事實(shí) 邏輯程式設(shè)計(jì) 邏輯程式設(shè)計(jì)的思考跟一般程序式的程式語(yǔ)言很不一樣 因?yàn)檫壿嫵淌皆O(shè)計(jì)不必描述推理的過(guò)程，只要把事實(shí)與規(guī)則列出來(lái) 語(yǔ)言本身有固定的推理機(jī)制，而程序式的程式語(yǔ)言 (procedural programming language) 則需要把詳細(xì)的步驟寫出來(lái)，越複雜的運(yùn)算或邏輯，往往需要越複雜的描述 C++ 、 Java 與 Visual Basic 都算是程序式的程式語(yǔ)言 了解 PROLOG尋找與執(zhí)行流程 兩種不同推演過(guò)程： 向前推演 （現(xiàn)有子句推演出目標(biāo)） 向後推演 (從目標(biāo)開始，詴著反解出現(xiàn)有的子句 ) Prolog 是後向推演 單一化作業(yè)是推演主要過(guò)程，包括型式比對(duì)與變數(shù)連結(jié) 單一化之後可以為目標(biāo)比對(duì)到現(xiàn)有事實(shí)或規(guī)則的頭部，則代表成功 Pro log的直譯程式 必須確定所有可能路徑都有被搜尋過(guò) 搜尋事實(shí)與規(guī)則的順序是 由上而下 規(guī)則中好幾個(gè)子目標(biāo)須證明 ，處理順序式由 左而右 子目標(biāo)證明方式與目標(biāo)證明方式一樣 第五章演算法的分析 函數(shù)值的成長(zhǎng)率 函數(shù) 函數(shù)名
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1