数理逻辑基础 2024 pdf epub mobi 电子书


数理逻辑基础

简体网页||繁体网页

数理逻辑基础 2024 pdf epub mobi 电子书 著者简介


数理逻辑基础 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-08

数理逻辑基础 2024 pdf epub mobi 电子书

数理逻辑基础 2024 pdf epub mobi 电子书

数理逻辑基础 2024 pdf epub mobi 电子书



喜欢 数理逻辑基础 电子书 的读者还喜欢


数理逻辑基础 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:科學出版社
作者:希尔柏脱
出品人:
页数:216
译者:莫紹揆
出版时间:1958-7
价格:1.10元
装帧:平装
isbn号码:
丛书系列:

图书标签: 数理逻辑  希尔伯特  逻辑学  数学  形式逻辑  哲学宗教  哲学   


数理逻辑基础 2024 pdf epub mobi 电子书 图书描述

本書是數理邏輯的有名經典著作之一,內容包括四章:

第一章爲命題演算,介紹基本邏輯聯結詞及其各種性質,並就命題演算而給出一個公理體系,證明其不矛盾性,完備性及互相獨立性.

第二章爲類演算,兼討論如何從類演算而推出亞里士多德邏輯.

第三章爲狹義謂詞演算,對該演算作出公理體系,同樣討論其不矛盾性、完備性及獨立性,對判定問題作簡單而詳盡的介紹.

第四章爲廣義謂詞演算,詳細介紹邏輯悖論產生的狀況,因而須用類型論加以解決,最後並舉例詳細釋明類型(層次)演算在數學方面的應用.

数理逻辑基础 2024 pdf epub mobi 电子书

数理逻辑基础 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

数理逻辑基础 2024 pdf epub mobi 用户评价

评分

经典的书籍,这样的书籍真的是必须要读完;这本书的阅读和泛函分析里面的基本思路是一致的,知道这个方法,但是却一直没有利用,真的是罪过啊!其实这个不学习,根本没有办法理解什么是泛函的思想源头,国内的书是从来不讲关联和历史的!

评分

学计算机的,读过后感觉一切都在里面了

评分

经典的书籍,这样的书籍真的是必须要读完;这本书的阅读和泛函分析里面的基本思路是一致的,知道这个方法,但是却一直没有利用,真的是罪过啊!其实这个不学习,根本没有办法理解什么是泛函的思想源头,国内的书是从来不讲关联和历史的!

评分

学计算机的,读过后感觉一切都在里面了

评分

学计算机的,读过后感觉一切都在里面了

数理逻辑基础 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有