計算機科學導論

內(nèi)容概要

本書作者把計算機的理論以數(shù)學為基礎作為出發(fā)點，從簡單的程序編制入手，逐步引導出計算機的結(jié)構(gòu)。
全書共分四章。第一章介紹了基本數(shù)學概念。第二章介紹建立計算機模型，引進了模擬的概念作為理解算法正確性的一種方法。第三章引導讀者了解計算機原理，介紹了組合電路、雙穩(wěn)態(tài)開關電路和觸發(fā)器，概述了用
開關電路來實現(xiàn)微程序。第四章介紹了高級程序設計語言的理論，對各種數(shù)據(jù)類型及其上的運算作了詳細描述。
該書可供大專院校計算機專業(yè)的師生作為教科書，教學參考書以及作為從事計算機研究人員的參考書。

書籍目錄

前 言
第一章 基本數(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部分模擬和關系模擬
2.2.5特殊模擬和封閉性
2.2.6程序存儲器中程序的可轉(zhuǎn)移性
2.3子程序技術
2.3.1子程序技術的要求
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開關函數(shù)的布爾代數(shù)
3.2.1開關函數(shù)的定義及例子
3.2.2開關函數(shù)的布爾代數(shù)
3.2.3布爾表達式和組合電路
3.2.4電路計算和運行時間
3.2.5最小多項式
3.2.6開關函數(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一個關于乘法的微程序
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習 題
參考文獻

圖書封面

評論、評分、閱讀與下載

---

    計算機科學導論 PDF格式下載

---