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

定　價：￥33.00

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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