前 言
第一章 基本數學概念
1.1符號錶示法
1.2半群和獨異點
1.3子半群、子獨異點、同態及生成元係統
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模擬示例及模擬概念的進一步發展
2.2.4部分模擬和關係模擬
2.2.5特殊模擬和封閉性
2.2.6程序存儲器中程序的可轉移性
2.3子程序技術
2.3.1子程序技術的要求
2.3.2機器狀態的擴充
2.3.3狄剋語言和括號錶達式
2.3.4棧自動機或下推自動機
2.3.5句法正確的程序
2.3.6機器的結構
2.3.7運算存儲器的頁麵式管理
2.3.8一個例子
2.3.9運算存儲器的動態管理
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觸發器
3.3.2R－S觸發器
3.3.3R－S觸發器的函數性質的利用
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正規數據類型和字典
4.6.1正規數據類型的層次化
4.7程序設計語言的不完備性
4.7.1理發師的自相矛盾
4.7.2無窮二進製小數的不可數性
4.7.3程序設計語言的不完備性
4.8習 題
參考文獻
· · · · · · (收起)