計算機科學導論

    前 言
   第一章 基本數(shù)學概念
    1.1符號表示法
    1.2半群和獨異點
    1.3子半群、子獨異點、同態(tài)及生成元系統(tǒng)
    1.4獨異點的商
    1.5簡單程序
    1.6習 題
   第二章 簡單電子計算機的數(shù)學模型
    2.1數(shù)學計算機的定義
    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習 題
   第三章 組合電路和時序電路
    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微程序設計
    3.4.1程序設計語言初步
    3.4.2微程序的數(shù)據(jù)結(jié)構(gòu)
    3.4.3微程序設計的基本運算
    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習 題
   第四章 程序設計語言
    4.1基本概念
    4.1.1序 言
    4.1.2程序例子和指令
    4.1.3實數(shù)據(jù)類型
    4.1.4字符串數(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程序設計語言的不完備性
    4.7.1理發(fā)師的自相矛盾
    4.7.2無窮二進制小數(shù)的不可數(shù)性
    4.7.3程序設計語言的不完備性
    4.8習 題
    參考文獻