應用計算機系統解決具體問題，必須遵循一定的方法，使用某種程序設計語言編制程序來實現解決該項問題的算法，然后在計算機系統上運行這一程序，得到問題解答。程序設計理論就是研究程序設計方法，并討論設計程序語言，實施程序設計語言和使用程序設計語言編制過程中的理論問題。不同類的問題具有不同的特點，需要研究各種不同的程序設計方法，為此需要概括出各類抽象模型研究它們的特性，討論適用于它們的程序設計的方法，開發程序設計中有關不同程序間共享數據的研究，就是這類研究的一個重要方面。程序設計語言的理論，包括對其語法和語義的研究。只有清楚地了解程序設計的語法和語義，才能正確實施和使用語言，也才能正確評價語言的優劣。因此，程序設計語言理論是設計、實施和使用程序設計語言的理論基礎。如何使用程序設計語言編制程序，以正確實現預定的目標，這種研究稱為程序正確性理論。程序設計理論已為軟件開發提供了很多極為重要的理論原則；隨著軟件工程的發展，程序設計理論也將不斷發展。
1. 根據第二段的內容，以下說法錯誤的是：
A. 根據不同類的問題，設計程序的方法是不同的
B. 研究不同類的問題，需要概括不同的抽象模型
C. 每一個具體問題的解答，程序設計的方法都是不同的
D. 研究不同類的問題，需要設計不同的程序
2. 第三段“包括對其語法和語義的研究”一句中，“其”指代的是：
A. 程序設計語言 B. 程序設計語言理論
C. 程序正確性理論 D. 研究程序設計語言的語法和語義
3. 程序設計理論由若干部分組成，不是其組成部分的是：
A. 研究程序設計方法 B. 設計程序語言
C. 程序正確性理論 D. 研究程序設計語言的語法和語義
4. 本段文字，說明的對象是：
A. 程序設計方法 B. 程序設計語言
C. 使用程序設計語言 D. 程序設計理論
5. 下列說法錯誤的是：
A. 研究程序設計理論的目的是為了解決具體的實際問題
B. 不同的程序設計方法針對不同類的問題
C. 對程序設計語言語法和語義的研究是研究程序設計語言理論的重要一環
D. 程序設計理論已經概括了軟件開發的全部理論原則
江蘇農信社考試網 參考答案解析
1. C 2. A 3. B 4. D 5. D
|
