基于邏輯語言的計算機軟件開發

曾愛林

（順德職業技術學院 電子與信息工程學院，廣東 順德 528300）

引 言

現在已經進入到了信息時代，計算機作為信息化的基礎，已經成為一個國家信息水平的重要標志，在這種背景下，每個國家都很重視自身計算機技術的發展，而軟件是計算機應用的主要方式，計算機之所以能夠滿足不同領域的需求，就是因為可以開發具有相應功能的軟件，我國受到特殊的歷史因素影響，經濟和科技發展的起步較晚，因此目前計算機軟件技術，主要掌握在西方發達國家手中。而且在很長一段時間內，西方國家對我國實行了技術封鎖，使得我國計算機相關技術的發展很慢，現在使用的計算機軟件，尤其是企業辦公軟件，幾乎都是外國公司開發的，雖然近年來隨著國家的重視，開始大力扶持本土的軟件公司，通過加強市場建設等方式，嚴格的控制盜版，在一定程度上提高了我國的計算機軟件開發的水平。

1 邏輯語言分析

1.1 邏輯語言的概念

邏輯最早是哲學中的詞匯，在古希臘時期，很多哲學家在辯論的過程中，為了可以說服對方，自己的思路必須清晰，符合人們正常的思維，逐漸的形成了邏輯語言的概念，隨著數學理論的發展，要想解決特定的問題，必須進行相應的推理和證明，而推理的過程中，就要使用邏輯語言，這樣推理才能夠符合人的思維。計算機的出現，對于科技的發展來說，是革命性的，很多人將計算機作為第三次科技革命的標志，通過計算機的使用，不但改變了人們的生活習慣，同時也在很大程度上提高了工程的效率，而計算機是在數學模型的基礎上，因此控制計算機工作的軟件，也必須具有一定的邏輯性。在計算機出現的早期，受到計算機性能等影響，程序的編寫還采用二進制的機器語言進行，這種0和1組成的二進制語言，在編寫的過程中，必須具有一定的邏輯性，計算機才能夠去運行，現在程序的編寫已經采用高級語言，如JAVA和 C語言等，利用這些語言進行程序的編寫時，邏輯關系的體現更加重要。

1.2 邏輯語言的特點

從語言學上來看，語言主要可以分成三種，分別是自然語言、帶符號的數學語言、以及形式化的邏輯語言，邏輯語言的出現，主要是因為邏輯學發展的需要，古時候受到知識水平的限制，人們在討論問題時，經常會發生一些爭執，為了解決這種爭執，人們希望能夠建立像數學那樣完美，具有特定符號的語言，這就是邏輯語言。與其他的語言相比，邏輯語言具有很高的嚴謹性，這種語言將邏輯推理，轉化成為了數學語言，在遇到具體的問題時，就可以利用這種沒有歧義、嚴謹的語言，通過計算的方式，來解決這個問題，隨著邏輯語言自身的發展，在解決實際問題時，人們首先會建立一個數學模型，然后采用數學的方式進行求解，極大的提高了解決問題的效率。由此可以看出，邏輯語言的特點是嚴謹性和普遍性，能夠用來描述所有的問題，而且在這個過程中，不會出現任何的歧義，現代計算機軟件的發展，很大程度上就是建立在邏輯語言的基礎上，通過實際的分析可以知道，每個程序都是一個數學模型，而描述這個模型的就是邏輯語言。

1.3 邏輯語言的發展

從語言的三種形式可以看出，其發展也可以分成三個階段，首先是自然語言，在人類文明的初期，受到科學技術上的限制，人們的思維還不是很嚴謹，因此表達比較隨便，采用自然語言進行交流，現在的日常生活中，依然使用這種語言，隨著自然科學的發展，語言開始分為書面語和口語，在對科學進行描述時，主要采用書面語進行，這種表達方式具有一定的特殊性，尤其是在數學科學中，需要加入一些常用的符號，逐漸的形成了數學語言。邏輯語言的出現，是數學語言發展的結果，但是在邏輯語言剛出現時，主要建立在理論的基礎上，很難在現實中使用，計算機是邏輯語言實踐的結果，通過數學二進制和實際電路的結合，就可以利用邏輯語言來解決實際問題，計算機程序的出現，使得邏輯語言發展到了一個新的高度，在程序設計中，考慮到計算機的嚴謹性，必須采用邏輯語言進行。

2 計算機軟件開發的現狀

2.1 我國計算機軟件開發的現狀

通過實際的調查發現，目前我國計算機軟件開發能力較低，現在使用的軟件，很多都是國外軟件公司開發的，雖然近年來隨著國家的重視，加大了對軟件公司的鼓勵和扶持，在很大程度上促進了我國軟件技術的發展，我國軟件產業出現了一個黃金期，但是受到盜版市場等影響，很多軟件公司的產品沒有市場，導致現在我國還沒有大型的軟件公司。印度是現在世界上軟件產業先進的國家之一，其在發展的過程中，也遇到了和我國一樣的問題，但是在政府強硬的打壓下，盜版市場得到了控制，為軟件公司的發展，提供了一個良好的環境，我國與印度的國情相近，為了促進我國軟件產業的發展，借鑒了其成功的經驗，近幾年政府部門出臺了很多政策法規，對盜版進行嚴格的控制，在一定程度上改善了我國軟件行業的環境。但是計算機軟件行業經過了多年的發展，已經形成了良好的產業鏈，核心的軟件技術都掌握在西方國家手中，我國要想發展自己的軟件產業，面臨的難度較大，而受到我國教育水平的影響，軟件開發人員的整體水平較低，在很大程度上限制了我國計算機軟件開發水平的提高。

2.2 影響計算機軟件開發的因素

在實際的計算機軟件開發中，首先要進行需求分析，在計算機軟件出現的早期，受到計算機性能的限制，軟件都比較簡單，只是進行一些簡單的數學計算，因此不需要進行需求的分析，程序的編寫都具有一定的針對性，人們遇到實際問題時，編寫一個程序，來解決這個問題，由于計算機沒有存儲設備，程序無法進行存儲，再遇到這個問題時，還要進行程序的編寫。隨著軟件技術的發展，計算機語言得到了很大的進步，在傳統的0和1二進制語言中，軟件的編寫非常復雜，為了方便軟件的開發，人們對計算機語言進行了改進，把難理解的匯編語言等低級語言，變成了易懂的高級語言，同時軟件的應用也有了很大的進步，要想滿足不同領域的需求，軟件自身也變得越來越復雜。由此可以看出，影響計算機軟件開發的因素有很多，需求分析的效果、計算機語言等，都能夠對軟件的開發造成很大的影響，尤其是計算機語言的使用，現在的軟件為了獲得一定的市場，都會增加自身的功能，導致其體積越來越大，根據軟件開發的實際情況，都會分成幾個模塊，要想讓軟件具有良好的可維護性、易讀性等，必須采用嚴謹的邏輯語言。

3 基于邏輯語言的計算機軟件開發分析

3.1 邏輯語言的表現形式

邏輯語言作為一種理論性的語言，如何使用這門語言解決實際問題，一直都是人們研究的重點，受到技術條件的限制，這個想法沒有實現，隨著科學的進步，物理學家們根據數學家的設想，制作出了現代電子計算機，從本質上來說，計算機自身就是一個數學模型，而這種模型就采用邏輯語言來描述，通過電路的通和不通兩種狀態，將數學二進制很好的聯系起來。這樣就可以利用邏輯語言來解決實際問題，計算機在應用的過程中，根據不同領域的實際需要，針對性的開發了應用軟件，因此計算機的應用就是軟件的應用，而在軟件的開發，就是將計算機語言，按照一定的邏輯關系進行排列，然后計算機按照程序的指令，一步一步的去執行。由此可以看出，軟件程序其實就是邏輯語言的表現形式，在計算機剛出現時，程序的編寫比較簡單，通常都是由幾個指令構成，可以不考慮語句之間的邏輯關系，但是現在的程序非常復雜，很多軟件占用的空間達到了GB的級別，這樣復雜軟件的開發，要考慮維護性和易讀性等，因此必須具有清晰的邏輯關系。

3.2 邏輯語言的使用

現在的軟件開發中，主要采用 C語言等高級語言進行編寫，由于軟件要實現不同的功能，因此在實際的設計中，人們根據具體的功能，將軟件分成了相應的模塊，每個模塊實現軟件的一個功能，然后設立一個主程序，通過特定的掃描機制，在需要哪個功能時，就調用相應的模塊，這樣程序可以很簡單的實現維護等操作。計算機是以數學為基礎，具有很高的嚴謹性，在程序編寫時，如果一個語句出現錯誤，就會導致整個軟件無法執行，因此在實際的開發過程中，必須采用嚴謹的邏輯語言進行，只有這樣才能夠確保程序可以被執行，通過實際的調查發現，現在的編程軟件功能非常完善，在程序編寫完成之后，可以進行相應的編譯和運行，如果程序存在問題，就無法完成編譯，編程軟件會提出出錯的位置，如果是命令的拼寫錯誤，很好進行修改，如果是邏輯關系出現了錯誤，那么修改就比較困難，如果采用邏輯語言進行編寫，就可以在很大程度上避免邏輯關系錯誤的問題。

結 語

現在計算機軟件開發是一個熱門的行業，但是受到我國技術水平的限制，目前我國計算機軟件開發的水平較差，雖然很多高校都開設了軟件開發這門課程，為社會提供了大量的人才，但是通過全文的分析可以知道，我國高校中培養的人才，綜合素質較差，無法帶動我國軟件產業的發展，要想從根本上改善這種情況，必須借鑒印度等軟件產業發達國家的成功經驗，結合我國軟件產業的實際情況，對邏輯語言等影響計算機軟件開發的因素進行研究，只有這樣，才能夠提高我國軟件開發的水平。

[1]張德利,張文輝.扎哈·哈迪德與馬巖松——非線性邏輯語言淺析[J].華中建筑,2013,(8):5-8.

[2]趙瑩映,章韻.基于推理機制的邏輯語言在Web服務組合機制中的應用[J].電信科學,2012,(12):70-75.

[3]包義保,殷麗華,方濱興,郭莉.動態安全策略邏輯語言及安全屬性驗證問題的研究[J].計算機研究與發展,2010,(4):932-941.