本集內容主要有三個領域：邏輯演算、遞歸函數論、科學哲學，共收入58篇文章。1943年發錶的“論人造的語言”仔細地介紹並解釋瞭一階謂詞演算。《數理邏輯基礎》著重介紹瞭直觀的自然推理的證明格式，這次齣版的是鬍世華1957年講稿的原稿，隻對其中明顯的文字上的不適當之處作瞭修改。文集編進瞭多篇多值邏輯、遞歸函數論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關係的文章。有幾篇文章是未曾發錶過的，如《計算機的分“代”和我國的“對策”問題》等。...
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有