計(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í) 題
   第三章 組合電路和時序電路
    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)行時間
    3.2.5最小多項(xiàng)式
    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有限自動機(jī)和時序電路
    3.3.6正則集
    3.3.7有限自動機(jī)的乘積
    3.3.8線性時序電路
    3.3.9時序電路的其他描述
    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)