相關商品
商品簡介
名人/編輯推薦
目次
商品簡介
邏輯聯結詞是邏輯的核心概念之一，劉新文編著的《謝弗函數研究》是中國博士後基金項目“Sheffer豎研究”的研究成果，主要從邏輯史、邏輯演算、證明復雜性理論、證明論以及哲學方面對邏輯聯結詞謝弗函數進行了深入研究。 《謝弗函數研究》可作為邏輯學、哲學和數學工作者理論學習和科學研究的參考書。
名人/編輯推薦
邏輯聯結詞是邏輯的核心概念之一，劉新文編著的《謝弗函數研究》是關于邏輯聯結詞謝弗函數的研究。自1913年謝弗提出這一功能完備的布爾聯結詞以來，關于它的研究已經形成一個傳統。20世紀50年代模型論出現之前，邏輯初始概念和運算的歸約在邏輯研究中占據重要地位。羅素、尼科、肖菲克爾、盧卡西維茨和奎因等著名邏輯學家都關注過這一方面的工作，肖菲克爾的論文甚至還被編入了數理邏輯主流文獻選集《從弗雷格到哥德爾：1879—1931》。這一傳統由萊蒙、馬里帝茲、普萊爾等人繼承到20世紀下半葉，并由沃斯等人于21世紀在布爾代數、自動推理等領域作了進一步發揮。我的導師張清宇研究員自20世紀90年代以來在這一方面做過獨到的系列工作，本書的研究工作就是在他的這些工作基礎上開始的，從這種意義上來說，本書內容也可以看成是對他的工作進行詳細闡釋和進一步發展。
目次
前言 ／1第1章 謝弗函數的概念 ／1 1 謝弗函數的定義／2 1.1 定義 ／3 1.2 波斯特定理／7 1.3 句法概念 ／9 1.4 多級聯結詞 ／12 2 邏輯演算 ／15 3 希爾伯特新問題 ／21第2章 命題邏輯 ／28 1 強完全性定理 ／28 1.1 句法 ／28 1.2 語義 ／35 1.3 完全性定理／39 2 系統Z ／40 2.1 句法 ／40 2.2 語義 ／45 2.3 完全性定理／48 2.4 歷史注記 ／50 3 重言式的遞歸枚舉 ／50 3.1 系統z以及Z# ／51 3.2 命題邏輯的遞歸枚舉 ／53第3章 證明復雜性 ／62 1 基本概念 ／62 2 多項式模擬 ／64 2.1 系統Z的規則 ／64 2.2 弗雷格系統／65 2.3 遺傳有窮集／69 2.4 “擴張的”弗雷格系統／72 2.5 多項式模擬 ／75第4章 證明論與哲學 ／78 1 基本概念和思想 ／79 2 謝弗豎的證明論 ／81 3 謝弗豎的經典理論 ／89 4 證明論解釋 ／98 5 正規化定理 ／106第5章 量化理論 ／117 1 謝弗豎和存在量詞 ／118 1.1 句法 ／118 1.2 基本語義 ／120 1.3 代入 ／127 1.4 欣迪卡集 ／140 1.5 公理系統QZh ／147 1.6 公理系統QIZh ／152 2 系統Z的量化理論 ／160 2.1 語法 ／161 2.2 語義 ／162 2.3 公理系統Z’ ／164參考文獻 ／169後記 ／187
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。