數理邏輯初步

數理邏輯初步 pdf epub mobi txt 電子書 下載2025

出版者:上海人民齣版社
作者:莫紹揆
出品人:
頁數:176
译者:
出版時間:1980-08
價格:0.45
裝幀:平裝
isbn號碼:
叢書系列:
圖書標籤:
  • 數理邏輯
  • 數學
  • 莫紹揆
  • 邏輯
  • 邏輯學
  • 莫紹揆
  • 邏輯學
  • 科學哲學與科學史
  • 數理邏輯
  • 邏輯學
  • 數學基礎
  • 形式係統
  • 命題邏輯
  • 謂詞邏輯
  • 邏輯推理
  • 數學思維
  • 公理體係
  • 形式化
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

著者簡介

圖書目錄

第一章 數理邏輯的由來
§1 傳統邏輯的不足
§2 數理邏輯的興起
§3 非歐幾何帶來的問題
§4 微積分基礎的爭論
§5 集閤論悖論
第二章 數理邏輯的主要內容
§1 公理集閤論與證明論
§2 能行性理論與模型論
§3 命題演算
§4 謂詞演算
§5 有關傳統邏輯與模態邏輯
§6 蘊含詞及其怪論
第三章 關於數理邏輯的三大派
§1 邏輯主義派
§2 直覺主義派
§3 形式主義派
第四章 數理邏輯中的一些基本概念
§1 記號與符號
§2 變元
§3 函數與約束詞
第五章 數理邏輯的應用
§1 數理邏輯在電子數字計算機方麵的應用
§2 亞裏士多德邏輯與傳統邏輯
§3 《小取篇》邏輯的體係
附錄 常用數理邏輯符號錶
· · · · · · (收起)

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

可讀性不強,讀不下去。

评分

【已存櫃】

评分

可讀性不強,讀不下去。

评分

讀瞭再讀的書,寫的簡潔,道理確講的非常明白。

评分

高級科普,道理講的挺清楚,但太淺,隻夠當談資。。。對維特根斯坦的理解有誤。最後一章解《小取》是一亮點,頗有啓發。

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有