閱讀下面短文，回答42-45題。

應(yīng)用計(jì)算機(jī)系統(tǒng)解決具體問題，必須遵循一定的方法，使用某種程序設(shè)計(jì)語言編制程序來實(shí)現(xiàn)解決該項(xiàng)問題的算法，然后在計(jì)算機(jī)系統(tǒng)上運(yùn)行這一程序，得到問題解答。程序設(shè)計(jì)理論就是研究程序設(shè)計(jì)方法，并討論設(shè)計(jì)程序語言，實(shí)施程序設(shè)計(jì)語言和使用程序設(shè)計(jì)語言編制過程中的理論問題。

不同類的問題具有不同的特點(diǎn)，需要研究各種不同的程序設(shè)計(jì)方法，為此需要概括出各類抽象模型研究它們的特性，討論適用于它們的程序設(shè)計(jì)的方法，并發(fā)程序設(shè)計(jì)中有關(guān)不同程序間共享數(shù)據(jù)的研究，就是這類研究的一個(gè)重要方面。

程序設(shè)計(jì)語言的理論，包括對(duì)其語法和語義的研究。只有清楚地了解程序設(shè)計(jì)的語法和語義，才能正確實(shí)施和使用語言，也才能正確評(píng)價(jià)語言的優(yōu)劣。因此，程序設(shè)計(jì)語言理論是設(shè)計(jì)、實(shí)施和使用程序設(shè)計(jì)語言的理論基礎(chǔ)。

如何使用程序設(shè)計(jì)語言編制程序，以正確實(shí)現(xiàn)預(yù)定的目標(biāo)，這種研究稱為程序正確性理論。

程序設(shè)計(jì)理論已為軟件開發(fā)提供了很多極為重要的理論原則；隨著軟件工程的發(fā)展，程序設(shè)計(jì)理論也將不斷發(fā)展。

42．根據(jù)第二段的內(nèi)容，以下說法錯(cuò)誤的是：

A．根據(jù)不同類的問題，設(shè)計(jì)程序的方法是不同的

B．研究不同類的問題，需要概括不同的抽象模型

C．每一個(gè)具體問題的解答，程序設(shè)計(jì)的方法都是不同的

D．研究不同類的問題，需要設(shè)計(jì)不同的程序

43．第三段“包括對(duì)其語法和語義的研究”一句中，“其”指代的是：

A程序設(shè)計(jì)語言

B．程序設(shè)計(jì)語言理論

C程序正確性理論

D．研究程序設(shè)計(jì)語言的語法和語義

44．程序設(shè)計(jì)理論由若干部分組成，不是其組成部分的是：

A．研究程序設(shè)計(jì)方法

B。設(shè)計(jì)程序語言

C．程序正確性理論

D。研究程序設(shè)計(jì)語言的語法和語義

45．本段文字，說明的對(duì)象是：

A．程序設(shè)計(jì)方法

B．程序設(shè)計(jì)語言

C．使用程序設(shè)計(jì)語言

D．程序設(shè)計(jì)理論

參考答案：42．C 43．A 44．B 45．D