計(jì)算機(jī)科學(xué)導(dǎo)論

定　價(jià)：￥33.00

作　者：	（德）岡特·霍茨著；石茵譯
出版社：	北京航空航天大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	電子計(jì)算機(jī)

ISBN：	9787810128131	出版時(shí)間：	1999-02-01	包裝：	平裝
開本：	26cm	頁數(shù)：	321	字?jǐn)?shù)：

內(nèi)容簡介

　　本書作者把計(jì)算機(jī)的理論以數(shù)學(xué)為基礎(chǔ)作為出發(fā)點(diǎn)，從簡單的程序編制入手，逐步引導(dǎo)出計(jì)算機(jī)的結(jié)構(gòu)。全書共分四章。第一章介紹了基本數(shù)學(xué)概念。第二章介紹建立計(jì)算機(jī)模型，引進(jìn)了模擬的概念作為理解算法正確性的一種方法。第三章引導(dǎo)讀者了解計(jì)算機(jī)原理，介紹了組合電路、雙穩(wěn)態(tài)開關(guān)電路和觸發(fā)器，概述了用開關(guān)電路來實(shí)現(xiàn)微程序。第四章介紹了高級程序設(shè)計(jì)語言的理論，對各種數(shù)據(jù)類型及其上的運(yùn)算作了詳細(xì)描述。該書可供大專院校計(jì)算機(jī)專業(yè)的師生作為教科書，教學(xué)參考書以及作為從事計(jì)算機(jī)研究人員的參考書。

作者簡介

暫缺《計(jì)算機(jī)科學(xué)導(dǎo)論》作者簡介

圖書目錄

    前言
   第一章基本數(shù)學(xué)概念
    1.1符號表示法
    1.2半群和獨(dú)異點(diǎn)
    1.3子半群、子獨(dú)異點(diǎn)、同態(tài)及生成元系統(tǒng)
    1.4獨(dú)異點(diǎn)的商
    1.5簡單程序
    1.6習(xí) 題
   第二章簡單電子計(jì)算機(jī)的數(shù)學(xué)模型
    2.1數(shù)學(xué)計(jì)算機(jī)的定義
    2.1.1機(jī)器的初級劃分
    2.1.2程序存儲器和運(yùn)算存儲器
    2.1.3控制器
    2.1.4指令庫的擴(kuò)充，變址寄存器，地址運(yùn)算及程序例子
    2.1.5一個分類程序
    2.2計(jì)算機(jī)的形式定義及模擬概念
    2.2.1抽象計(jì)算機(jī)及計(jì)算
    2.2.2模擬
    2.2.3模擬示例及模擬概念的進(jìn)一步發(fā)展
    2.2.4部分模擬和關(guān)系模擬
    2.2.5特殊模擬和封閉性
    2.2.6程序存儲器中程序的可轉(zhuǎn)移性
    2.3子程序技術(shù)
    2.3.1子程序技術(shù)的要求
    2.3.2機(jī)器狀態(tài)的擴(kuò)充
    2.3.3狄克語言和括號表達(dá)式
    2.3.4棧自動機(jī)或下推自動機(jī)
    2.3.5句法正確的程序
    2.3.6機(jī)器的結(jié)構(gòu)
    2.3.7運(yùn)算存儲器的頁面式管理
    2.3.8一個例子
    2.3.9運(yùn)算存儲器的動態(tài)管理
    2.4習(xí) 題
   第三章組合電路和時(shí)序電路
    3.1序言
    3.2開關(guān)函數(shù)的布爾代數(shù)
    3.2.1開關(guān)函數(shù)的定義及例子
    3.2.2開關(guān)函數(shù)的布爾代數(shù)
    3.2.3布爾表達(dá)式和組合電路
    3.2.4電路計(jì)算和運(yùn)行時(shí)間
    3.2.5最小多項(xiàng)式
    3.2.6開關(guān)函數(shù)n維立方體和圖
    3.2.7布爾電路
    3.3時(shí)序電路
    3.3.1D觸發(fā)器
    3.3.2R－S觸發(fā)器
    3.3.3R－S觸發(fā)器的函數(shù)性質(zhì)的利用
    3.3.4解布爾方程組
    3.3.5有限自動機(jī)和時(shí)序電路
    3.3.6正則集
    3.3.7有限自動機(jī)的乘積
    3.3.8線性時(shí)序電路
    3.3.9時(shí)序電路的其他描述
    3.4微程序設(shè)計(jì)
    3.4.1程序設(shè)計(jì)語言初步
    3.4.2微程序的數(shù)據(jù)結(jié)構(gòu)
    3.4.3微程序設(shè)計(jì)的基本運(yùn)算
    3.4.4微程序的結(jié)構(gòu)
    3.4.5微程序的句法
    3.4.6微程序的語義
    3.4.7微程序的電路實(shí)現(xiàn)
    3.4.8一個關(guān)于乘法的微程序
    3.4.9存儲器
    3.4.10微程序器
    3.4.11結(jié)束語
    3.5習(xí) 題
   第四章程序設(shè)計(jì)語言
    4.1基本概念
    4.1.1序言
    4.1.2程序例子和指令
    4.1.3實(shí)數(shù)據(jù)類型
    4.1.4字符串?dāng)?shù)據(jù)類型
    4.1.5表數(shù)據(jù)類型
    4.1.6句子數(shù)據(jù)類型
    4.1.7布爾數(shù)據(jù)類型和集合數(shù)據(jù)類型
    4.2非結(jié)構(gòu)化的程序
    4.2.1賦值、變量、常量和類型
    4.2.2表達(dá)式
    4.2.3簡單程序
    4.2.4控制語句的刪除
    4.2.5表達(dá)式的刪除
    4.3子程序
    4.3.1引言
    4.3.2子程序和程序的句法
    4.3.3PSp程序的語義
    4.4數(shù)據(jù)結(jié)構(gòu)
    4.4.1數(shù)據(jù)場或數(shù)組
    4.4.2記錄
    4.4.3可變數(shù)組數(shù)據(jù)類型
    4.4.4模塊概念
    4.5化簡
    4.5.1子程序的消除
    4.6正規(guī)數(shù)據(jù)類型和字典
    4.6.1正規(guī)數(shù)據(jù)類型的層次化
    4.7程序設(shè)計(jì)語言的不完備性
    4.7.1理發(fā)師的自相矛盾
    4.7.2無窮二進(jìn)制小數(shù)的不可數(shù)性
    4.7.3程序設(shè)計(jì)語言的不完備性
    4.8習(xí) 題
    參考文獻(xiàn)