一階邏輯和一階理論 pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:中國社會科學齣版社

作者:葉峰編著

出品人:

頁數:223页

译者:

出版時間:1994.1

價格:0

裝幀:平裝

isbn號碼:9787500413073

叢書系列:現代邏輯叢書

圖書標籤:

邏輯
數理邏輯
一階理論
邏輯學
哲學
葉峰
邏輯人
邏輯-哲學

下載連結在頁面底部

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

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

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

讀後感

評分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

評分☆☆☆☆☆

用戶評價

评分☆☆☆☆☆

錯誤不多，說的不清楚的地方不少。看這本不如直接去看艾賓浩斯的數理邏輯。

评分☆☆☆☆☆

看完這個再來談邏輯

评分☆☆☆☆☆

天書般的…… 有些地方寫得不是很好，比如對於自由齣現和代入自由的定義就很有問題。歸納法總是沒有歸納起點，需要你自己證一遍歸納起點。另外習題也沒有答案。不過大體上還是比較好的一本書。最後一章證明真是越來越簡略瞭，很多定理乾脆不證讓你證當做習題。有些證明的敘述因為前麵章節用過類似的方法也比較簡略，你要前麵不認真看的話說不定就看不懂瞭。被虐瞭近兩個月終於看完瞭，一開始感覺極其抽象，語法歧義性那章看瞭一個下午纔看懂（雖然還因為彆的原因）。看著看著倒也習慣這種難度瞭，完備性定理看懂瞭之後感覺思路還是很清晰的，要我復述一遍證明也問題不大。總的來說收獲很大。

评分☆☆☆☆☆

錯誤不多，說的不清楚的地方不少。看這本不如直接去看艾賓浩斯的數理邏輯。

评分☆☆☆☆☆

看完這個再來談邏輯