胡世華文集

內(nèi)容概要

本集內(nèi)容主要有三個領(lǐng)域：邏輯演算、遞歸函數(shù)論、科學(xué)哲學(xué)，共收入58篇文章。1943年發(fā)表的“論人造的語言”仔細(xì)地介紹并解釋了一階謂詞演算?！稊?shù)理邏輯基礎(chǔ)》著重介紹了直觀的自然推理的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當(dāng)之處作了修改。文集編進(jìn)了多篇多值邏輯、遞歸函數(shù)論的文章，還有論述數(shù)理邏輯對計算機(jī)發(fā)展的重要作用以及這兩學(xué)科間的關(guān)系的文章。有幾篇文章是未曾發(fā)表過的，如《計算機(jī)的分“代”和我國的“對策”問題》等。...

圖書封面

評論、評分、閱讀與下載

---

    胡世華文集 PDF格式下載

---