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