邏輯語言在計(jì)算機(jī)軟件開發(fā)中的應(yīng)用

張　麗

（山西管理職業(yè)學(xué)院，山西 臨汾 041051）

邏輯語言在計(jì)算機(jī)軟件開發(fā)中的應(yīng)用

張麗

（山西管理職業(yè)學(xué)院，山西 臨汾 041051）

文章簡要說明了邏輯語言的含義，分析了邏輯語言在計(jì)算機(jī)軟件技術(shù)發(fā)展中的意義，闡述了在實(shí)際的軟件開發(fā)中如何更好地選擇和運(yùn)用邏輯語言。

數(shù)學(xué)邏輯；平臺邏輯；需求分析；開發(fā)應(yīng)用

計(jì)算機(jī)語言具有很強(qiáng)的邏輯性和抽象性，軟件設(shè)計(jì)者應(yīng)根據(jù)對用戶實(shí)際需求的深入分析，選擇最合適的計(jì)算機(jī)語言，采用科學(xué)合理的邏輯設(shè)計(jì)，搭建對應(yīng)的數(shù)學(xué)模型，從而完成軟件程序的編寫，以切實(shí)解決用戶的實(shí)際需求與難題。

1　解析邏輯語言的概念和特征

1.1 概念

邏輯語言一詞源于古希臘哲學(xué)，后隨著數(shù)學(xué)理論的逐步發(fā)展，需要用到推理論證等方法去解決某些特定的數(shù)學(xué)問題，這時(shí)候就需要用到人類可以接受并理解的邏輯語言。計(jì)算機(jī)工作模式的基礎(chǔ)是數(shù)學(xué)模型，因而計(jì)算機(jī)應(yīng)用控制軟件也必須具備數(shù)學(xué)邏輯的特征。初期的計(jì)算機(jī)配置低而性能原始落后，主要采用二進(jìn)制語言，編輯過程中邏輯性的正確是結(jié)果正確的前提保證。現(xiàn)階段人們已可用邏輯體現(xiàn)更為重要的高級計(jì)算機(jī)語言（C語言和Java等）進(jìn)行編程［1］。

1.2 邏輯語言的特征

1.2.1 邏輯語言具有嚴(yán)謹(jǐn)性

計(jì)算機(jī)可以通過針對具體問題搭建對應(yīng)的數(shù)學(xué)模型，并通過運(yùn)算解決問題。邏輯語言具有其他語言所不具備的高嚴(yán)謹(jǐn)性，在對問題進(jìn)行分析的過程中，邏輯語言將抽象的邏輯推理轉(zhuǎn)化成具體的數(shù)學(xué)語言來進(jìn)行運(yùn)算，從而可以無歧義地解決掉問題。……