數學 雙曲函數 1.引言 2.雙曲函數的定義 3.雙曲函數與指數函數 有限傳輸設備系統的Feinstein引理 1.引言 2.Shannon引理 3.有限傳輸設備系統的Feinstein引理的證明 4.專線組的大小 關于擬因子法 1.用線性模型的一般理論處理擬因子設計 2.部分均衡搭配 3.列對比的應用 4.跋 分布式計算與異步疊代法 計算機科學 樹計算機與樹程序 1.基本概念 2.樹程序的運行映象 3.樹程序的描述公式 4.討論 附錄定理3.1 的證明 語義學中的關系方法 1.一個簡單的例子 2.形式化 3.驗證 4.函數和調用 5.一個遞歸程序 6.數據結構 7.結束語 什么是理論計算機科學 1.元計算機科學 2.人工智能 3.數據結構 4.程序理論 5.程序語言 6.計算機系統 程序設計學 引言 **章 一個簡單的例子 第二章 簡單程序 第三章 簡單程序的設計 第四章 類型 第五章 陣列 第六章 文件 第七章 子程序 第八章 記錄 第九章 指針 附錄PASCAL語法圖 理論計算機科學引論 1.抽象計算機 2.S表達式 3.遞歸函數 4.順序計算 5.可舉集合 6.邏輯計算 什么是可計算性 《usP語言》緒言 人工智能 機器證明及其應用 1.機器證明 2.程序驗證 3.程序的設計 有關“知道”的邏輯問題的形式化 1.引言 2.“知道”的模態邏輯 3.可能界的謂詞演算 4.可能組合算法 W—JS有關“知道”的模態邏輯 1.引言 2.形式系統W 3.語義解釋JS 4.“s先生和P先生”謎題在w—Js下的形式化 《計算機不能做什么》校者的話——代中譯本序 人工智能中的邏輯問題 1.限制邏輯 2.主觀模態邏輯 3.行動邏輯 4.內涵邏輯 5.人工智能與邏輯 計算機與思維科學 自然語言理解 計算機與思維 附計算機與社會 《哥德爾、艾舍爾、巴赫——集異璧之大成》譯校者的話 語言學 關于動詞“了”的弱化形式／·lou 計算機與漢字改革 跟副詞“再”有關的幾個句式 通字——文字改革的一種途徑 語文工作與科學技術 1.科技工作對語文工作有什么要求 2.科技工作怎樣為語文工作做出貢獻 3.語文工作本身的科學化 北京方言里的“著 與動結式動詞有關的某些句式 1.引言 2.“N1V1V2了”是“N1V2了”的擴展 3.“N1V1V2了”的一種擴展：“N1N2V1V2了 4.用“把”來擴充“N1V1V2了 5.領屬性的主語 6.擴展引起的置換 7.用“讓”來擴展“N1V1V2了 8.與“數·量·名”結構有關的句式 9.小結 從計算機漢字系統看《漢語拼音方案》 語言文字資料的計算機處理 以計算語言學為背景看語法問題 比較方言學中的計量方法 1.弗洛茨瓦夫分類法 2.因子分析法 3.相關系數的計算 4.統計方法的適用條件 《語言學知識的計算機輔助發現》序 附錄 良師益友 馬希文 馬希文教授生平簡歷 編后記