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


目錄
第一章 數(shù)理邏輯在問路問題中的應(yīng)用 …………………………………………1
1.1 預(yù)備知識…………………………………………………………………………………1
1.1.1 問路問題………………………………………………………………………………1
1.1.2 列表法…………………………………………………………………………………1
1.2 具體應(yīng)用…………………………………………………………………………………1
第二章 數(shù)理邏輯在排隊(duì)論中的應(yīng)用 ……………………………………………3
2.1 預(yù)備知識…………………………………………………………………………………3
2.1.1 排隊(duì)論…………………………………………………………………………………3
2.1.2 范式……………………………………………………………………………………3
2.2 具體應(yīng)用…………………………………………………………………………………3
第三章 數(shù)理邏輯在計(jì)算機(jī)科學(xué)中的應(yīng)用 ………………………………………5
3.1 為計(jì)算機(jī)的可計(jì)算性研究提供依據(jù)……………………………………………………5
3.2 為計(jì)算機(jī)硬件系統(tǒng)的設(shè)計(jì)提供依據(jù)……………………………………………………5
3.3 為計(jì)算機(jī)程序設(shè)計(jì)語言提供主要思想…………………………………………………6
第四章 數(shù)理邏輯思想在英語語法教學(xué)中的應(yīng)用 ………………………………8
第五章 數(shù)理邏輯在數(shù)學(xué)證明中的應(yīng)用…………………………………………11
5.1 一些常用的證明方法、證明技巧 ……………………………………………………11
5.2 弄清邏輯命題之間的關(guān)系 ……………………………………………………………12
第六章 數(shù)理邏輯在案件審理推斷中的應(yīng)用……………………………………15
結(jié)論 …………………………………………………………………………………17
致謝 …………………………………………………………………………………18
參考文獻(xiàn) ……………………………………………………………………………19



摘要 數(shù)理邏輯是研究推理的形式結(jié)構(gòu)和規(guī)律的數(shù)學(xué)分支，它是數(shù)學(xué)基礎(chǔ)重要的組成部分之一。數(shù)學(xué)在新的時(shí)代將會有很大的發(fā)展，而數(shù)理邏輯在其中將扮演著很關(guān)鍵的角色。數(shù)理邏輯并不僅僅局限于抽象的符號運(yùn)算，它同樣可以幫助我們了解和解決很多現(xiàn)實(shí)問題。當(dāng)今時(shí)代，數(shù)理邏輯在現(xiàn)實(shí)生活中應(yīng)用非常廣泛。本文主要介紹了數(shù)理邏輯在問路問題、排隊(duì)論、計(jì)算機(jī)科學(xué)、英語語法教學(xué)、數(shù)學(xué)證明及案件審理推斷中的應(yīng)用。近年來數(shù)理邏輯發(fā)展十分迅速，主要是由于其對于數(shù)學(xué)其它學(xué)科的發(fā)展有著深遠(yuǎn)的影響，尤其促進(jìn)了新近形成的計(jì)算機(jī)科學(xué)的發(fā)展，而其他學(xué)科的發(fā)展同樣也對數(shù)理邏輯的發(fā)展起了很大的推動作用。正因?yàn)閿?shù)理邏輯這門學(xué)科是新近興起的且又發(fā)展迅速，因此它本身也存在著許多問題需要深入研究。

關(guān)鍵詞：數(shù)理邏輯 應(yīng)用 發(fā)展



Applications of mathematical logic in physically

Abstract Mathematical logic is a branch of mathematics which studies formal structure and regulation of inference. Mathematical logic is one of the important components of mathematical basis. The new era will be the era that great development will happen on mathematics and mathematical logic will play a critical role in it. Mathematical logic is not only confined to the abstract symbolic operation, it can also help us understand and solve a lot of realistic problems. Nowadays, mathematical logic has been widely used in the real life. This paper mainly introduces its applications in the problem of asking the way, queuing theory, computer science, English grammar teaching, mathematical proof and case inference. Mathematical logic develops rapidly in recent years. The main reason is that it has a profound impact on the development of other branches of mathematics. Especially it has promoted the development of the newly formed computer science. In turn,the development of other subjects has promoted the development of mathematical logic. Because it is a new rising and rapidly developing discipline, mathematical logic has many problems that have to be studied deeply.

Keywords mathematical logic application development