发表于2024-11-22
数理逻辑基础 2024 pdf epub mobi 电子书
图书标签: 数理逻辑 希尔伯特 逻辑学 数学 形式逻辑 哲学宗教 哲学
本書是數理邏輯的有名經典著作之一,內容包括四章:
第一章爲命題演算,介紹基本邏輯聯結詞及其各種性質,並就命題演算而給出一個公理體系,證明其不矛盾性,完備性及互相獨立性.
第二章爲類演算,兼討論如何從類演算而推出亞里士多德邏輯.
第三章爲狹義謂詞演算,對該演算作出公理體系,同樣討論其不矛盾性、完備性及獨立性,對判定問題作簡單而詳盡的介紹.
第四章爲廣義謂詞演算,詳細介紹邏輯悖論產生的狀況,因而須用類型論加以解決,最後並舉例詳細釋明類型(層次)演算在數學方面的應用.
学计算机的,读过后感觉一切都在里面了
评分学计算机的,读过后感觉一切都在里面了
评分学计算机的,读过后感觉一切都在里面了
评分经典的书籍,这样的书籍真的是必须要读完;这本书的阅读和泛函分析里面的基本思路是一致的,知道这个方法,但是却一直没有利用,真的是罪过啊!其实这个不学习,根本没有办法理解什么是泛函的思想源头,国内的书是从来不讲关联和历史的!
评分学计算机的,读过后感觉一切都在里面了
数理逻辑基础 2024 pdf epub mobi 电子书