Goedel語言是一種說明性邏輯程序設(shè)計(jì)語言。該語言基于一階邏輯，引入了一個(gè)多態(tài)多類的類型系統(tǒng)和多種新的語言成分，支持抽象數(shù)據(jù)類型和模塊化程序設(shè)計(jì)等技術(shù)，語言本身也具有很強(qiáng)的說明性語義。詳細(xì)介紹了Goedel語言的類型系統(tǒng)及其構(gòu)造，對(duì)在邏輯程序設(shè)計(jì)語言中引入類型系統(tǒng)的作用進(jìn)行了一些深入的分析和討論。[
資源簡(jiǎn)介：C語言程序設(shè)計(jì)_pdf C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選。 本書共10章，分別介紹了C語言的算法基礎(chǔ)、基本概念和如何利用C語言進(jìn)行程序設(shè)計(jì)。通過大量的實(shí)例介紹了C語言的精華，特別針對(duì)目前...
上傳時(shí)間： 2013-11-30
上傳用戶：myworkpost
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選。 本書共10章，分別介紹了C語言的算法基礎(chǔ)、基本概念和如何利用C語言進(jìn)行程序設(shè)計(jì)。通過大量的實(shí)例介紹了C語言的精華，特別針對(duì)目前C語言的發(fā)展，精心策...
上傳時(shí)間： 2013-12-29
上傳用戶：firstbyte
資源簡(jiǎn)介：迭代法是用于求方程或方程組近似根的一種常用的算法設(shè)計(jì)方法。
上傳時(shí)間： 2015-08-14
上傳用戶：徐孺
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選 第一章
上傳時(shí)間： 2017-01-07
上傳用戶：1079836864
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選 第二章
上傳時(shí)間： 2017-01-07
上傳用戶：dragonhaixm
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選 第三章
上傳時(shí)間： 2014-06-12
上傳用戶：lindor
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選 第四章
上傳時(shí)間： 2017-01-07
上傳用戶：四只眼
資源簡(jiǎn)介：C語言是目前流行的通用程序設(shè)計(jì)語言，是許多計(jì)算機(jī)專業(yè)人員和計(jì)算機(jī)的愛好者學(xué)習(xí)程序設(shè)計(jì)語言的首選 第五章
上傳時(shí)間： 2013-12-24
上傳用戶：wcl168881111111
資源簡(jiǎn)介：動(dòng)態(tài)規(guī)劃是對(duì)最優(yōu)化問題的一種新的算法設(shè)計(jì)方法。由于各種問題的性質(zhì)不同，確定最優(yōu)解的條件也互不相同，因而動(dòng)態(tài)規(guī)劃的沒計(jì)法對(duì)不同的問題，有各具特色的表示方式。
上傳時(shí)間： 2017-03-05
上傳用戶：hustfanenze
資源簡(jiǎn)介：Kermit Kermit文件運(yùn)輸協(xié)議 Kermit文件運(yùn)輸協(xié)議是用于在PC之間交換文件的一種簡(jiǎn)單的文件運(yùn)輸協(xié)議。該協(xié)議是哥侖比亞大學(xué)開發(fā)的，由于在Kermit the Frog之后而獲得此名。它提供了一條從大型計(jì)算機(jī)下載文件到微機(jī)的途徑。它已被用于進(jìn)行公用數(shù)據(jù)傳輸
上傳時(shí)間： 2013-12-24
上傳用戶：咔樂塢
資源簡(jiǎn)介：摘 要:在分析人工魚群算法存在不足的基礎(chǔ)上,對(duì)人工魚群算法加以改進(jìn),提出了一種改進(jìn)型人工魚群算 法。該算法提高了全局搜索能力和收斂速度,并用于求解具有變量邊界約束的非線性復(fù)雜函數(shù)最優(yōu)化問題。 仿真結(jié)果表明,改進(jìn)后的人工魚群算法具有精度高、搜索速度...
上傳時(shí)間： 2013-12-23
上傳用戶：cainaifa
資源簡(jiǎn)介：摘 要:在分析人工魚群算法存在不足的基礎(chǔ)上,對(duì)人工魚群算法加以改進(jìn),提出了一種改進(jìn)型人工魚群算 法。該算法提高了全局搜索能力和收斂速度,并用于求解具有變量邊界約束的非線性復(fù)雜函數(shù)最優(yōu)化問題。 仿真結(jié)果表明,改進(jìn)后的人工魚群算法具有精度高、搜索速度...
上傳時(shí)間： 2013-12-12
上傳用戶：asasasas
資源簡(jiǎn)介：控制局域網(wǎng)CAN(Controller Area Network) 是20 世紀(jì)80 年代初德國(guó)Bosch 公司為解決眾多的控制設(shè)備和測(cè) 試儀器之間的數(shù)據(jù)交換而開發(fā)的一種串行數(shù)據(jù)通訊協(xié)議。本文介紹了一種客車車身CAN 總線網(wǎng)絡(luò)控制系統(tǒng), 通過 研究CAN 2.0B 規(guī)范, 制定了符合該系統(tǒng)的通訊協(xié)...
上傳時(shí)間： 2016-08-28
上傳用戶：chenbhdt
資源簡(jiǎn)介：Goedel語言是一種說明性邏輯程序設(shè)計(jì)語言。該語言基于一階邏輯，引入了一個(gè)多態(tài)多類的類型系統(tǒng)和多種新的語言成分，支持抽象數(shù)據(jù)類型和模塊化程序設(shè)計(jì)等技術(shù)，語言本身也具有很強(qiáng)的說明性語義。詳細(xì)介紹了Goedel語言的類型系統(tǒng)及其構(gòu)造，對(duì)在邏輯程序設(shè)計(jì)語言...
上傳時(shí)間： 2014-11-26
上傳用戶：BIBI
資源簡(jiǎn)介：在遠(yuǎn)距離數(shù)據(jù)傳輸中進(jìn)行差錯(cuò)控制一種重要的方法CRC算法。程序是用C語言實(shí)現(xiàn)。內(nèi)有詳細(xì)解釋，可讀性和移植性強(qiáng)。
上傳時(shí)間： 2014-01-08
上傳用戶：佳期如夢(mèng)
資源簡(jiǎn)介：java是一種面向?qū)ο蟪绦虻恼Z言,我這里介紹了有關(guān)java課件的許多事例,它能幫助剛?cè)腴T的人
上傳時(shí)間： 2013-12-20
上傳用戶：qlpqlq
資源簡(jiǎn)介：AM12864液晶顯示單片機(jī)驅(qū)動(dòng)程序：AM12864是一種128*64的點(diǎn)陣液晶。這是一個(gè)AM12864的C語言單片機(jī)驅(qū)動(dòng)程序。
上傳時(shí)間： 2014-01-19
上傳用戶：sdq_123
資源簡(jiǎn)介：Python是一種不復(fù)雜但很健全的編程語言。它不光具備傳統(tǒng)編譯型程序設(shè)計(jì)語言強(qiáng)大的功能和復(fù)雜性，還在某種程度上具備比較簡(jiǎn)單的腳本和解釋型程序設(shè)計(jì)語言的易用性。該書向讀者介紹了這種語言的核心內(nèi)容，并展示了Python語言可以完成哪些任務(wù)。其主要內(nèi)容包括：...
上傳時(shí)間： 2016-04-19
上傳用戶：kernaling
資源簡(jiǎn)介：PLC是以微處理器為核心的工業(yè)控制裝置。在工業(yè)控制中,常常需要對(duì)PLC所采集的數(shù)據(jù)和工作狀態(tài)進(jìn)行監(jiān)測(cè)控制,Visual C++是一種Windows應(yīng)用程序開發(fā)工具,在圖形處理和數(shù)據(jù)庫管理等方面具有較強(qiáng)的功能,用它來實(shí)現(xiàn)底層的通信控制有著更快的速度。本文旨在探討用可視...
上傳時(shí)間： 2014-01-09
上傳用戶：lacsx
資源簡(jiǎn)介：該軟件是一種分割引擎程序，主要在unix平臺(tái)上用matlab和c/c++語言編寫，很好很強(qiáng)大！
上傳時(shí)間： 2013-12-20
上傳用戶：13215175592
資源簡(jiǎn)介：棧(stack)是程序設(shè)計(jì)過程中經(jīng)常遇到朝氣一種數(shù)據(jù)結(jié)構(gòu)形式，它對(duì)于數(shù)據(jù)的存放和操作有下面這樣的特點(diǎn)： 1) 它只有一個(gè)對(duì)數(shù)據(jù)進(jìn)行存入和取出的端口； 2) 后進(jìn)者先出，即最后被存入的數(shù)據(jù)將首先被取出。其形式很象一種存儲(chǔ)硬幣的小容器，每次只可以從頂端壓入一...
上傳時(shí)間： 2013-12-03
上傳用戶：225588
資源簡(jiǎn)介：UC/FS做的文件系統(tǒng)很好.高版本的一般只有庫文件.CF卡是一種很方便的存儲(chǔ)設(shè)備。網(wǎng)上可得到的CF卡的驅(qū)動(dòng)程序少三個(gè)文件：初始化、讀和寫。本代碼測(cè)試讀寫成功。
上傳時(shí)間： 2015-04-22
上傳用戶：hustfanenze
資源簡(jiǎn)介：是一個(gè)能夠?qū)⑷魏我纛l文件從一種格式轉(zhuǎn)換到另一種格式的程序.軟件支持時(shí)下最流行的MP3,WMA,OGG,WAV等格式.它也支持更改MP3或WMA格式音頻文件的位率.轉(zhuǎn)換速度快捷,轉(zhuǎn)換效果出眾.此外,有了轉(zhuǎn)換列表,您可以一次就輕松地轉(zhuǎn)換大量的音頻文件.它還支持一些非常有用...
上傳時(shí)間： 2016-07-11
上傳用戶：stvnash
資源簡(jiǎn)介：是一本關(guān)于matlab程序設(shè)計(jì)語言的電子書,是由西安電子科技大學(xué)出版社出版的
上傳時(shí)間： 2016-11-03
上傳用戶：epson850
資源簡(jiǎn)介：本書是由C語言的設(shè)計(jì)者Brian W. Kernighan和Dennis M. Ritchie編寫的一部介紹標(biāo)準(zhǔn)C語言及其程序設(shè)計(jì)方法的權(quán)威性經(jīng)典著作。一本必讀的程序設(shè)計(jì)語言方面的參考書。
上傳時(shí)間： 2014-06-20
上傳用戶：cccole0605
資源簡(jiǎn)介：一種實(shí)現(xiàn)計(jì)算機(jī)接口rs232與FPGA通信的基于VHDL語言設(shè)計(jì)的一段非常簡(jiǎn)潔的程序
上傳時(shí)間： 2014-01-09
上傳用戶：cazjing
資源簡(jiǎn)介：經(jīng)典C語言程序設(shè)計(jì)事例,是一本初學(xué)者的C語言程序設(shè)計(jì)書籍。
上傳時(shí)間： 2017-06-04
上傳用戶：jyycc
資源簡(jiǎn)介：一本介紹并行程序設(shè)計(jì)語言MPI的電子書，是您學(xué)習(xí)MPI并行程序設(shè)計(jì)時(shí)值得參考的東西。 MPI并行程序設(shè)計(jì)
上傳時(shí)間： 2014-01-26
上傳用戶：qq521
資源簡(jiǎn)介：數(shù)據(jù)庫的一種完全面向?qū)ο笤O(shè)計(jì)模式 面向?qū)ο螅∣O）方法這個(gè)名字早已深入人心，它的科學(xué)性和合理性也已毋庸置疑。 正在裝載數(shù)據(jù)…… 人們動(dòng)輒將自己開發(fā)的軟件冠以“采用面向?qū)ο蠓椒ㄔO(shè)計(jì)”以示其先進(jìn)性就是一個(gè)極好的證明。然而，一個(gè)先進(jìn)的方法學(xué)必須有...
上傳時(shí)間： 2016-04-06
上傳用戶：lxm
資源簡(jiǎn)介：SOPC是一種新的系統(tǒng)設(shè)計(jì)技術(shù)，也是一種新的軟硬件綜合設(shè)計(jì)技術(shù)。通過它，可以很快地將硬件系統(tǒng)（包括微處理器，存儲(chǔ)器，外設(shè)以及用戶邏輯電路等）和軟件設(shè)計(jì)都放在一個(gè)可編程的芯片中，以達(dá)到系統(tǒng)的IC設(shè)計(jì).
上傳時(shí)間： 2014-01-24
上傳用戶：iswlkje
