查看同類圖書：科學技術»計算機/網絡»計算機科學理論與基礎知識»胡世華文集

胡世華文集

【作　者】：胡世華等著

【叢編項】：無

【裝幀項】：平裝 16開 / 775

【出版項】：科學出版社 / 2008-5-1

【ISBN號】：9787030213914 / 7030213912

【原書定價】：￥150.00　有2家書店打折銷售　

【主題詞】：計算機/網絡－計算機理論

書籍介紹

購買本書

【圖書簡介】
　　本集內容主要有三個領域：邏輯演算、遞歸函數論、科學哲學，共收入58篇文章，1943年發表的“論人造的語言”仔細地介紹并解釋了一階謂詞演算。《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當之處作了修改，文集編進了多篇多值邏輯、遞歸函數論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關系的文章，有幾篇文章是未曾發表過的，如《計算機的分“代”和我國的“對策”問題》等。

【本書目錄】
序
懷念胡世華先生
紀念胡世華先生
我所知的胡世華先生
紀念胡世華先生
紀念胡世華老師
半世紀前的往事
1論人造的語言
2命題演算之所指
3再現算術新系統及其邏輯常詞—再現算術RA系統的構造
4理論對象
5
6一個值命題演算的構造
7四值

【購買本書】

購書指南»

商城名稱	價格	配送信息	優惠活動	去看看	購買
卓越網	￥111.10	送貨上門：國內308個城市郵寄：全球特快專遞：全球海外航空快遞	七周年店慶，全場免費配送	去看看	訂購
當當網	￥112.20	當天加急送：北京五環以內送貨上門：國內178個城市郵寄：全球特快專遞：全球	特惠商品68折封頂	去看看	訂購