張小玲

（陜西師范大學(xué) 文學(xué)院，陜西 西安 710062）

邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中的應(yīng)用探討

張小玲

（陜西師范大學(xué) 文學(xué)院，陜西 西安 710062）

隨著社會的發(fā)展，我國經(jīng)濟(jì)發(fā)展迅速，為計(jì)算機(jī)技術(shù)發(fā)展創(chuàng)造有利條件.當(dāng)前，計(jì)算機(jī)技術(shù)在我國眾多行業(yè)領(lǐng)域中有應(yīng)用，并取得良好的成效.計(jì)算機(jī)語言具有抽象性特點(diǎn)，且在數(shù)學(xué)邏輯基礎(chǔ)上發(fā)展而來，對計(jì)算機(jī)技術(shù)人員的開發(fā)設(shè)計(jì)是一項(xiàng)巨大挑戰(zhàn).新時(shí)期，只有實(shí)現(xiàn)計(jì)算機(jī)的創(chuàng)新開發(fā)，才能滿足社會發(fā)展對計(jì)算機(jī)技術(shù)創(chuàng)新的需求.本文主要對邏輯語言進(jìn)行概述，并闡述計(jì)算機(jī)創(chuàng)新開發(fā)中邏輯語言的表現(xiàn)形式、影響因素及其具體應(yīng)用.

邏輯語言；計(jì)算機(jī)創(chuàng)新開發(fā)；應(yīng)用

我國計(jì)算機(jī)技術(shù)發(fā)展時(shí)間相對較晚，因而在技術(shù)方面存在諸多不足，亟需相關(guān)技術(shù)人員的創(chuàng)新開發(fā)研究.邏輯語言是計(jì)算機(jī)的重要語言，對計(jì)算機(jī)創(chuàng)新開發(fā)具有重要的推動性作用.通過對邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中應(yīng)用問題的研究，能夠?yàn)橛?jì)算機(jī)語言開發(fā)提供重要的邏輯基礎(chǔ)，并將計(jì)算機(jī)應(yīng)用于社會眾多行業(yè)領(lǐng)域中，推動社會發(fā)展進(jìn)步和提高國民經(jīng)濟(jì)水平.

1 邏輯語言概述

1.1 邏輯語言的主要含義

邏輯語言最早出現(xiàn)與古希臘哲學(xué)界各位研究學(xué)者的哲學(xué)辯論之中，在社會發(fā)展后期，邏輯語言在數(shù)學(xué)領(lǐng)域研究實(shí)踐的工作過程之中，得到了廣泛的應(yīng)用.大部分?jǐn)?shù)學(xué)專家通過應(yīng)用邏輯語言，解決自己在研究過程之中遇到的數(shù)學(xué)邏輯問題.隨著近代社會科學(xué)信息技術(shù)應(yīng)用水平的不斷完善和發(fā)展，邏輯語言越來越受到廣發(fā)社會公眾的高度關(guān)注.邏輯語言的應(yīng)用和研究范圍，也隨著知識經(jīng)濟(jì)發(fā)展水平的提升而不斷擴(kuò)大.

計(jì)算機(jī)相應(yīng)程序的開發(fā)和運(yùn)作，是在數(shù)學(xué)計(jì)算模型的基礎(chǔ)之上進(jìn)一步完善和發(fā)展而得來的.但由于受到計(jì)算機(jī)自身功能設(shè)定的束縛，相應(yīng)軟件程序的編寫只能依靠傳統(tǒng)的數(shù)學(xué)二進(jìn)制的計(jì)算模式，缺乏一定的系統(tǒng)性和邏輯性，富有更好發(fā)展應(yīng)用水平的邏輯語言，就是在這一實(shí)際的教學(xué)發(fā)展背景之下產(chǎn)生的.

1.2 邏輯語言的發(fā)展

邏輯最早屬于哲學(xué)范疇，伴隨社會的發(fā)展，邏輯在社會眾多學(xué)科中有應(yīng)用.例如，邏輯語言在數(shù)學(xué)學(xué)科中應(yīng)運(yùn)而生，主要指解決特定數(shù)學(xué)問題過程中的證明、推理內(nèi)容.從某種程度講，邏輯語言和人類思維特征之間存在密切聯(lián)系，而邏輯語言出現(xiàn)在計(jì)算機(jī)中，不僅提高人們工作效率，而且為計(jì)算機(jī)奠定堅(jiān)實(shí)的數(shù)學(xué)模型基礎(chǔ).尤其在計(jì)算機(jī)編程時(shí)，對多類型的邏輯語言有要求，可以表明其邏輯關(guān)系.從語言發(fā)展階段看，可分為自然語言階段、書面語言與口語交織階段、邏輯語言階段.首先，早期人類社會形成和發(fā)展中，人們思維十分簡單，其語言大多為滿足人類相互交流需求而產(chǎn)生，為我國語言系統(tǒng)形成的初級階段.其次，自然語言的快速發(fā)展，使語言逐漸分成口語和書面語，前者多用于人類口語交際，后者多用于科學(xué)描述等語境中.由于書面語是特殊的語言形式，并且與數(shù)學(xué)符合不斷融合，形成數(shù)學(xué)語言，如圖1所示，為邏輯語言奠定基礎(chǔ).最后，邏輯語言發(fā)展中，以數(shù)學(xué)語言為基礎(chǔ)，可以解決實(shí)際問題[1].

圖1 數(shù)學(xué)語言

1.3 邏輯語言的特點(diǎn)

邏輯語言具有其獨(dú)特的特征，主要表現(xiàn)在以下方面：首先，具有嚴(yán)謹(jǐn)性.通常，邏輯語言是在邏輯推理過程中所使用，可以與數(shù)學(xué)語言進(jìn)行轉(zhuǎn)換，也可用于解決實(shí)際問題，具有說服力.在解決問題時(shí)，要實(shí)現(xiàn)邏輯語言和數(shù)學(xué)語言的相互轉(zhuǎn)化，必須構(gòu)建數(shù)學(xué)模型，以數(shù)學(xué)形式求解.其次，邏輯語言具有普遍性，在人類社會眾多行業(yè)領(lǐng)域中有應(yīng)用.例如，將邏輯語言應(yīng)用于解決實(shí)際問題時(shí)，可避免歧義.

2 計(jì)算機(jī)創(chuàng)新開發(fā)中邏輯語言的表現(xiàn)形式及影響因素

2.1 表現(xiàn)形式

就邏輯語言而言，具有較強(qiáng)的理論性，因而實(shí)踐難度相對較大.長期以來，將邏輯語言應(yīng)用于解決實(shí)際問題中，是相關(guān)部門人員思考的重要問題，但受技術(shù)等綜合因素的制約性影響，導(dǎo)致該實(shí)踐停滯不前.近年來，我國經(jīng)濟(jì)發(fā)展迅速，科學(xué)技術(shù)日新月異，將邏輯語言應(yīng)用于計(jì)算機(jī)創(chuàng)新開發(fā)中，不僅能夠改變?nèi)藗兩罘绞剑铱梢源龠M(jìn)我國計(jì)算機(jī)行業(yè)的可持續(xù)發(fā)展.計(jì)算機(jī)以數(shù)學(xué)模型為基礎(chǔ)，利用邏輯語言之后，使數(shù)學(xué)二進(jìn)制等邏輯語言充分發(fā)揮其積極作用，既解決實(shí)際問題，又能滿足社會眾多行業(yè)領(lǐng)域的發(fā)展需求.基于此，我國相關(guān)部門人員有必要在邏輯語言發(fā)展的基礎(chǔ)上，促進(jìn)計(jì)算機(jī)創(chuàng)新開發(fā)的發(fā)展進(jìn)程.當(dāng)前，邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中有諸多應(yīng)用，相關(guān)人員將計(jì)算機(jī)語言按照邏輯關(guān)系加以排列，并設(shè)置程序指令，使各步驟可得到有效執(zhí)行.由此可見，計(jì)算機(jī)程序是邏輯語言的重要表現(xiàn)形式.然而，就我國計(jì)算機(jī)技術(shù)發(fā)展來看，計(jì)算機(jī)編程復(fù)雜程度逐漸加深，對邏輯語言的計(jì)算機(jī)創(chuàng)新開發(fā)有著更高的要求，必須滿足計(jì)算機(jī)創(chuàng)新開發(fā)的易讀性、維護(hù)性、邏輯性等特點(diǎn)，確保邏輯關(guān)系明確[2].

2.2 影響因素

計(jì)算機(jī)創(chuàng)新開發(fā)中，必須以滿足人們實(shí)際需求為基礎(chǔ).所以，相關(guān)技術(shù)人員針對人類實(shí)際需求指標(biāo)加以深入分析尤為重要.然而，邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中應(yīng)用，具有諸多影響因素，可能阻礙我國計(jì)算機(jī)創(chuàng)新開發(fā)的發(fā)展進(jìn)程.首先，技術(shù)因素是影響計(jì)算機(jī)創(chuàng)新開發(fā)的重要因素.我國計(jì)算機(jī)發(fā)展時(shí)間較晚，在創(chuàng)新開發(fā)中存在不足，難以為邏輯語言的更好應(yīng)用創(chuàng)造有利條件.其次，計(jì)算機(jī)編程必須具有針對性，以利用邏輯語言有效解決實(shí)際問題.所以，相關(guān)技術(shù)人員應(yīng)解決計(jì)算機(jī)存儲設(shè)備問題，以實(shí)現(xiàn)對計(jì)算機(jī)編程的記錄，規(guī)避重新編寫問題.最后，要充分發(fā)揮邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中的積極作用，必須對邏輯語言進(jìn)行不斷更新和改進(jìn)，將復(fù)雜語言轉(zhuǎn)化為高級語言，為計(jì)算機(jī)創(chuàng)新開發(fā)創(chuàng)造有利條件的基礎(chǔ)上，滿足人們實(shí)際需求[3].如表1所示.

表1 計(jì)算機(jī)創(chuàng)新開發(fā)的影響因素

3 邏輯語言在計(jì)算機(jī)創(chuàng)新開發(fā)中的應(yīng)用

3.1 邏輯語言的應(yīng)用現(xiàn)狀

邏輯語言是當(dāng)今社會計(jì)算機(jī)軟件開發(fā)過程之中，應(yīng)用頻率較高的語言類型之一.具有較強(qiáng)邏輯性、理論性和系統(tǒng)性等，是計(jì)算機(jī)創(chuàng)新開展中邏輯語言獨(dú)有的發(fā)展特征.在知識經(jīng)濟(jì)社會發(fā)展階段，計(jì)算機(jī)創(chuàng)新開發(fā)之中廣泛應(yīng)用的邏輯語言，在與數(shù)學(xué)二進(jìn)制計(jì)算方式有著緊密聯(lián)系的同時(shí)，有著較為獨(dú)特的基本表現(xiàn)形式.相關(guān)技術(shù)研究人員，可以通過連通或者非連通電路兩種不同的方式，對邏輯語言進(jìn)行切合實(shí)際的描述.在此基礎(chǔ)之上，負(fù)責(zé)軟件開發(fā)工作的相關(guān)在職技術(shù)研究人員，還可以通過應(yīng)用邏輯語言，應(yīng)對和處理在計(jì)算機(jī)程序正常運(yùn)作的過程之中，出現(xiàn)的突發(fā)狀況.通過轉(zhuǎn)換邏輯語言的排列方式，對計(jì)算機(jī)設(shè)備當(dāng)中不同的軟件應(yīng)用程序，下達(dá)不同內(nèi)容的執(zhí)行命令.

基于邏輯語言的這一實(shí)際應(yīng)用背景，知識產(chǎn)業(yè)研究領(lǐng)域的大部分專家學(xué)者一致同意，將邏輯語言主要應(yīng)用在知識經(jīng)濟(jì)產(chǎn)業(yè)之中歸計(jì)算機(jī)的軟件程序開發(fā)上.在計(jì)算機(jī)現(xiàn)代化技術(shù)應(yīng)用手段產(chǎn)生和發(fā)展的初期階段，軟件程序之中的邏輯運(yùn)作關(guān)系并沒有受到相關(guān)技術(shù)研究人員的高度重視.但隨著我國計(jì)算機(jī)技術(shù)應(yīng)用水平的不斷提升和發(fā)展，計(jì)算機(jī)應(yīng)用功能變得多種多樣.相應(yīng)計(jì)算機(jī)內(nèi)部各軟件程序之間的聯(lián)系和邏輯關(guān)系也越發(fā)復(fù)雜.部分技術(shù)研究人員想要實(shí)現(xiàn)計(jì)算機(jī)軟件的創(chuàng)新式研發(fā)，就要尤為注重邏輯語言的運(yùn)用和編輯.

但由于部分技術(shù)人員沒能具備較高水平的業(yè)務(wù)工作能力，在計(jì)算機(jī)軟件開發(fā)以及邏輯語言編程方面，不能將邏輯語言的應(yīng)用優(yōu)勢發(fā)揮到極致.導(dǎo)致在我國當(dāng)今社會計(jì)算機(jī)軟件創(chuàng)新開發(fā)中，邏輯語言的運(yùn)用仍舊存在大量顯著的矛盾問題.邏輯語言編輯應(yīng)用的嚴(yán)謹(jǐn)性有待提升，當(dāng)出現(xiàn)編輯失誤時(shí)不能及時(shí)修改等，都是邏輯語言目前在計(jì)算機(jī)軟件創(chuàng)新開發(fā)中存在的實(shí)際問題.

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

C語言是邏輯語言的典型代表，在計(jì)算機(jī)軟件創(chuàng)新開發(fā)中有著廣泛的應(yīng)用，可增多軟件功能，滿足人們需求.在邏輯語言運(yùn)用中，可根據(jù)功能對軟件進(jìn)行模塊劃分，分別代表某一項(xiàng)功能.為凸顯該優(yōu)勢，應(yīng)合理設(shè)置主程序以及對相關(guān)數(shù)據(jù)信息加以掃描，在滿足這一模塊功能時(shí)，啟動該模塊程序.就計(jì)算機(jī)發(fā)展而言，以數(shù)學(xué)學(xué)科為基礎(chǔ)，對科學(xué)嚴(yán)謹(jǐn)性有著較高的要求，因而計(jì)算機(jī)軟件創(chuàng)新開發(fā)中，相關(guān)技術(shù)人員必須利用嚴(yán)謹(jǐn)?shù)倪壿嬚Z言和合理編寫程序，規(guī)避失誤問題.為達(dá)到該目標(biāo)，絕大多數(shù)技術(shù)人員利用高級軟件而實(shí)現(xiàn)程序編寫，使其在編譯過程中，可糾錯，使技術(shù)人員明確失誤，并加以改正.但是，如果邏輯關(guān)系本身存在問題，則修改編寫程序的難度加大.由此可見，在計(jì)算機(jī)軟件創(chuàng)新開發(fā)中，相關(guān)人員必須利用邏輯語言而開展軟件程序編寫工作，規(guī)避工作失誤[4].

3.3 邏輯語言在計(jì)算機(jī)邏輯創(chuàng)新開發(fā)中的應(yīng)用

邏輯語言在計(jì)算機(jī)邏輯創(chuàng)新開發(fā)中有一定程度的應(yīng)用，主要表現(xiàn)在C語言和面向?qū)ο蟪绦蛟O(shè)計(jì)等方面.首先，對于C語言而言，屬于面向過程的邏輯語言，具有庫函數(shù)的支持，由方法、函數(shù)、數(shù)據(jù)而構(gòu)成，能夠滿足編程需求.函數(shù)是C語言程序設(shè)計(jì)的核心，對計(jì)算機(jī)邏輯創(chuàng)新開發(fā)具有重要影響.其中比較典型的語句主要有if-else選擇語句、for循環(huán)語句等.其次，面向?qū)ο蟪绦蛟O(shè)計(jì)中，語言設(shè)計(jì)風(fēng)格相對比較獨(dú)特，相關(guān)技術(shù)人員應(yīng)對數(shù)據(jù)加以有效處理，并將編程方法、編程數(shù)據(jù)有機(jī)結(jié)合.最后，通過對兩種邏輯語言的對比分析，主要表現(xiàn)在以下方面：①C語言必須通過Office-off、Office-on、Office三個全局變量的引入，而后者引入一個即可；②C語言較后者需要設(shè)計(jì)人員投入更多的精力.通過分析可知，面向?qū)ο蟪绦蛟O(shè)計(jì)的邏輯語言在計(jì)算機(jī)邏輯創(chuàng)新開發(fā)中更具應(yīng)用優(yōu)勢[5].具體公式如下：

4 結(jié)論

計(jì)算機(jī)創(chuàng)新開發(fā)是提高我國計(jì)算機(jī)技術(shù)水平的重要動力，邏輯語言是計(jì)算機(jī)創(chuàng)新開發(fā)的基礎(chǔ)，因而加強(qiáng)該問題的研究具有必要性.現(xiàn)階段，我國計(jì)算機(jī)技術(shù)水平相對較低，且受諸多因素的制約性影響，不利于我國計(jì)算機(jī)行業(yè)的可持續(xù)發(fā)展.將邏輯語言應(yīng)用于計(jì)算機(jī)創(chuàng)新開發(fā)中，可以促進(jìn)計(jì)算機(jī)程序的完善和技術(shù)水平的提高，且推動計(jì)算機(jī)行業(yè)的可持續(xù)發(fā)展進(jìn)程.

〔1〕張玉,余奇明.計(jì)算機(jī)語言的邏輯開發(fā)與軟件開放設(shè)計(jì)應(yīng)用[J].電腦編程技巧與維護(hù),2014（12）: 28-29.

〔2〕徐立艷.計(jì)算機(jī)語言的邏輯開發(fā)與軟件開放設(shè)計(jì)應(yīng)用研究[J].電腦編程技巧與維護(hù),2015（24）: 41-42+61.

〔3〕劉颯.語言邏輯下的計(jì)算機(jī)軟件開放設(shè)計(jì)探討[J].電子測試,2016（05）:90+44.

〔4〕耿麗娟.基于語言邏輯的計(jì)算機(jī)軟件開放設(shè)計(jì)[J].電子技術(shù)與軟件工程,2016（08）:66.

〔5〕陳志遠(yuǎn),黃少濱,韓麗麗.現(xiàn)代模態(tài)邏輯在計(jì)算機(jī)科學(xué)中的應(yīng)用研究 [J].計(jì)算機(jī)科學(xué),2013（S1）: 70-76.

TP311.1

：A

：1673-260X（2017）05-0029-03

2017-02-22