命題公式真值表生成算法研究與程序設(shè)計(jì)
1.1萬字 20頁
論文+開題+任務(wù)書+翻譯+程序代碼



摘要
推理的自動(dòng)化（包括自動(dòng)定理證明）特別誘人，因?yàn)樗袛?shù)學(xué)以及許多技術(shù)領(lǐng)域均可用一定的形式系統(tǒng)來表述。今天用現(xiàn)代計(jì)算機(jī)進(jìn)行快速而準(zhǔn)確的推理已經(jīng)成為可能。自動(dòng)推理可以避免令人乏味和容易出錯(cuò)的詳細(xì)證明構(gòu)造過程。命題公式真值生成算法研究就是研究推理的自動(dòng)化的基礎(chǔ)。掌握好了它，就等于是在推理自動(dòng)化的旅程上建立了一個(gè)好的開始。
本文以命題公式真值表生成為目標(biāo)。從基本真值矩陣開始入手，研究其生成的算法和程序設(shè)計(jì)。而后，借助基本真值矩陣，得到真值表生成算法。論文中主要介紹了本課題的開發(fā)背景，程序所要完成的功能和程序設(shè)計(jì)中的主要算法。程序用C語言實(shí)現(xiàn)，能將用戶輸入的命題公式的真值表，以特定的表示形式輸出。

【關(guān)鍵字】:自動(dòng)定理證明，命題公式真值生成，基本真值矩陣



Proposition formula truth table production algorithm research and programming
ABSTRACT
The inference automation (including automatic theorem proving) is specially attractive, because all mathematics as well as many areas of technology may use the certain formal system to indicate. Today carried on fast but the accurate inference with the modern computer already to become possibly. The automatic inference may avoid the detailed proving structure process which tasteless and is easy to make a mistake. The proposition formula true value production algorithm research is studies the inference the automation foundation. Grasped it, and so on thereupon has established a good start in the inference automation journey.
This article becomes the goal by the proposition formula truth table. Starts from the basic true value matrix to obtain, studies its production the algorithm and ......


目錄
摘要 2
ABSTRACT 2
目錄 3
第一章 概述 4
1.1引言 4
1.2算法設(shè)計(jì)意義 5
1.3畢業(yè)設(shè)計(jì)目的 5
1.4本次畢業(yè)設(shè)計(jì)所要完成的主要工作 5
1.5本章小結(jié) 5
第二章 數(shù)理邏輯的相關(guān)知識(shí) 6
2.1聯(lián)結(jié)詞種類和含義 6
2.2聯(lián)結(jié)詞在計(jì)算機(jī)中的表示方法 7
2.3本章小結(jié) 7
第三章 基本真值矩陣的計(jì)算機(jī)表示 8
3.1基本真值矩陣的引入 8
3.2基本真值矩陣生成算法 9
3.3本章小結(jié) 11
第四章 命題公式真值表的生成算法 12
4.1真值表的表示 12
4.2命題公式真值表的生成算法 12
4.3本章小結(jié) 15
第五章 核心算法部分原代碼 16
5.1調(diào)用基本真值矩陣子函數(shù)的代碼 16
5.2基本真值矩陣生成的代碼 17
第六章 系統(tǒng)運(yùn)行中不同的命題公式的即時(shí)輸入 18
第七章 綜合系統(tǒng)的構(gòu)想 19
第八章 總結(jié)與展望 20
致謝 21
參考文獻(xiàn) 21


參考文獻(xiàn)
[1]. Software Engineering Technology for the 21st Century
[2]. 賁可容，陳火旺，命題時(shí)態(tài)邏輯定理證明新方法，軟件學(xué)報(bào)
[3]. 歐陽星明，數(shù)字邏輯，華中科技大學(xué)出版社
[4]. 左孝凌，李為鑒，劉永才，離散數(shù)學(xué)，上?？茖W(xué)技術(shù)文獻(xiàn)出版社