圖書標籤: 數理邏輯5 數理邏輯
发表于2024-11-23
鬍世華文集 pdf epub mobi txt 電子書 下載 2024
本集內容主要有三個領域:邏輯演算、遞歸函數論、科學哲學,共收入58篇文章。1943年發錶的“論人造的語言”仔細地介紹並解釋瞭一階謂詞演算。《數理邏輯基礎》著重介紹瞭直觀的自然推理的證明格式,這次齣版的是鬍世華1957年講稿的原稿,隻對其中明顯的文字上的不適當之處作瞭修改。文集編進瞭多篇多值邏輯、遞歸函數論的文章,還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關係的文章。有幾篇文章是未曾發錶過的,如《計算機的分“代”和我國的“對策”問題》等。...
評分
評分
評分
評分
鬍世華文集 pdf epub mobi txt 電子書 下載 2024