計算機科學導論

    前 言
   第一章 基本數學概念
    1.1符號表示法
    1.2半群和獨異點
    1.3子半群、子獨異點、同態(tài)及生成元系統(tǒng)
    1.4獨異點的商
    1.5簡單程序
    1.6習 題
   第二章 簡單電子計算機的數學模型
    2.1數學計算機的定義
    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部分模擬和關系模擬
    2.2.5特殊模擬和封閉性
    2.2.6程序存儲器中程序的可轉移性
    2.3子程序技術
    2.3.1子程序技術的要求
    2.3.2機器狀態(tài)的擴充
    2.3.3狄克語言和括號表達式
    2.3.4棧自動機或下推自動機
    2.3.5句法正確的程序
    2.3.6機器的結構
    2.3.7運算存儲器的頁面式管理
    2.3.8一個例子
    2.3.9運算存儲器的動態(tài)管理
    2.4習 題
   第三章 組合電路和時序電路
    3.1序 言
    3.2開關函數的布爾代數
    3.2.1開關函數的定義及例子
    3.2.2開關函數的布爾代數
    3.2.3布爾表達式和組合電路
    3.2.4電路計算和運行時間
    3.2.5最小多項式
    3.2.6開關函數n維立方體和圖
    3.2.7布爾電路
    3.3時序電路
    3.3.1D觸發(fā)器
    3.3.2R－S觸發(fā)器
    3.3.3R－S觸發(fā)器的函數性質的利用
    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微程序的數據結構
    3.4.3微程序設計的基本運算
    3.4.4微程序的結構
    3.4.5微程序的句法
    3.4.6微程序的語義
    3.4.7微程序的電路實現
    3.4.8一個關于乘法的微程序
    3.4.9存儲器
    3.4.10微程序器
    3.4.11結束語
    3.5習 題
   第四章 程序設計語言
    4.1基本概念
    4.1.1序 言
    4.1.2程序例子和指令
    4.1.3實數據類型
    4.1.4字符串數據類型
    4.1.5表數據類型
    4.1.6句子數據類型
    4.1.7布爾數據類型和集合數據類型
    4.2非結構化的程序
    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數據結構
    4.4.1數據場或數組
    4.4.2記 錄
    4.4.3可變數組數據類型
    4.4.4模塊概念
    4.5化 簡
    4.5.1子程序的消除
    4.6正規(guī)數據類型和字典
    4.6.1正規(guī)數據類型的層次化
    4.7程序設計語言的不完備性
    4.7.1理發(fā)師的自相矛盾
    4.7.2無窮二進制小數的不可數性
    4.7.3程序設計語言的不完備性
    4.8習 題
    參考文獻