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

內(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ī)研究人員的參考書。

書籍目錄

前 言
第一章 基本數(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程序存儲(chǔ)器和運(yùn)算存儲(chǔ)器
2.1.3控制器
2.1.4指令庫的擴(kuò)充，變址寄存器，地址運(yùn)算及程序例子
2.1.5一個(gè)分類程序
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程序存儲(chǔ)器中程序的可轉(zhuǎn)移性
2.3子程序技術(shù)
2.3.1子程序技術(shù)的要求
2.3.2機(jī)器狀態(tài)的擴(kuò)充
2.3.3狄克語言和括號表達(dá)式
2.3.4棧自動(dòng)機(jī)或下推自動(dòng)機(jī)
2.3.5句法正確的程序
2.3.6機(jī)器的結(jié)構(gòu)
2.3.7運(yùn)算存儲(chǔ)器的頁面式管理
2.3.8一個(gè)例子
2.3.9運(yùn)算存儲(chǔ)器的動(dòng)態(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有限自動(dòng)機(jī)和時(shí)序電路
3.3.6正則集
3.3.7有限自動(dòng)機(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一個(gè)關(guān)于乘法的微程序
3.4.9存儲(chǔ)器
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)

圖書封面

評論、評分、閱讀與下載

---

    計(jì)算機(jī)科學(xué)導(dǎo)論 PDF格式下載

---