本文關(guān)鍵詞：應(yīng)用數(shù)理邏輯，由筆耕文化傳播整理發(fā)布。

數(shù)理邏輯在實(shí)際中的應(yīng)用

摘要： 數(shù)理邏輯是離散數(shù)學(xué)課程中研究推理的邏輯科學(xué)， 它為確定一個(gè)給出的論證是否有效 提供各種法則， 在計(jì)算機(jī)科學(xué)里用來檢驗(yàn)程序的正確性也可以驗(yàn)證定理和推論， 在計(jì)算機(jī)控 制中的組合邏輯設(shè)計(jì)中也有舉足輕重的地位。 本文將用一些實(shí)際中的一些例子來說明數(shù)理邏 輯在解決實(shí)際問題中的作用。 關(guān)鍵詞：離散數(shù)學(xué) 數(shù)理邏輯 推理與證明 計(jì)算機(jī)科學(xué)

一 、數(shù)理邏輯在計(jì)算機(jī)科學(xué)中的應(yīng)用 1. 為計(jì)算機(jī)硬件系統(tǒng)的設(shè)計(jì)提供依據(jù) 數(shù)理邏輯部分在計(jì)算機(jī)硬件設(shè)計(jì)中的應(yīng)用尤為突出， 數(shù)字邏輯作為計(jì)算機(jī)科學(xué)的一個(gè)重 要理論， 在很大程度上起源于數(shù)理邏輯中的布爾運(yùn)算。 計(jì)算機(jī)的各種運(yùn)算是通過數(shù)字邏輯技 術(shù)實(shí)現(xiàn)的，而代數(shù)和布爾代數(shù)是數(shù)字邏輯的理論基礎(chǔ)，布爾代數(shù)在形式演算方面雖然使用 r 代數(shù)的方法， 但其內(nèi)容的實(shí)質(zhì)仍然是邏輯。 范式正是基于布爾運(yùn)算和真值表給出一個(gè)典型的 公式。 下面以計(jì)算機(jī)科學(xué)中比較典型的開關(guān)電路的設(shè)計(jì)為實(shí)例說明數(shù)理邏輯中布爾代數(shù)和范 式的應(yīng)用。整個(gè)開關(guān)電路從功能上可以看作是一個(gè)開關(guān)，，把電路接通的狀態(tài)記為 1(即結(jié)果 為真)，把電路斷開的狀態(tài)記為 0(即結(jié)果為假)，開關(guān)電路中的開關(guān)也要么處于接通狀態(tài)，要 么處于斷開狀態(tài)，這兩種狀態(tài)也可以用一值布爾代數(shù)來描述，對(duì)應(yīng)的函數(shù)為布爾函數(shù)，也叫 線路的布爾表達(dá)式。接通條件相同的線路稱為等效線路，找等效線路的口的是化簡線路，使 線路中包含的節(jié)點(diǎn)盡可能地少。利用布爾代數(shù)可設(shè)計(jì)一些其有指定的節(jié)點(diǎn)線路，數(shù)學(xué)上既 是按給定的真值表構(gòu)造相應(yīng)的布爾表達(dá)式， 理論上涉及到的是范式理論， 但形式上并不難構(gòu) 造。 例： 銀行的金庫裝有自動(dòng)報(bào)警裝置， 僅當(dāng)總經(jīng)理室的一個(gè)人工控制開關(guān)合上時(shí)， 它才能動(dòng)作。 當(dāng)這個(gè)人工開關(guān)合上時(shí)， 那么當(dāng)金庫的門被撬或者當(dāng)工作人員未切斷監(jiān)視器電源并且通向金 庫的通道上有人，就要發(fā)出警報(bào)。試設(shè)計(jì)這個(gè)控制電路。 解： 設(shè) P:人工開關(guān)合上。Q：金庫的門被撬 R：工作人員尚未切斷監(jiān)視器電源。 S：通向金庫的通道有人。 F：自動(dòng)報(bào)警裝置報(bào)警。 則有

故控制線路如下圖

2.數(shù)理邏輯在計(jì)算機(jī)人工智能的作用。 人工智能是以計(jì)算數(shù)學(xué)，圖靈機(jī)為理論基礎(chǔ)，對(duì)問題進(jìn)行推理和求解，讓機(jī)器完成智能事 情的科學(xué)， 現(xiàn)在人工智能的研究已經(jīng)發(fā)展到了創(chuàng)造出各種實(shí)用的專家系統(tǒng)階段》 在人工智能 領(lǐng)域的研究中， 邏輯推理是人工智能研究中最持久的領(lǐng)域之一。 邏輯是所有數(shù)學(xué)推理的基礎(chǔ)，

對(duì)人工智能有實(shí)際的采用。 采用謂詞邏輯語言的演繹過程的形式化有助于我門更清楚的推理 某些子命題。 因此， 人工智能的出現(xiàn)與發(fā)展和數(shù)理邏輯是分不開的。 數(shù)理邏輯中的命題邏輯， 謂詞邏輯和量詞在命題中應(yīng)用。 很多實(shí)際當(dāng)中的問題如醫(yī)療診斷和信息檢索都可以歸結(jié)為數(shù) 學(xué)邏輯命題的證明。 二、數(shù)理邏輯在現(xiàn)實(shí)生活中的應(yīng)用 1.現(xiàn)實(shí)中的人員安排和指派問題。 如課本 39 頁第五題。A，B,C，D 四個(gè)人中要派兩個(gè)人去出差，按下述三個(gè)條件有幾種指派 方法？如何指派？a)若 A 去則 C 和 D 要去一人；b)B 和 C 不能都去；c)C 去則 D 要留下。 解： 顯然可以把這四個(gè)人去與不去用不同的符號(hào)事件來表是。 把他們需要滿足的條件用邏輯表 達(dá)式來表示，然后列出真值表，同時(shí)在真值表中篩選出符合題意的安排方案。具體過程可自 行解決。 顯然這樣的問題還有很多，都是通過列真值表來解決的。由于有時(shí)邏輯表達(dá)式很復(fù)雜，我們 不易于通過邏輯推理的方式來解決。 列表法給我們提供了一種研究方法， 把腦力勞動(dòng)轉(zhuǎn)化為 體力勞動(dòng)，在命題不多的方法情況下是一種很好的方法。 2．?dāng)?shù)理邏輯在排隊(duì)論中應(yīng)用 排隊(duì)論，又稱隨機(jī)服務(wù)理論，他是嚴(yán)爵服務(wù)系統(tǒng)中排隊(duì)現(xiàn)象隨機(jī)規(guī)律的學(xué)科，廣泛應(yīng)用于計(jì) 算機(jī)網(wǎng)絡(luò)，生產(chǎn)，運(yùn)輸，庫存的隨機(jī)服務(wù)系統(tǒng)。將數(shù)理邏輯的理論用于排隊(duì)論中，可以解決 生產(chǎn)實(shí)踐中的很多問題， 排隊(duì)論主要應(yīng)用數(shù)理邏輯中的范式理論， 范式理論包括合取范式和 析取范式，通過判斷范式的真值情況 例：甲乙丙丁四人出去參加比賽，向外部透露比賽結(jié)果。 甲說丙第一，乙第二。乙說丙第二， 丁第三。丙說甲第二，丁第四。已知這三個(gè)人說的都是一句真，一句假。并且無并列情況。 則四個(gè)人的實(shí)際排名如何？

離散數(shù)學(xué)還有很多很有趣的應(yīng)用， 我們可以多去了解一些。 這不僅可以提高我們學(xué)習(xí)數(shù)學(xué)知 識(shí)的熱情，還可以拓寬我們的知識(shí)。以補(bǔ)充我們平時(shí)重理論，輕應(yīng)用的學(xué)習(xí)習(xí)慣。



  本文關(guān)鍵詞：應(yīng)用數(shù)理邏輯，由筆耕文化傳播整理發(fā)布。