西安郵電軟件專業(yè)英語新教材

1、Content第一課第一課數(shù)學化的計算科學的前景數(shù)學化的計算科學的前景2（Lesson1towardsaMathematicalScienceofComputation）第二課第二課超大規(guī)模計算超大規(guī)模計算6（Lesson2ExtremeScaleComputing）第三課第三課GPU用于通用計算用于通用計算10（Lesson3UtilisationoftheGPUarchitecturefHPC）第五課第五課云計算簡介云計算簡介17（

2、Lesson5IntroductiontoCloudComputing）第六課第六課物聯(lián)網(wǎng)物聯(lián)網(wǎng)25（Lesson6TheInterofThings：GlobalTrends2025）第十課第十課數(shù)據(jù)倉庫概論數(shù)據(jù)倉庫概論31（Lesson10DataWarehouseOverview）第十一課第十一課面向智能體的軟件工程面向智能體的軟件工程37（Lesson11AgentientedSoftwareEngineering）第十二課第十二

3、課為什么軟件不應當有所有者？為什么軟件不應當有所有者？51（Lesson12WhySoftwareShouldNotHaveOwners）第十三課第十三課關于關于4G59（Lesson13About4G）第十四課第十四課2020年的因特網(wǎng)年的因特網(wǎng)63（Lesson14WhatTheInterMightLookLikeIn2020）第十五課第十五課搜索引擎的工作原理搜索引擎的工作原理69（Lesson15HowDoSearchEngin

4、esWk）第十六課第十六課嵌入式系統(tǒng)嵌入式系統(tǒng)73（Lesson16Embeddedsystems:Aprimer）第二十一課第二十一課現(xiàn)代人工智能簡介現(xiàn)代人工智能簡介77（Lesson21IntroductiontoArtificialIntelligence）第二十三課第二十三課生物信息學簡介生物信息學簡介83（Lesson23IntroductiontoBioinfmatics）languagestheruleswhichallo

5、wustodeterminewhetheranexpressionbelongstothelanguagehavebeenfmalizedbutthepartsofthesyntaxwhichrelatecloselytothesemanticshavenotbeensowellstudied.Theproblemoftranslatingproceduresfromoneprogramminglanguagetoanotherhasb

6、eenmuchstudiedweshalltrytogiveadefinitionofthecrectnessofthetranslation.Computersarefiniteautomata.Fromourpointofviewacomputerisdefinedbytheeffectofexecutingaprogramwithgiveninputonthestateofitsmemyonitsoutputs.Computers

7、ciencemuststudythevariouswayselementsofdataspacesarerepresentedinthememyofthecomputerhowproceduresarerepresentedbycomputerprograms.Fromthispointofviewmostofthecurrentwkonautomatatheyisbesidethepoint.2計算機科學交易的實體是什么？這些都是問題

8、，程序，數(shù)據(jù)空間，程序在特定的編程語言，和計算機程序。一個問題被定義的標準，它決定是否接受建議的解決方案。一個人完全可以完全理解一個問題，而不需要任何解決方法。程序通常是由基本程序建立的。這些基本程序可能是什么，以及如何構造出更復雜的程序，是計算機科學中的第一個主題之一。這個題目是不難理解的因為有一個精確的概念，一個可計算函數(shù)來指導我們，和可計算性相對于一個給定集合的初始功能易于定義。程序?qū)δ承?shù)據(jù)空間的成員進行操作，并產(chǎn)生其他數(shù)據(jù)空間

9、的成員，在一般的其他數(shù)據(jù)空間中使用。一系列的操作被稱為從簡單的構造新的數(shù)據(jù)空間，但目前還沒有通用的理論表示的數(shù)據(jù)空間與可計算函數(shù)理論。程序是表示程序的符號表達式。相同的程序可以用不同的編程語言來表示。我們將討論在語義上定義一個編程語言的問題，說明程序的代表性。至于程序設計語言的語法，允許我們判斷一個表達式是否屬于語言的規(guī)則已經(jīng)正式化，但與語義關系的語法的部分不那么好研究。從一種編程語言到另一種編程語言的翻譯問題進行了大量的研究，并試圖給

10、出一個定義的正確性的翻譯。計算機是有限自動機。從我們的觀點來看，一臺計算機被定義的效果，執(zhí)行一個程序與給定的輸入的狀態(tài)，它的內(nèi)存和它的輸出。計算機科學必須研究數(shù)據(jù)空間的各種方式，在計算機的存儲器中表示，以及如何用計算機程序來表示程序。從這個角度來看，目前的工作在自動機理論的最重要的點。3WhatKindsofFactsAboutProblemsProceduresdataSpacesProgramsComputersWouldWeLik

11、etoDerivePrimarilywewouldliketobeabletoprovethatgivenproceduressolvegivenproblems.Howeverprovingthismayinvolveprovingawholehostofotherkindsofstatementsuchas:1.Twoproceduresareequivalenti.e.computethesamefunction.2.Anumbe

12、rofcomputablefunctionssatisfyacertainrelationshipsuchasanalgebraicidentityafmulaofthefunctionalcalculus.3.Acertainprocedureterminatesfcertaininitialdatafallinitialdata.4.Acertaintranslationprocedurecrectlytranslatesproce

13、duresbetweenoneprogramminglanguageanother.5.Oneprocedureismeefficientthananotherequivalentprocedureinthesenseoftakingfewerstepsrequiringlessmemy.6.Acertaintransfmationofprogramspreservesthefunctionexpressedbutincreasesth

14、eefficiency.7.Acertainclassofproblemsisunsolvablebyanyprocedurerequiresproceduresofacertaintypefitssolution.3問題，程序，數(shù)據(jù)空間，程序和計算機的各種事實，我們希望得到什么？首先，我們希望能夠證明給定的程序解決給定的問題。然而，證明這可能涉及證明一個整體的其他類型的陳述，如：1。雙程序是等價的，即計算相同的函數(shù)。2。許多可計算函數(shù)