《邏輯·語言·計算》是2019年商務印書館出版的圖書，作者是馬希文 。
基本介紹
- 書名：邏輯·語言·計算
- 作者：馬希文
- 出版社：商務印書館
- ISBN：9787100174138
內容簡介,圖書目錄,
內容簡介
本書收集了馬希文20世紀70年代以來在數學、計算機科學、人工智慧、語言學方面的重要論文二十餘篇以及一部專著，反映了他在多個領域所做的開創性、先驅性及前瞻性的貢獻，蘊含著深邃獨到、極富創新的學術思想，對當今信息技術的發展及多學科的交叉融合有重要啟發，具有積極的指導意義。
圖書目錄
數學
雙曲函式
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.統計方法的適用條件
《語言學知識的計算機輔助發現》序
附錄
良師益友
馬希文
馬希文教授生平簡歷
編後記
