多范型程序設(shè)計(jì)語(yǔ)言

定　價(jià)：￥23.50

作　者：	顧保磊編著
出版社：	科學(xué)出版社
叢編項(xiàng)：	21世紀(jì)高等院校創(chuàng)新教材
標(biāo)　簽：	程序設(shè)計(jì)語(yǔ)言高等學(xué)校教材

購(gòu)買這本書可以去

中國(guó)圖書網(wǎng) (￥21.20)

ISBN：	9787030168665	出版時(shí)間：	2006-02-01	包裝：	平裝
開本：	16開	頁(yè)數(shù)：	241	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

本書主要介紹程序設(shè)計(jì)語(yǔ)言范型中幾種具有代表性的程序設(shè)計(jì)語(yǔ)言。全書共分為四篇：第一篇為模塊化程序設(shè)計(jì)語(yǔ)言，介紹了Ada，Moduld-2的基本概念和特點(diǎn)，以及程序設(shè)計(jì)的方法；第二篇為函數(shù)式程序設(shè)計(jì)語(yǔ)言，介紹了Scheme，SML和Haskell三種程序設(shè)計(jì)語(yǔ)言，闡述了它們的特點(diǎn)以及如何使用函數(shù)式語(yǔ)言編寫程序；第三篇為面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言，介紹了純面向?qū)ο笳Z(yǔ)言Smalltalk，集中體現(xiàn)了類的繼承、封裝、多態(tài)等特性；第四篇為邏輯式程序設(shè)計(jì)語(yǔ)言，介紹了一種邏輯推理很強(qiáng)的人工智能語(yǔ)言 Prolog，以及利用這種語(yǔ)言進(jìn)行問題求解的過程。本書可作為相關(guān)程序設(shè)計(jì)語(yǔ)言課程教材，對(duì)學(xué)習(xí)程序設(shè)計(jì)方法學(xué)和程序設(shè)計(jì)語(yǔ)言原理等課程也有所借鑒和幫助，還可作為從事程序設(shè)計(jì)的軟件開發(fā)人員及計(jì)算機(jī)技術(shù)愛好者的參考用書。

作者簡(jiǎn)介

暫缺《多范型程序設(shè)計(jì)語(yǔ)言》作者簡(jiǎn)介

圖書目錄

序
前言
第一篇模塊化程序設(shè)計(jì)語(yǔ)言
第1章Ada語(yǔ)言
I.1引論
1.2基本數(shù)據(jù)類型和表達(dá)式
l.3組合數(shù)據(jù)類型
1.4控制結(jié)構(gòu)
1.5子程序
1.6程序包
1.7異常
1.8訪問類型
1.9類屬單元
1.10文件
第2章Modula一2語(yǔ)言
2.1引論
2.2數(shù)
2.3常量、變量與數(shù)據(jù)類型
2.4布爾類型與字符類型
2.5基本控制語(yǔ)句
2.6枚舉類型與子界類型
2.7數(shù)組與記錄
2.8過程與函數(shù)
2.9集合類型
2.10動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)
2.11模塊
2.12I／0流
第二篇函數(shù)式程序設(shè)計(jì)語(yǔ)言
第3章Scheme語(yǔ)言
3.1引論
3.2數(shù)、表達(dá)式與簡(jiǎn)單程序
3.3復(fù)合數(shù)據(jù)
3.4函數(shù)
3.5控制結(jié)構(gòu)
3.6輸入輸出
第4章SML語(yǔ)言
4.1引論
4.2數(shù)據(jù)對(duì)象與運(yùn)算符
4.3控制表達(dá)式
4.4函數(shù)
4.5異常
第5章Haskell語(yǔ)言
5.1引論
5.2數(shù)據(jù)類型
5.3函數(shù)
5.4數(shù)列
5.5輸入輸出
第三篇面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言
第6章smalltalk語(yǔ)言
6.1引論
6.2對(duì)象與消息
6.3控制結(jié)構(gòu)
6.4類與方法
6.5繼承性與多態(tài)性
第四篇邏輯式程序設(shè)計(jì)語(yǔ)言
第7章Prolog語(yǔ)言
7.1引論
7.2Prolog的三個(gè)基本語(yǔ)句
7.3數(shù)據(jù)結(jié)構(gòu)與遞歸
總習(xí)題
參考文獻(xiàn)