中圖網小程序
一鍵登錄
更方便
¥36.8(2.9折)?
預估到手價是按參與促銷活動、以最優惠的購買方案計算出的價格（不含優惠券部分），僅供參考，未必等同于實際到手價。
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
中華當代學術著作輯要邏輯.語言.計算:馬希文文選 版權信息
- ISBN：9787100174138
- 條形碼：9787100174138 ; 978-7-100-17413-8
- 裝幀：70g純質紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
中華當代學術著作輯要邏輯.語言.計算:馬希文文選 本書特色
本書收集了馬希文20世紀70年代以來在數學、計算機科學、人工智能、語言學方面的重要論文二十余篇以及一部專著，反映了他在多個領域所做的開創性、先驅性及前瞻性的貢獻，蘊含著深邃獨到、極富創新的學術思想，對當今信息技術的發展及多學科的交叉融合有重要啟發，具有積極的指導意義。
中華當代學術著作輯要邏輯.語言.計算:馬希文文選 內容簡介
本書收集了馬希文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.統計方法的適用條件
《語言學知識的計算機輔助發現》序
附錄
良師益友
馬希文
馬希文教授生平簡歷
編后記
展開全部
中華當代學術著作輯要邏輯.語言.計算:馬希文文選 作者簡介
馬希文(1939 -2000)，我國著名數學家、計算機科學家、語言學家和教育家，我國人工智能和計算語言學學科的奠基人之一，也是杰出的科學普及工作者。與朱德熙先生共同組建北大計算語言學研究所。
書友推薦
- >
有舍有得是人生
- >
名家帶你讀魯迅:故事新編
- >
小考拉的故事-套裝共3冊
- >
伊索寓言-世界文學名著典藏-全譯本
- >
龍榆生：詞曲概論/大家小書
- >
自卑與超越
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
月亮與六便士
