數理邏輯基礎 在線電子書 圖書標籤: 邏輯 邏輯學 數理邏輯 哲學 教材 一階邏輯 Philosophy Science
發表於2024-11-22
數理邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
一階理論那部分沒看,不過除瞭一些惱人的小錯誤以外,這本書總的來看不錯
評分最後還是看不進去
評分教材
評分已有。劉曉力的課上用過,有個彆錯誤
評分前兩章和語義部分還是挺清晰易懂的,可惜語法部分寫得不好。要是有習題答案就好瞭!第五章還是讀不下去,太尷尬!
本書介紹數理邏輯的基礎部分。緒論除介紹邏輯初步概念外還講述瞭有關集閤論和遞歸論的初步知識。正文前四章的內容屬一階邏輯,其中前兩章是以非形式化的方式介紹命題邏輯和謂詞邏輯,後兩章分彆給齣瞭一個經典命題邏輯演算係統P和一個經典謂詞邏輯演算係統Q,討論瞭它們的元性質,最後還給齣瞭一個與Q等價的形式係統QS。最後一章介紹瞭有關一階理論的知識,主要是模型論的基礎內容及不可判定問題。各章節後一般都附有適量的習題。本書適閤作為高等院校文科、理工科所開設的與現代邏輯相關課程的教材或參考書。
評分
評分
評分
評分
數理邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024