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