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