數理邏輯教程 pdf epub mobi txt 電子書下載2025

☆☆☆☆☆

陳慕澤：中國人民大學哲學係、宗教學係教授，博士生導師，邏輯教研室主任。教育部邏輯學基地、中山大學邏輯與認知研究所兼職研究員，中國邏輯學會常務理事。主要講授《邏輯學》、《數理邏輯》、《數理邏輯史》、《模態邏輯》、《專業外語》等本科和研究生課程。主要著作有《數理邏輯教程》、《現代邏輯方法論》、《邏輯學》等。

出版者:上海人民齣版社

作者:陳慕澤

出品人:

頁數:337

译者:

出版時間:2002-03

價格:19.00

裝幀:平裝

isbn號碼:9787208037489

叢書系列:

圖書標籤:

邏輯學
邏輯
數理邏輯
學術
邏輯-哲學
哲學
人大教材
邏輯與語言

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

數理邏輯是思維科學的一個分支，也是數學的一個分支。本書包括：命題邏輯、謂詞邏輯、命題演算、謂詞演算四章內容。

具體描述

讀後感

評分☆☆☆☆☆

用戶評價

评分☆☆☆☆☆

宏觀上比徐明的清晰，細節上不太好，另外證明中的自然語言太多瞭，反而不直觀。

评分☆☆☆☆☆

宏觀上比徐明的清晰，細節上不太好，另外證明中的自然語言太多瞭，反而不直觀。

评分☆☆☆☆☆

宏觀上比徐明的清晰，細節上不太好，另外證明中的自然語言太多瞭，反而不直觀。

评分☆☆☆☆☆

【已存櫃】 p84最後一個“J”或應改為“N” p138最後一個“z”或應改為“y” p176“(3) ├¬A→(A→B”或應添上“)” p237“所以由推論題34.2”或應刪去“題” p242“Q8”或應改為“Q9” p290“假設A是L₂的任意一個普遍有效的公式（開公式或閉公式），則由定理40.8，A的任意一個封閉Aᒼ是普遍有效的”或應刪去“由定理40.8，”，因為沒有一個“定理40.8” p321所有的“∀x∀x∀x∀w”或都應改為“∀x∀y∀z∀w” p323“由公理4”或應改為“由公理14” p324“m+nn（上有橫杆——引用者注）”或應改為“m+1n（同上）” p331的兩個“可滿足性”或都應改為“可定義性” p332和p333所有的“∀x”或都應改為“∀z”

评分☆☆☆☆☆

和AG漢密爾頓的數理邏輯基本相似