導航:首頁 > 源碼編譯 > 機器證明編譯原理

機器證明編譯原理

發布時間:2023-01-31 05:13:30

① 什麼是計算機專業

本專業是計算機硬體與軟體相結合、面向系統、側重應用的寬口徑專業。通過基礎教學與專業訓練,培養基礎知識扎實、知識面寬、工程實踐能力強,具有開拓創新意識,在計算機科學與技術領域從事科學研究、教育、開發和應用的高級人才。
本專業開設的主要課程有:電子技術、離散數學、程序設計、數據結構、操作系統、計算機組成原理、微機系統、計算機系統結構、編譯原理、計算機網路、資料庫系統、軟體工程、人工智慧、計算機圖形學、數字圖像處理、計算機通訊原理、多媒體信息處理技術、數字信號處理、計算機控制、網路計算、演算法設計與分析、信息安全、應用密碼學基礎、信息對抗、移動計算、數論與有限域基礎、人機界面設計、面向對象程序設計等.
計算機學科的特色主要體現在:理論性強,實踐性強,發展迅速。 按一級學科培養基礎扎實的寬口徑人才,體現在重視數學、邏輯、數據結構、演算法、電子設計、計算機體系結構和系統軟體等方面的理論基礎和專業技術基礎,前兩年半注重自然科學基礎課程和專業基礎課程,拓寬面向。後一年半主要是專業課程的設置,增加可選性、多樣性、靈活性和方向性,突出學科方向特色,體現最新技術發展動向。目前已覆蓋所有二級學科課程。加強數學基礎和分析能力,高等數學改上數學分析,增加計算機數學基礎課程,體現在假設組合數學,增加離散數學的課時,並在計算機後續課程(如演算法與數據結構、編譯等課程)中體現數學應用不斷線。更重視實踐性教學環節,增加實驗課程、課程設計比重,注重自主性實踐環節,上機實踐貫穿於四年的學習中,加強知識綜合運用能力的培養。將科研實踐與研究融入教學過程。在打好堅實的理論和技術基礎的基礎上,鼓勵高年級學生積極參加科技實踐,將我院資助的學生科技創新活動和參與教師的科研活動納入培養體系。根據計算機技術和信息技術的迅猛發展,通過開設學科前沿專題講座,介紹學科的最新發展,體現學科內容的前瞻性;並設置了大量靈活的專業任選課,向學生介紹最新的計算機和信息技術。 計算機科學與技術專業從三年級開始,設有計算機軟體、計算機應用、計算機安全技術三個方向,分別供不同興趣的同學根據自身發展方向自由選擇,
本專業畢業生應獲得以下幾個方面的知識和能力: 1.掌握電子技術和計算機組成與體系結構的基本原理、分析方法和實驗技能,能從事計算機硬體系統開發與設計。 2.掌握程序設計語言、演算法與數據結構、操作系統以及軟體設計方法和工程的基本理論、基本知識與基本技能,具有較強的程序設計能力,能從事系統軟體和大型應用軟體的開發與研製。 3.掌握並行處理、分布式系統、網路與通信、多媒體信息處理、計算機安全、圖形圖象處理以及計算機輔助設計等方面的基本理論、分析方法和工程實踐技能,具有計算機應用和開發的能力。 4.掌握計算機科學的基本理論,具有從事計算機科學研究的堅實基礎。
編輯本段培養方案
●知識結構:包括社會人文知識、自然科學知識、專業基礎知識、專業技術知識、經濟管理知識 ●能力結構:包括獲取知識能力、應用知識能力、團結協作能力、自主創新能力 ●素質結構:包括道德素質、文化素質、專業素質、身心素質
編輯本段計算機應用技術專業分析
計算機應用技術是計算機科學與技術一級學科下設的一個二級學科,該專業應用十分廣泛,它以計算機基本理論為基礎,突出計算機和網路的實際應用。 目前我國計算機專業主要分為三大類:計算機基礎專業、與理工科交叉的計算機專業、與文科藝術類交叉的計算機專業。 1. 計算機基礎專業 專業要求與就業方向:這些專業不但要求學生掌握計算機基本理論和應用開發技術,具有一定的理論基礎,同時又要求學生具有較強的實際動手能力。學生畢業後能在企事業單位、政府部門從事計算機應用以及計算機網路系統的開發、維護等工作。 推薦院校:國防科技大學、清華大學、北京大學、上海交通大學、華中科技大學、東北大學、北京郵電大學、南京大學、東南大學 2. 與理工科交叉的計算機專業 與理工科交叉而衍生的計算機專業很多,如數學與應用數學專業、自動化專業、信息與計算科學專業、通信工程專業、電子信息工程專業、計算機應用與維護專業等。 1)數學與應用數學專業: 專業要求與就業方向:數學與應用數學是計算機專業的基礎和上升的平台,是與計算機科學與技術聯系最為緊密的專業之一。該專業就業面相對於計算機科學與技術專業來說寬得多,不但適用於IT 領域,也適用於數學領域。 推薦院校:同濟大學、東南大學、中山大學、寧波大學、深圳大學 2)自動化專業: 專業要求與就業方向:自動化專業是一個歸並了多個自動控制領域專業的寬口徑專業,要求學生掌握自動控制的基本理論,並立足信息系統和信息網路的控制這一新興應用領域制定專業課程體系,是工業製造業的核心專業。自動化專業的畢業生具有很強的就業基礎和優勢。 推薦院校:清華大學、東南大學、北京郵電大學、重慶大學 3)信息與計算科學專業: 專業要求與就業方向:這是一個由信息科學、計算數學、運籌與控制科學等交叉滲透而形成的專業,就業面涉及到教學、商業、網路開發、軟體設計等各個方面,就業率高達95%以上。 推薦院校:清華大學、南京大學、蘇州大學 4)通信工程專業: 專業要求與就業方向:通信工程專業要求學生掌握通信基礎理論和基本基礎,掌握微波、無線電、多媒體等通信技術,以及電子和計算機技術,在信息時代有著極佳的就業優勢。 推薦院校:復旦大學、北京郵電大學、吉林大學、哈爾濱工業大學、南京理工大學 5)電子信息工程專業: 專業要求與就業方向:電子信息工程專業是寬口徑專業,主要培養信息技術、電子工程、網路系統集成等領域的高級IT 人才,畢業生可從事電子設備、信息系統和通信系統的研究、設計、製造、應用和開發工作。 推薦院校:浙江大學、清華大學、廈門大學、武漢大學、四川大學、雲南大學
編輯本段就業方向
畢業生主要面向交通系統各單位、交通信息化與電子政務建設與應用部門、各類計算機專業化公司、廣告設計製作公司、汽車營銷技術服務等從事IT行業工作。
編輯本段職業資格證書
計算機硬體工程師、計算機二級三級、計算機國家二級三級、LINUX管理、平面設計師、網頁設計師、程序師等。
編輯本段發展趨勢
市場經濟的發展、計算機應用的家庭化、普及化,信息產業的規模化,推動了計算機技術人才市場的發展,特別是加入世貿組織以後,計算機應用人才更是供不應求。 發展趨勢 不過近兩年計算機專業在中國似乎並不太走俏,據網易統計近幾年,計算機專業的失業率排在所有專業首位,現在的中國計算機人才市場,所以說是嚴重的供大於求。

② 研究或者探討函數在計算機中的存儲或者在編譯時怎麼知道什麼時候調用什麼函數這些理論,是什麼課程!!

計算機的發展歷史

一、第一台計算機的誕生

第一台計算機(ENIAC)於1946年2月,在美國誕生。

ENIAC PC機
耗資 100萬美圓 600美圓
重量 30噸 10kg
佔地 150平方米 0.25平方米
電子器件 1.9萬只電子管 100塊集成電路
運算速度 5000次/秒 500萬次/秒

二、計算機發展歷史

1、第一代計算機(1946~1958)

電子管為基本電子器件;使用機器語言和匯編語言;主要應用於國防和科學計算;運算速度每秒幾千次至幾萬次。

2、第二代計算機(1958~1964)

晶體管為主要器件;軟體上出現了操作系統和演算法語言;運算速度每秒幾萬次至幾十萬次。

3、第三代計算機(1964~1971)

普遍採用集成電路;體積縮小;運算速度每秒幾十萬次至幾百萬次。

4、第四代計算機(1971~ )

以大規模集成電路為主要器件;運算速度每秒幾百萬次至上億次。

三、我國計算機發展歷史

從1953年開始研究,到1958年研製出了我國第一台計算機

在1982年我國研製出了運算速度1億次的銀河I、II型等小型系列機。
計算機的歷史

計算機是新技術革命的一支主力,也是推動社會向現代化邁進的活躍因素。計算機科學與技術是第二次世界大戰以來發展最快、影響最為深遠的新興學科之一。計算機產業已在世界范圍內發展成為一種極富生命力的戰略產業。

現代計算機是一種按程序自動進行信息處理的通用工具,它的處理對象是信息,處理結果也是信息。利用計算機解決科學計算、工程設計、經營管理、過程式控制制或人工智慧等各種問題的方法,都是按照一定的演算法進行的。這種演算法是定義精確的一系列規則,它指出怎樣以給定的輸入信息經過有限的步驟產生所需要的輸出信息。

信息處理的一般過程,是計算機使用者針對待解抉的問題,事先編製程序並存入計算機內,然後利用存儲程序指揮、控制計算機自動進行各種基本操作,直至獲得預期的處理結果。計算機自動工作的基礎在於這種存儲程序方式,其通用性的基礎則在於利用計算機進行信息處理的共性方法。

計算機的歷史

現代計算機的誕生和發展 現代計算機問世之前,計算機的發展經歷了機械式計算機、機電式計算機和萌芽期的電子計算機三個階段。

早在17世紀,歐洲一批數學家就已開始設計和製造以數字形式進行基本運算的數字計算機。1642年,法國數學家帕斯卡採用與鍾表類似的齒輪傳動裝置,製成了最早的十進制加法器。1678年,德國數學家萊布尼茲製成的計算機,進一步解決了十進制數的乘、除運算。

英國數學家巴貝奇在1822年製作差分機模型時提出一個設想,每次完成一次算術運算將發展為自動完成某個特定的完整運算過程。1884年,巴貝奇設計了一種程序控制的通用分析機。這台分析機雖然已經描繪出有關程序控制方式計算機的雛型,但限於當時的技術條件而未能實現。

巴貝奇的設想提出以後的一百多年期間,電磁學、電工學、電子學不斷取得重大進展,在元件、器件方面接連發明了真空二極體和真空三極體;在系統技術方面,相繼發明了無線電報、電視和雷達……。所有這些成就為現代計算機的發展准備了技術和物質條件。

與此同時,數學、物理也相應地蓬勃發展。到了20世紀30年代,物理學的各個領域經歷著定量化的階段,描述各種物理過程的數學方程,其中有的用經典的分析方法已根難解決。於是,數值分析受到了重視,研究出各種數值積分,數值微分,以及微分方程數值解法,把計算過程歸結為巨量的基本運算,從而奠定了現代計算機的數值演算法基礎。

社會上對先進計算工具多方面迫切的需要,是促使現代計算機誕生的根本動力。20世紀以後,各個科學領域和技術部門的計算困難堆積如山,已經阻礙了學科的繼續發展。特別是第二次世界大戰爆發前後,軍事科學技術對高速計算工具的需要尤為迫切。在此期間,德國、美國、英國部在進行計算機的開拓工作,幾乎同時開始了機電式計算機和電子計算機的研究。

德國的朱賽最先採用電氣元件製造計算機。他在1941年製成的全自動繼電器計算機Z-3,已具備浮點記數、二進制運算、數字存儲地址的指令形式等現代計算機的特徵。在美國,1940~1947年期間也相繼製成了繼電器計算機MARK-1、MARK-2、Model-1、Model-5等。不過,繼電器的開關速度大約為百分之一秒,使計算機的運算速度受到很大限制。

電子計算機的開拓過程,經歷了從製作部件到整機從專用機到通用機、從「外加式程序」到「存儲程序」的演變。1938年,美籍保加利亞學者阿塔納索夫首先製成了電子計算機的運算部件。1943年,英國外交部通信處製成了「巨人」電子計算機。這是一種專用的密碼分析機,在第二次世界大戰中得到了應用。

1946年2月美國賓夕法尼亞大學莫爾學院製成的大型電子數字積分計算機(ENIAC),最初也專門用於火炮彈道計算,後經多次改進而成為能進行各種科學計算的通用計算機。這台完全採用電子線路執行算術運算、邏輯運算和信息存儲的計算機,運算速度比繼電器計算機快1000倍。這就是人們常常提到的世界上第一台電子計算機。但是,這種計算機的程序仍然是外加式的,存儲容量也太小,尚未完全具備現代計算機的主要特徵。

新的重大突破是由數學家馮·諾伊曼領導的設計小組完成的。1945年3月他們發表了一個全新的存儲程序式通用電子計算機方案—電子離散變數自動計算機(EDVAC)。隨後於1946年6月,馮·諾伊曼等人提出了更為完善的設計報告《電子計算機裝置邏輯結構初探》。同年7~8月間,他們又在莫爾學院為美國和英國二十多個機構的專家講授了專門課程《電子計算機設計的理論和技術》,推動了存儲程序式計算機的設計與製造。

1949年,英國劍橋大學數學實驗室率先製成電子離散時序自動計算機(EDSAC);美國則於1950年製成了東部標准自動計算機(SFAC)等。至此,電子計算機發展的萌芽時期遂告結束,開始了現代計算機的發展時期。

在創制數字計算機的同時,還研製了另一類重要的計算工具——模擬計算機。物理學家在總結自然規律時,常用數學方程描述某一過程;相反,解數學方程的過程,也有可能採用物理過程模擬方法,對數發明以後,1620年製成的計算尺,己把乘法、除法化為加法、減法進行計算。麥克斯韋巧妙地把積分(面積)的計算轉變為長度的測量,於1855年製成了積分儀。

19世紀數學物理的另一項重大成就——傅里葉分析,對模擬機的發展起到了直接的推動作用。19世紀後期和20世紀前期,相繼製成了多種計算傅里葉系數的分析機和解微分方程的微分分析機等。但是當試圖推廣微分分析機解偏微分方程和用模擬機解決一般科學計算問題時,人們逐漸認識到模擬機在通用性和精確度等方面的局限性,並將主要精力轉向了數字計算機。

電子數字計算機問世以後,模擬計算機仍然繼續有所發展,並且與數字計算機相結合而產生了混合式計算機。模擬機和混合機已發展成為現代計算機的特殊品種,即用在特定領域的高效信息處理工具或模擬工具。

20世紀中期以來,計算機一直處於高速度發展時期,計算機由僅包含硬體發展到包含硬體、軟體和固件三類子系統的計算機系統。計算機系統的性能—價格比,平均每10年提高兩個數量級。計算機種類也一再分化,發展成微型計算機、小型計算機、通用計算機(包括巨型、大型和中型計算機),以及各種專用機(如各種控制計算機、模擬—數字混合計算機)等。

計算機器件從電子管到晶體管,再從分立元件到集成電路以至微處理器,促使計算機的發展出現了三次飛躍。

在電子管計算機時期(1946~1959),計算機主要用於科學計算。主存儲器是決定計算機技術面貌的主要因素。當時,主存儲器有水銀延遲線存儲器、陰極射線示波管靜電存儲器、磁鼓和磁心存儲器等類型,通常按此對計算機進行分類。

到了晶體管計算機時期(1959~1964),主存儲器均採用磁心存儲器,磁鼓和磁碟開始用作主要的輔助存儲器。不僅科學計算用計算機繼續發展,而且中、小型計算機,特別是廉價的小型數據處理用計算機開始大量生產。

1964年,在集成電路計算機發展的同時,計算機也進入了產品系列化的發展時期。半導體存儲器逐步取代了磁心存儲器的主存儲器地位,磁碟成了不可缺少的輔助存儲器,並且開始普遍採用虛擬存儲技術。隨著各種半導體只讀存儲器和可改寫的只讀存儲器的迅速發展,以及微程序技術的發展和應用,計算機系統中開始出現固件子系統。

20世紀70年代以後,計算機用集成電路的集成度迅速從中小規模發展到大規模、超大規模的水平,微處理器和微型計算機應運而生,各類計算機的性能迅速提高。隨著字長4位、8位、16位、32位和64位的微型計算機相繼問世和廣泛應用,對小型計算機、通用計算機和專用計算機的需求量也相應增長了。

微型計算機在社會上大量應用後,一座辦公樓、一所學校、一個倉庫常常擁有數十台以至數百台計算機。實現它們互連的局部網隨即興起,進一步推動了計算機應用系統從集中式系統向分布式系統的發展。

在電子管計算機時期,一些計算機配置了匯編語言和子程序庫,科學計算用的高級語言FORTRAN初露頭角。在晶體管計算機階段,事務處理的COBOL語言、科學計算機用的ALGOL語言,和符號處理用的LISP等高級語言開始進入實用階段。操作系統初步成型,使計算機的使用方式由手工操作改變為自動作業管理。

進入集成電路計算機發展時期以後,在計算機中形成了相當規模的軟體子系統,高級語言種類進一步增加,操作系統日趨完善,具備批量處理、分時處理、實時處理等多種功能。資料庫管理系統、通信處理程序、網路軟體等也不斷增添到軟體子系統中。軟體子系統的功能不斷增強,明顯地改變了計算機的使用屬性,使用效率顯著提高。

在現代計算機中,外圍設備的價值一般已超過計算機硬體子系統的一半以上,其技術水平在很大程度上決定著計算機的技術面貌。外圍設備技術的綜合性很強,既依賴於電子學、機械學、光學、磁學等多門學科知識的綜合,又取決於精密機械工藝、電氣和電子加工工藝以及計量的技術和工藝水平等。

外圍設備包括輔助存儲器和輸入輸出設備兩大類。輔助存儲器包括磁碟、磁鼓、磁帶、激光存儲器、海量存儲器和縮微存儲器等;輸入輸出設備又分為輸入、輸出、轉換、、模式信息處理設備和終端設備。在這些品種繁多的設備中,對計算機技術面貌影響最大的是磁碟、終端設備、模式信息處理設備和轉換設備等。

新一代計算機是把信息採集存儲處理、通信和人工智慧結合在一起的智能計算機系統。它不僅能進行一般信息處理,而且能面向知識處理,具有形式化推理、聯想、學習和解釋的能力,將能幫助人類開拓未知的領域和獲得新的知識。

計算技術在中國的發展 在人類文明發展的歷史上中國曾經在早期計算工具的發明創造方面寫過光輝的一頁。遠在商代,中國就創造了十進制記數方法,領先於世界千餘年。到了周代,發明了當時最先進的計算工具——算籌。這是一種用竹、木或骨製成的顏色不同的小棍。計算每一個數學問題時,通常編出一套歌訣形式的演算法,一邊計算,一邊不斷地重新布棍。中國古代數學家祖沖之,就是用算籌計算出圓周率在3.1415926和3.1415927之間。這一結果比西方早一千年。

珠算盤是中國的又一獨創,也是計算工具發展史上的第一項重大發明。這種輕巧靈活、攜帶方便、與人民生活關系密切的計算工具,最初大約出現於漢朝,到元朝時漸趨成熟。珠算盤不僅對中國經濟的發展起過有益的作用,而且傳到日本、朝鮮、東南亞等地區,經受了歷史的考驗,至今仍在使用。

中國發明創造指南車、水運渾象儀、記里鼓車、提花機等,不僅對自動控制機械的發展有卓越的貢獻,而且對計算工具的演進產生了直接或間接的影響。例如,張衡製作的水運渾象儀,可以自動地與地球運轉同步,後經唐、宋兩代的改進,遂成為世界上最早的天文鍾。

記里鼓車則是世界上最早的自動計數裝置。提花機原理劉計算機程序控制的發展有過間接的影響。中國古代用陽、陰兩爻構成八卦,也對計算技術的發展有過直接的影響。萊布尼茲寫過研究八卦的論文,系統地提出了二進制算術運演算法則。他認為,世界上最早的二進製表示法就是中國的八卦。

經過漫長的沉寂,新中國成立後,中國計算技術邁入了新的發展時期,先後建立了研究機構,在高等院校建立了計算技術與裝置專業和計算數學專業,並且著手創建中國計算機製造業。

1958年和1959年,中國先後製成第一台小型和大型電子管計算機。60年代中期,中國研製成功一批晶體管計算機,並配製了ALGOL等語言的編譯程序和其他系統軟體。60年代後期,中國開始研究集成電路計算機。70年代,中國已批量生產小型集成電路計算機。80年代以後,中國開始重點研製微型計算機系統並推廣應用;在大型計算機、特別是巨型計算機技術方面也取得了重要進展;建立了計算機服務業,逐步健全了計算機產業結構。

在計算機科學與技術的研究方面,中國在有限元計算方法、數學定理的機器證明、漢字信息處理、計算機系統結構和軟體等方面都有所建樹。在計算機應用方面,中國在科學計算與工程設計領域取得了顯著成就。在有關經營管理和過程式控制制等方面,計算機應用研究和實踐也日益活躍。

計算機科學與技術

計算機科學與技術是一門實用性很強、發展極其迅速的面向廣大社會的技術學科,它建立在數學、電子學 (特別是微電子學)、磁學、光學、精密機械等多門學科的基礎之上。但是,它並不是簡單地應用某些學科的知識,而是經過高度綜合形成一整套有關信息表示、變換、存儲、處理、控制和利用的理論、方法和技術。

計算機科學是研究計算機及其周圍各種現象與規模的科學,主要包括理論計算機科學、計算機系統結構、軟體和人工智慧等。計算機技術則泛指計算機領域中所應用的技術方法和技術手段,包括計算機的系統技術、軟體技術、部件技術、器件技術和組裝技術等。計算機科學與技術包括五個分支學科,即理論計算機科學、計算機系統結構、計算機組織與實現、計算機軟體和計算機應用。

理論計算機學 是研究計算機基本理論的學科。在幾千年的數學發展中,人們研究了各式各樣的計算,創立了許多演算法。但是,以計算或演算法本身的性質為研究對象的數學理論,卻是在20世紀30年代才發展起來的。

當時,由幾位數理邏輯學者建立的演算法理論,即可計算性理論或稱遞歸函數論,對20世紀40年代現代計算機設計思想的形成產生過影響。此後,關於現實計算機及其程序的數學模型性質的研究,以及計算復雜性的研究等不斷有所發展。

理論計算機科學包括自動機論、形式語言理論、程序理論、演算法分析,以及計算復雜性理論等。自動機是現實自動計算機的數學模型,或者說是現實計算機程序的模型,自動機理論的任務就在於研究這種抽象機器的模型;程序設計語言是一種形式語言,形式語言理論根據語言表達能力的強弱分為O~3型語言,與圖靈機等四類自動機逐一對應;程序理論是研究程序邏輯、程序復雜性、程序正確性證明、程序驗證、程序綜合、形式語言學,以及程序設計方法的理論基礎;演算法分析研究各種特定演算法的性質。計算復雜性理論研究演算法復雜性的一般性質。

計算機系統結構 程序設計者所見的計算機屬性,著重於計算機的概念結構和功能特性,硬體、軟體和固件子系統的功能分配及其界面的確定。使用高級語言的程序設計者所見到的計算機屬性,主要是軟體子系統和固件子系統的屬性,包括程序語言以及操作系統、資料庫管理系統、網路軟體等的用戶界面。使用機器語言的程序設計者所見到的計算機屬性,則是硬體子系統的概念結構(硬體子系統結構)及其功能特性,包括指令系統(機器語言),以及寄存器定義、中斷機構、輸入輸出方式、機器工作狀態等。

硬體子系統的典型結構是馮·諾伊曼結構,它由運算器控制器、存儲器和輸入、輸出設備組成,採用「指令驅動」方式。當初,它是為解非線性、微分方程而設計的,並未預見到高級語言、操作系統等的出現,以及適應其他應用環境的特殊要求。在相當長的一段時間內,軟體子系統都是以這種馮·諾伊曼結構為基礎而發展的。但是,其間不相適應的情況逐漸暴露出來,從而推動了計算機系統結構的變革。

計算機組織與實現 是研究組成計算機的功能、部件間的相互連接和相互作用,以及有關計算機實現的技術,均屬於計算機組織與實現的任務。

在計算機系統結構確定分配給硬子系統的功能及其概念結構之後,計算機組織的任務就是研究各組成部分的內部構造和相互聯系,以實現機器指令級的各種功能和特性。這種相互聯系包括各功能部件的布置、相互連接和相互作用。

隨著計算機功能的擴展和性能的提高,計算機包含的功能部件也日益增多,其間的互連結構日趨復雜。現代已有三類互連方式,分別以中央處理器、存儲器或通信子系統為中心,與其他部件互連。以通信子系統為中心的組織方式,使計算機技術與通信技術緊密結合,形成了計算機網路、分布計算機系統等重要的計算機研究與應用領域。

與計算實現有關的技術范圍相當廣泛,包括計算機的元件、器件技術,數字電路技術,組裝技術以及有關的製造技術和工藝等。

軟體 軟體的研究領域主要包括程序設計、基礎軟體、軟體工程三個方面。程序設計指設計和編製程序的過程,是軟體研究和發展的基礎環節。程序設計研究的內容,包括有關的基本概念、規范、工具、方法以及方法學等。這個領域發展的特點是:從順序程序設計過渡到並發程序設計和分幣程序設計;從非結構程序設計方法過渡到結構程序設計方法;從低級語言工具過渡到高級語言工具;從具體方法過渡到方法學。

基礎軟體指計算機系統中起基礎作用的軟體。計算機的軟體子系統可以分為兩層:靠近硬體子系統的一層稱為系統軟體,使用頻繁,但與具體應用領域無關;另一層則與具體應用領域直接有關,稱為應用軟體;此外還有支援其他軟體的研究與維護的軟體,專門稱為支援軟體。

軟體工程是採用工程方法研究和維護軟體的過程,以及有關的技術。軟體研究和維護的全過程,包括概念形成、要求定義、設計、實現、調試、交付使用,以及有關校正性、適應性、完善性等三層意義的維護。軟體工程的研究內容涉及上述全過程有關的對象、結構、方法、工具和管理等方面。

軟體目動研究系統的任務是:在軟體工程中採用形式方法:使軟體研究與維護過程中的各種工作盡可能多地由計算機自動完成;創造一種適應軟體發展的軟體、固件與硬體高度綜合的高效能計算機。

計算機產業

計算機產業包括兩大部門,即計算機製造業和計算機服務業。後者又稱為信息處理產業或信息服務業。計算機產業是一種省能源、省資源、附加價值高、知識和技術密集的產業,對於國民經濟的發展、國防實力和社會進步均有巨大影響。因此,不少國家採取促進計算機產業興旺發達的政策。

計算機製造業包括生產各種計算機系統、外圍設備終端設備,以及有關裝置、元件、器件和材料的製造。計算機作為工業產品,要求產品有繼承性,有很高的性能-價格比和綜合性能。計算機的繼承性特別體現在軟體兼容性方面,這能使用戶和廠家把過去研製的軟體用在新產品上,使價格很高的軟體財富繼續發揮作用,減少用戶再次研製軟體的時間和費用。提高性能-價格比是計算機產品更新的目標和動力。

計算機製造業提供的計算機產品,一般僅包括硬體子系統和部分軟體子系統。通常,軟體子系統中缺少適應各種特定應用環境的應用軟體。為了使計算機在特定環境中發揮效能,還需要設計應用系統和研製應用軟體此外,計算機的運行和維護,需要有掌握專業知識的技術人員,這常常是一股用戶所作不到的。

針對這些社會需要,一些計算機製造廠家十分重視向用戶提供各種技術服務和銷售服務。一些獨立於計算機製造廠家的計算機服務機構,也在50年代開始出現。到60年代末期,計算機服務業在世界范圍內已形成為獨立的行業。

計算機的發展與應用

計算機科學與技術的各門學科相結合,改進了研究工具和研究方法,促進了各門學科的發展。過去,人們主要通過實驗和理論兩種途徑進行科學技術研究。現在,計算和模擬已成為研究工作的第三條途徑。

計算機與有關的實驗觀測儀器相結合,可對實驗數據進行現場記錄、整理、加工、分析和繪制圖表,顯著地提高實驗工作的質量和效率。計算機輔助設計已成為工程設計優質化、自動化的重要手段。在理論研究方面,計算機是人類大腦的延伸,可代替人腦的若干功能並加以強化。古老的數學靠紙和筆運算,現在計算機成了新的工具,數學定理證明之類的繁重腦力勞動,已可能由計算機來完成或部分完成。

計算和模擬作為一種新的研究手段,常使一些學科衍生出新的分支學科。例如,空氣動力學、氣象學、彈性結構力學和應用分析等所面臨的「計算障礙」,在有了高速計算機和有關的計算方法之後開始有所突破,並衍生出計算空氣動力學、氣象數值預報等邊緣分支學科。利用計算機進行定量研究,不僅在自然科學中發揮了重大的作用,在社會科學和人文學科中也是如此。例如,在人口普查、社會調查和自然語言研究方面,計算機就是一種很得力的工具。

計算機在各行各業中的廣泛應用,常常產生顯著的經濟效益和社會效益,從而引起產業結構、產品結構、經營管理和服務方式等方面的重大變革。在產業結構中已出觀了計算機製造業和計算機服務業,以及知識產業等新的行業。

微處理器和微計算機已嵌入機電設備、電子設備、通信設備、儀器儀表和家用電器中,使這些產品向智能化方向發展。計算機被引入各種生產過程系統中,使化工、石油、鋼鐵、電力、機械、造紙、水泥等生產過程的自動化水平大大提高,勞動生產率上升、質量提高、成本下降。計算機嵌入各種武器裝備和武器系統干,可顯著提高其作戰效果。

經營管理方面,計算機可用於完成統計、計劃、查詢、庫存管理、市場分析、輔助決策等,使經營管理工作科學化和高效化,從而加速資金周轉,降低庫存水準,改善服務質量,縮短新產品研製周期,提高勞動生產率。在辦公室自動化方面,計算機可用於文件的起草、檢索和管理等,顯著提高辦公效率。

計算機還是人們的學習工具和生活工具。藉助家用計算機、個人計算機、計算機網、資料庫系統和各種終端設備,人們可以學習各種課程,獲取各種情報和知識,處理各種生活事務(如訂票、購物、存取款等),甚至可以居家辦公。越來越多的人的工作、學習和生活中將與計算機發生直接的或間接的聯系。普及計算機教育已成為一個重要的問題。

總之,計算機的發展和應用已不僅是一種技術現象而且是一種政治、經濟、軍事和社會現象。世界各國都力圖主動地駕馭這種社會計算機化和信息化的進程,克服計算機化過程中可能出現的消極因素,更順利地向高

時代的車輪即將駛進21世紀的大門。人們將怎樣面向未來?無論你從事什麼工作,也不論你生活在什麼地方,都會認識到我們所面臨的世紀是科技高度發展的信息時代。計算機是信息處理的主要工具,掌握計算機知識已成為當代人類文化不可缺少的重要組成部分,計算機技能則是人們工作和生活必不可少的基本手段。
基於這樣的認識,近年來我國掀起了一個全國范圍的學習計算機熱潮,各行各業的人都迫切地要求學習計算機知識和掌握計算機技能。對於廣大的非計算機專業的人們,學習計算機的目的是應用,希望學以致用,立竿見影,而無須從系統理論學起。
掌握計算機技能關鍵是實踐,只有通過大量的實踐應用才能真正深入地掌握它。光靠看書是難以真正掌握計算機應用的。正如同在陸地上是無法學會游泳一樣,要學游泳必須下到水中去。同樣,要學習計算機應用,必須坐到計算機旁,經常地、反復地操作計算機,熟能生巧。只要得法,你在計算機上花的時間愈多,收獲就愈大......
希望對你有幫助

③ 做這份卷子!!!要滿分的!!

1.1GB等於1024*1024*1024*1024B,大概是1.09*10的12次方
2.大規模超大規模集成電路是第四代
3.二進制數101010轉換成10進制數是42,所以都不對
4.3.5英寸軟盤那個是1.44MB
5.十六進A23F轉換成十進制是102315(因為10進制轉二進制數是除二取余,所以十六進制轉十進制是除10取余)
6.使應用軟體能方便、高效地使用這些設備的是操作系統
7.八進制76轉換成二進制是1011100
8.B表示1024*1024*1024*1024*1024位元組
9.十進制10轉換成二進制是1010
10.ROM的意思是只讀存儲器
11.自然的聲音和磁帶式錄音機播放的聲音,都需經過數字化處理才能在計算機中使用
12.在幻燈片的切換中,不可以設置幻燈片切換的顏色
13.信息技術已經經歷了5次革命。
14.搜索關鍵詞時,假如有兩個關鍵詞 A和B,使用「AND」或「OR」,它們分別表示 「AND」表示必須同時包含所有列出的關鍵詞A和B,「OR」表示只需符合所有關鍵詞中的一個A或B
15.下列各選項是我們常見的智能信息處理技術,其中機器翻譯不屬於模式識別
16.判斷信息的價值可以從信息的准確性、客觀性、權威性、時效性和適用性 進行判斷。
17.正確的是 信息是否有價值要它是否同時具備准確性、客觀性、權威性、時效性和適用性。
18.歸功於信息的數字化
19.這門研究分支學科叫模式識別
20.PowerPoint是Office套件中的一個成員,做下面哪一種工作時用它最合適製作演示或演講用的幻燈片
21. 通過網際網路獲取信息的能力已成為信息素養的重要內容。
22.在進行網路信息下載之前,最好先建立分類目錄,這樣做的好處是可以邊下載邊按類別存放,節省後期整理的時間
24.下列哪個不是人工智慧的研究領域人工生命
25.信息是「事物運動的狀態與方式」,這是鍾義信提出的。

那個,都是自己做的哈,15 16 17 18 不是很確定……其他前面的還能肯定是對的,謝謝~

④ 學計算機的都要求數學好嗎尤其是計算能力

學計算機的都要求數學好嗎?尤其是計算能力?

我覺得不需要,學計算機需要邏輯思維能力強,不一定要數學好,覺得最重要的是興趣。沒有興趣,計算機學不下來的。
本專業是計算機硬體與軟體相結合、面向系統、側重應用的寬口徑專業。通過基礎教學與專業訓練,培養基礎知識扎實、知識面寬、工程實踐能力強,具有開拓創新意識,在電腦科學與技術領域從事科學研究、教育、開發和應用的高階人才。本專業開設的主要課程有:電子技術、離散數學、程式設計、資料結構、作業系統、計算機組成原理、微機系統、計算機系統結構、編譯原理、計算機網路、資料庫系統、軟體工程、人工智慧、計算機圖形學、數字影象處理、計算機通訊原理、多媒體資訊處理技術、數字訊號處理、計算機控制、網路計算、演演算法設計與分析、資訊保安、應用密碼學基礎、資訊對抗、移動計算、數論與有限域基礎、人機介面設計、面向物件程式設計等。

大學計算機怎麼學尤其是軟體

自己可以在網上或者在書店看一些資料,現在學習計算機軟體比較難,尤其是要弄明白JAVA或者C語言,首先要把兩個都弄明白了,就可以了~

學計算機需要數學好嗎?

程式設計需要邏輯思維,你邏輯思維好就行,但是邏輯思維好的人往往數學都不錯;其他方向對數學要求沒那麼高,但你學得越深入,越發現邏輯思維重要

怎麼學好初二化學,尤其是計算

我初中的時候很喜歡化學,經常做完習題之後做一本叫做《啟東中學》的化學習題集。我方法比較偏激:多做計算推導題,每天堅持做,就會出效果。其實計算推導題包含了全部的東西,不就是根據條件推出是什麼物質,然後等式配平,計算;這個過程中你需要掌握每種元素,每種化合物是什麼特點才能推匯出來,我們就沖這里開始,每天一練,效果會很明顯,你想做錯都難,就怕你等式忘了配平,別的真不是問題。從簡單的開始,先找找自信,慢慢做難題。試試吧

我想學習計算機,尤其是辦公系統!

先熟練幾個月,買幾張入門光碟看看,就像教幼兒一樣的簡單,有點基礎然後在到學校去學,要不就會白花錢一半會學不到東西

每一個階段計算機的計算能力

到了電晶體計算機時期(1959~1964),主儲存器均採用磁心儲存器,磁鼓和磁碟開始用作主要的輔助儲存器。不僅科學計算用計算機繼續發展,而且中、小型計算機,特別是廉價的小型資料處理用計算機開始大量生產。
1964年,在積體電路計算機發展的同時,計算機也進入了產品系列化的發展時期。半導體儲存器逐步取代了磁心儲存器的主儲存器地位,磁碟成了不可缺少的輔助儲存器,並且開始普遍採用虛擬儲存技術。隨著各種半導體只讀儲存器和可改寫的只讀儲存器的迅速發展,以及微程式技術的發展和應用,計算機系統中開始出現韌體子系統。
20世紀70年代以後,計算機用積體電路的整合度迅速從中小規模發展到大規模、超大規模的水平,微處理器和微型計算機應運而生,各類計算機的效能迅速提高。隨著字長4位、8位、16位、32位和64位的微型計算機相繼問世和廣泛應用,對小型計算機、通用計算機和專用計算機的需求量也相應增長了。
微型計算機在社會上大量應用後,一座辦公樓、一所學校、一個倉庫常常擁有數十台以至數百台計算機。實現它們互連的區域性網隨即興起,進一步推動了計算機應用系統從集中式系統向分散式系統的發展。
在電子管計算機時期,一些計算機配置了組合語言和子程式庫,科學計算用的高階語言FORTRAN初露頭角。在電晶體計算機階段,事務處理的COBOL語言、科學計算機用的ALGOL語言,和符號處理用的LISP等高階語言開始進入實用階段。作業系統初步成型,使計算機的使用方式由手工操作改變為自動作業管理。
進入積體電路計算機發展時期以後,在計算機中形成了相當規模的軟體子系統,高階語言種類進一步增加,作業系統日趨完善,具備批量處理、分時處理、實時處理等多種功能。資料庫管理系統、通訊處理程式、網路軟體等也不斷增添到軟體子系統中。軟體子系統的功能不斷增強,明顯地改變了計算機的使用屬性,使用效率顯著提高。
在現代計算機中,外圍裝置的價值一般已超過計算機硬體子系統的一半以上,其技術水平在很大程度上決定著計算機的技術面貌。外圍裝置技術的綜合性很強,既依賴於電子學、機械學、光學、磁學等多門學科知識的綜合,又取決於精密機械工藝、電氣和電子加工工藝以及計量的技術和工藝水平等。
外圍裝置包括輔助儲存器和輸入輸出裝置兩大類。輔助儲存器包括磁碟、磁鼓、磁帶、鐳射儲存器、海量儲存器和縮微儲存器等;輸入輸出裝置又分為輸入、輸出、轉換、、模式資訊處理裝置和終端裝置。在這些品種繁多的裝置中,對計算機技術面貌影響最大的是磁碟、終端裝置、模式資訊處理裝置和轉換裝置等。
新一代計算機是把資訊採集儲存處理、通訊和人工智慧結合在一起的智慧計算機系統。它不僅能進行一般資訊處理,而且能面向知識處理,具有形式化推理、聯想、學習和解釋的能力,將能幫助人類開拓未知的領域和獲得新的知識。
計算技術在中國的發展 在人類文明發展的歷史上中國曾經在早期計算工具的發明創造方面寫過光輝的一頁。遠在商代,中國就創造了十進位制記數方法,領先於世界千餘年。到了周代,發明了當時最先進的計算工具——算籌。這是一種用竹、木或骨製成的顏色不同的小棍。計算每一個數學問題時,通常編出一套歌訣形式的演演算法,一邊計算,一邊不斷地重新布棍。中國古代數學家祖沖之,就是用算籌計算出圓周率在3.1415926和3.1415927之間。這一結果比西方早一千年。
珠算盤是中國的又一獨創,也是計算工具發展史上的第一項重大發明。這種輕巧靈活、攜帶方便、與人民生活關系密切的計算工具,最初大約出現於漢朝,到元朝時漸趨成熟。珠算盤不僅對中國經濟的發展起過有益的作用,而且傳到日本、朝鮮、東南亞等地區,經受了歷史的考驗,至今仍在使用。
中國發明創造指南車、水運渾象儀、記里鼓車、提花機等,不僅對自動控制機械的發展有卓越的貢獻,而且對計算工具的演進產生了直接或間接的影響。例如,張衡製作的水運渾象儀,可以自動地與地球運轉同步,後經唐、宋兩代的改進,遂成為世界上最早的天文鍾。
記里鼓車則是世界上最早的自動計數裝置。提花機原理劉計算機程式控制的發展有過間接的影響。中國古代用陽、陰兩爻構成八卦,也對計算技術的發展有過直接的影響。萊布尼茲寫過研究八卦的論文,系統地提出了二進位制算術運演演算法則。他認為,世界上最早的二進位製表示法就是中國的八卦。
經過漫長的沉寂,新中國成立後,中國計算技術邁入了新的發展時期,先後建立了研究機構,在高等院校建立了計算技術與裝置專業和計算數學專業,並且著手建立中國計算機製造業。
1958年和1959年,中國先後製成第一台小型和大型電子管計算機。60年代中期,中國研製成功一批電晶體計算機,並配製了ALGOL等語言的編譯程式和其他系統軟體。60年代後期,中國開始研究積體電路計算機。70年代,中國已批量生產小型積體電路計算機。80年代以後,中國開始重點研製微型計算機系統並推廣應用;在大型計算機、特別是巨型計算機技術方面也取得了重要進展;建立了計算機服務業,逐步健全了計算機產業結構。
在電腦科學與技術的研究方面,中國在有限元計算方法、數學定理的機器證明、漢字資訊處理、計算機系統結構和軟體等方面都有所建樹。在計算機應用方面,中國在科學計算與工程設計領域取得了顯著成就。在有關經營管理和過程式控制制等方面,計算機應用研究和實踐也日益活躍。

網路一下,你就知道

學習計算機需要數學好嗎

不需要 需要你的腦子靈活 但是學習數學能提高你腦子的反應能力 對學計算機也有好處

學習計算機是需要一定的數學基礎,但不需要很多很好。

按計算機的計算能力來分類,計算機可以分為……

按功能分類 按計算機的功能分類,一般可分為專用計算與通用計算機。專用計算機功能單一,可靠性高,結構簡單,適應性差。但在特定用途下最有效、最經濟、最快速,是其他計算機無法替代的。如軍事系統、銀行系統屬專用計算機。 通用計算機功能齊全,適應性強,目前人們所使用的大都是通用計算機。

⑤ 什麼不屬於人工智慧研究領域

人工生命。
人工智慧研究領域包括機器證明,模式識別和編譯原理,不包括人工生命。
人工智慧它是研究、開發用於模擬、延伸和擴展人的智能的理論、方法、技術及應用系統的一門新的技術科學。

⑥ 哪個不是人工智慧的研究領域()

編譯原理。
人工智慧的研究領域有機器證明、模式識別、人工生命等。
機器證明的核心內容主要是幾何定理機器證明和非線性代數方程組理論、演算法和應用。

⑦ 編譯器的工作原理

編譯 是從源代碼(通常為高級語言)到能直接被計算機或虛擬機執行的目標代碼(通常為低級語言或機器語言)的翻譯過程。然而,也存在從低級語言到高級語言的編譯器,這類編譯器中用來從由高級語言生成的低級語言代碼重新生成高級語言代碼的又被叫做反編譯器。也有從一種高級語言生成另一種高級語言的編譯器,或者生成一種需要進一步處理的的中間代碼的編譯器(又叫級聯)。
典型的編譯器輸出是由包含入口點的名字和地址, 以及外部調用(到不在這個目標文件中的函數調用)的機器代碼所組成的目標文件。一組目標文件,不必是同一編譯器產生,但使用的編譯器必需採用同樣的輸出格式,可以鏈接在一起並生成可以由用戶直接執行的EXE,
所以我們電腦上的文件都是經過編譯後的文件。

⑧ 編譯原理的發展歷程


在20世紀40年代,由於馮·諾伊曼在存儲-程序計算機方面的先鋒作用,編寫一串代碼或程序已成必要,這樣計算機就可以執行所需的計算。開始時,這些程序都是用機器語言 (machine language )編寫的。機器語言就是表示機器實際操作的數字代碼,例如:
C7 06 0000 0002 表示在IBM PC 上使用的Intel 8x86處理器將數字2移至地址0 0 0 0 (16進制)的指令。
但編寫這樣的代碼是十分費時和乏味的,這種代碼形式很快就被匯編語言(assembly language )代替了。在匯編語言中,都是以符號形式給出指令和存儲地址的。例如,匯編語言指令 MOV X,2 就與前面的機器指令等價(假設符號存儲地址X是0 0 0 0 )。匯編程序(assembler )將匯編語言的符號代碼和存儲地址翻譯成與機器語言相對應的數字代碼。
匯編語言大大提高了編程的速度和准確度,人們至今仍在使用著它,在編碼需要極快的速度和極高的簡潔程度時尤為如此。但是,匯編語言也有許多缺點:編寫起來也不容易,閱讀和理解很難;而且匯編語言的編寫嚴格依賴於特定的機器,所以為一台計算機編寫的代碼在應用於另一台計算機時必須完全重寫。
發展編程技術的下一個重要步驟就是以一個更類似於數學定義或自然語言的簡潔形式來編寫程序的操作,它應與任何機器都無關,而且也可由一個程序翻譯為可執行的代碼。例如,前面的匯編語言代碼可以寫成一個簡潔的與機器無關的形式 x = 2。
在1954年至1957年期間,IBM的John Backus帶領的一個研究小組對FORTRAN語言及其編譯器的開發,使得上面的擔憂不必要了。但是,由於當時處理中所涉及到的大多數程序設計語言的翻譯並不為人所掌握,所以這個項目的成功也伴隨著巨大的辛勞。幾乎與此同時,人們也在開發著第一個編譯器, Noam Chomsky開始了他的自然語言結構的研究。他的發現最終使得編譯器結構異常簡單,甚至還帶有了一些自動化。Chomsky的研究導致了根據語言文法(grammar ,指定其結構的規則)的難易程度以及識別它們所需的演算法來為語言分類。正如現在所稱的-與喬姆斯基分類結構(Chomsky hierarchy )一樣-包括了文法的4個層次:0型、1型、2型和3型文法,且其中的每一個都是其前者的專門化。2型(或上下文無關文法(context-free grammar ))被證明是程序設計語言中最有用的,而且今天它已代表著程序設計語言結構的標准方式。
分析問題( parsing problem ,用於限定上下文無關語言的識別的有效演算法)的研究是在20世紀60年代和70年代,它相當完善地解決了這一問題, 現在它已是編譯理論的一個標准部分。它們與喬姆斯基的3型文法相對應。對它們的研究與喬姆斯基的研究幾乎同時開始,並且引出了表示程序設計語言的單詞(或稱為記號)的符號方式。
人們接著又深化了生成有效的目標代碼的方法,這就是最初的編譯器,它們被一直使用至今。人們通常將其誤稱為優化技術(optimization technique ),但因其從未真正地得到過被優化了的目標代碼而僅僅改進了它的有效性,因此實際上應稱作代碼改進技術(code improvement technique )。
這些程序最初被稱為編譯程序-編譯器,但更確切地應稱為分析程序生成器 (parser generator ),這是因為它們僅僅能夠自動處理編譯的一部分。這些程序中最著名的是 Yacc (yet another compiler- compiler),它是由Steve Johnson在1975年為Unix系統編寫的。
類似地,有窮自動機的研究也發展了另一種稱為掃描程序生成器 (scanner generator )的工具,Lex (與Yacc同時,由Mike Lesk為Unix系統開發的)是這其中的佼佼者。在20世紀70年代後期和80年代早期,大量的項目都關注於編譯器其他部分的生成自動化,這其中就包括代碼生成。這些嘗試並未取得多少成功,這大概是因為操作太復雜而人們又對其不甚了解。
編譯器設計最近的發展包括:首先,編譯器包括了更為復雜的演算法的應用程序,它用於推斷或簡化程序中的信息;這又與更為復雜的程序設計語言(可允許此類分析)的發展結合在一起。其中典型的有用於函數語言編譯的Hindle y - Milner類型檢查的統一演算法。
其次,編譯器已越來越成為基於窗口的交互開發環境(interactive development environment,IDE )的一部 分,它包括了編輯器、鏈接程序、調試程序以及項目管理程序。這樣的IDE的標准並沒有多少, 但是已沿著這一方向對標準的窗口環境進行開發了。

閱讀全文

與機器證明編譯原理相關的資料

熱點內容
什麼app是分享教育的 瀏覽:896
可視化編程java 瀏覽:83
人工智慧溫控器演算法 瀏覽:376
大號文件夾多少錢一個 瀏覽:572
pdf閱讀器打開文件 瀏覽:98
winrar解壓日文文件 瀏覽:38
什麼app可以看廣東珠江電視台 瀏覽:75
linux移動文件位置 瀏覽:144
循環碼與卷積碼編譯原理 瀏覽:807
進化演算法和啟發式演算法的區別 瀏覽:602
android組件是什麼 瀏覽:973
安卓手機微信怎麼同步信息 瀏覽:181
小人pdf 瀏覽:806
我的世界伺服器怎麼造好看的建築 瀏覽:307
兄弟連培訓php多少錢 瀏覽:250
1523鋪地面的演算法 瀏覽:747
linux源碼安裝php環境 瀏覽:822
ping命令用法 瀏覽:718
日本海軍pdf 瀏覽:469
哪個app有大臉特效 瀏覽:141